SPIRIT IP-XACT Extensions and Exploitation for Verification Software Methodology
نویسندگان
چکیده
NXP and Magillem Design Services have collaborated in the frame of a European project called SPRINT. One of the objective of this work was to study the possibility to exploit in the IP integration verification area the new standard IP-XACT issued by the SPIRIT consortium for packaging and managing metadata for hardware platform. This paper presents the overall capabilities of IP-XACT for the management and automation of ESL methodologies and it presents the methodology, based on software, used by NXP for IP integration verification; extensions in the standard for supporting the automation are listed. Then after explaining how the existing tool flow could be enhanced, the paper details the specification of new generators for an automated verification flow and their application on a real platform by NXP.
منابع مشابه
SPIRIT IP-XACT controlled design flow applied on a high level communication synthesis. Scientific collaboration between OFFIS & MAGILLEM Design Services in the frame of ICODES
OFFIS and Magillem Design Services have collaborated in the frame of a research project called ICODES. The overall goal of ICODES was to develop a new modeling and synthesis technology for embedded hardware/software systems, especially regarding communication aspects. The research topics consider modeling, evaluation and high-level communication synthesis of systems written in a language based ...
متن کاملGeneration of UVM compliant Test Benches for Automotive Systems using IP-XACT with UVM-SystemC and SystemC AMS*
This paper will present a methodology and flow to automate the test bench creation for automotive heterogeneous HW/SW systems, using SystemC, SystemC-AMS and IP-XACT. The UVM foundation elements such as test, environment, UVC (Universal Verification Component), transactions and associated configuration objects are introduced, which are packaged by means of IP-XACT vendor extensions. The benefit...
متن کاملGeneric System Verilog Universal Verification Methodology based Reusable Verification Environment for Efficient Verification of Image Signal Processing IPs/SoCs
In this paper, we present Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for efficient verification of Image Signal Processing IP’s/SoC’s. With the tight schedules on all projects it is important to have a strong verification methodology which contributes to First Silicon Success. Deploy methodologies which enforce full functional coverage and ...
متن کاملKactus2: A graphical EDA tool built on the IP-XACT standard
Kactus2 is based on IEEE 1685-2014 “IP-XACT” standard (“IEEE Standard for Ip-Xact, Standard Structure for Packaging, Integrating, and Reusing Ip Within Tool Flows” 2014), which defines an XML format for documents describing the components, designs and configurations. Ideally, this enables vendor independent integration between standard compatible tools. The IP-XACT standard is complex and versa...
متن کاملMarte Timing Requirement and Spirit IP-XACT
Large System-on-Chips are built by assembly of existing components modeled at di erent representation levels (tlm, rtl). The ip-xact standard was developed to ease interoperability of IPs from di erent vendors. Currently, it focuses on structural, typing and memory-related information and does not fully face behavioral and timing representation issues. uml marte pro le explicitly focuses on the...
متن کامل