Papers
SPIRIT IP-XACT Extensions and Exploitation for Verification Software Methodology
NXP and Magillem Design Services have collaborated in the frame of an 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
ABSTRACT: 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 on SystemC. The aim of this whitepaper is to present the result of the joined work to provide an efficient design flow based on IP-XACT. As an introduction, this paper presents the OSSS library, its associate design methodology and synthesizer, the IP-XACT standard issued by the SPIRIT consortium, the MAGILLEM environment and the ICODES project context. Then the OSSS methodology developed by OFFIS will be described. Especially the refinement of system communications by mapping an application layer model on different virtual target architectures will be presented in detail. The third part explains how components and system description based on OSSS can be packaged in SPIRIT IP-XACT and how this packaging allows a semi-automated mapping of the application to the architectural layer and the integration of the OSSS design flow into the MAGILLEM environment.
SPRINT: Industrial IP Integration Flows based on IP-XACT™ Standards
Effective integration of advanced Systems-on-Chip (SoC) requires extensive reuse of IP modules as well as automation of the IP integration process, including verification. Key enablers for this are standards to describe and package IP modules. We focus on the IP-XACT standards and demonstrate how these standards are deployed in three industrial IP integration flows. Further, we report on two future extensions to IP-XACT that are currently being explored in the SPRINT project, i.e. IPXACT based verification software generation and IP-XACT based configuration of debug environments. We conclude that IP-XACT is enabling powerful IP integration methodologies and that future extensions can further increase the effectiveness of IP-XACT standards.
SPIRIT IP XACT Controlled ESL Design Tool Applied to a Network-on-Chip Platform
Network-on-Chip is a very active field of research of the recent years. Compared to classical bus-based communication schemes, it implies innovative mechanisms as well as new ways of wrapping Intellectual Properties, giving more communication capabilities. To deal with the system design complexity, improved Electronic System Level design environments are needed. The purpose of this paper is to evaluate the benefits of an IP-XACTbased environment applied to Network-on-Chip design. We show the level of automation achieved in the design flow, discuss its efficiency for the design and verification steps, and propose improvements.
Straightforward IP Integration with IP-XACT RTL-TLM Switching
This paper gives the results of experimentations done for the packaging of a USB OTG controller respecting the IP-XACT schema provided by The SPIRIT Consortium. It presents the advantages and the technical facts for an IP provider to deliver standardized files package, bringing great advantages for documentation, integration and verification purposes. In particular it is shown how to handle interfaces, registers and multi abstraction level descriptions of the component. This paper also presents the exploitation of the IP_XACT files for the IP testbench and the simulation. The presented work has been realized in the frame of the SPRINT project, funded by the EC.
Press Articles
ST teams with French EDA start-up for ESL tools
IP-XACT 1.4 Supports IP Transactional Modeling, Features TGI
Spirit spec aids IP reuse at transaction level
IP-XACT 1.4 Specification Webcast
New IP-XACT Specification to Aid Design and Advanced Verification
