2008 Design, Automation and Test in Europe · 2008 · 28 citations · 0 references
EngineeringHardware Verification LanguageIp-xact StandardsIndustrial EngineeringIp InterconnectionComputer ArchitectureSoftware EngineeringIp ModulesSoftware AnalysisFormal VerificationHardware SecurityEffective IntegrationSystems EngineeringTrusted Execution EnvironmentIp Integration ProcessRuntime VerificationComputer EngineeringComputer ScienceSoftware DesignSystem On ChipHardware EmulationInternet ProtocolSoftware TestingNetwork IntegrationIndustrial InformaticsSystem Software
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. IP-XACT 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.