Product category:
Intellectual Property Cores
News Release from: ARM | Subject: Amba 3 AXI assertions
Edited by the Electronicstalk Editorial
Team on 07 March 2006
Assertions speed adoption of Amba3 AXI
Amba 3 AXI assertions enable accelerated design and verification of Amba 3 AXI fabric-based SoCs.
ARM has announced the production release of Amba 3 AXI assertions to enable accelerated design and verification of Amba 3 AXI fabric-based SoCs Any company can obtain the assertions from ARM in source format, without paying royalties or licence fees
This article was originally published on Electronicstalk on 8 Nov 2004 at 8.00am (UK)
Related stories
Development of Java card uses secure technology
Embedded with a multi-tasking kernel, DNP's Java Card OS can run real-time multiple applications, on a priority basis, with maximum security.
Developer kit accelerates 32bit designs
The ARM RealView developer kit for STMicroelectronics is a complete, cost-effective development and debug product for design engineers using STMicroelectronics' general-purpose 32bit MCU products.
The assertions provide a definitive description of the Amba 3 AXI protocol thus accelerating AXI adoption and expediting the validation of AXI fabric IP-based designs.
By helping ensure protocol compliance they increase confidence in plug-and-play integration of Amba 3 AXI IP.
They also help to build a strong ecosystem of both third-party and internal Amba 3 AXI verification solutions.
Further reading
USB On-The-Go comes to ARM SoCs
TransDimension has achieved the Amba Compliance Testbench (ACT) certification for its full-speed USB On-The-Go (OTG) intellectual property (IP) core.
New SystemC standard models Amba AHB systems
The Amba AHB cycle-level modelling specification will enable designers of complex systems to use IP built according to the interface specification for the exploration of Amba-based SoC architectures.
Chinese foundry takes on ARM cores
China's most advanced pure-play semiconductor foundry has joined the ARM Foundry Programme and has licensed the ARM7TDMI microprocessor core.
Both SystemVerilog assertions (SVA) and Open Verification Library (OVL) versions are now available.
"After discussion and feedback from key Partners, ARM decided the best way to aid companies developing/transitioning to Amba 3 AXI from previous-generation, on-chip bus (OCB)/on-chip network (OCN) protocols would be to provide a nonproprietary, formal definition of the protocol using accepted industry standards", said Ben Cade, Fabric IP Marketing Manager, ARM.
"These new assertions offer the benefit of reducing misinterpretation risks from both a design implementation and verification perspective".
"We have had many successful years designing SoC solutions relying on Amba, the industry's de-facto standard for on-chip communication", said Masakazu Yamashina, General Manager of the Mobile Systems Division at NEC Electronics.
"Amba continues to evolve to meet the needs of the most demanding SoCs, and releasing the assertions is a great way to ensure consistency and correct interpretation of the Amba specifications".
The industry-leading position of the Amba protocols ensures that Amba technology adopters benefit from a powerful ecosystem of tool and IP support.
The adoption of the specification has been driven by a clear dissociation from reliance on proprietary solutions for implementation and by an open partnership model for creating the technical specifications.
The supply of assertion support for Amba 3 AXI technology will further improve ease-of-use for adopters of the specification.
"Our mutual customers are increasingly adopting assertion-based technology to increase verification effectiveness and productivity, and we believe they will benefit from free access to the assertions which define the Amba 3 AXI protocol", said Steve Smith, Senior Director of Marketing in the Verification Group at Synopsys.
"ARM and Synopsys have built on more than 10 years of collaboration to validate and optimise the Amba 3 AXI assertions".
"The assertions combined with the Synopsys DesignWare Verification IP for Amba 3 AXI provide complete protocol verification".
"In addition, they support Synopsys' VCS verification solution, Pioneer-NTB SystemVerilog testbench and Magellan hybrid formal analysis tools, and the Verification Methodology Manual for SystemVerilog".
"With Amba 3 AXI technology taking over from Amba 2 AHB as a leading on-chip communication fabric, ARM's move to make the AXI assertions publicly available is very welcome", said Dave Tokic, Director of Marketing for the Verification Division at Cadence Design Systems.
"AXI assertions together with our mixed language Plan-to-Closure Methodology will reduce the verification risk for mutual customers and further accelerate AXI technology adoption".
"Cadence has a long history of collaboration with ARM on both fabric IP and verification which is further strengthened by this announcement".
"We support ARM's release of the Amba 3 AXI protocol rules as publicly available OVL and SVA assertions", added Ramin Hojati, president of Averant, ARM's development Partner for the AXI assertion specification and capture process.
"We have worked with ARM to ensure the Amba 3 AXI protocol is well suited to formal methods of verification and as a result our SolidPC for Amba 3 AXI tool provides a push button, exhaustive environment for proving designs comply with the Amba 3 AXI protocol rules".
The Amba 3 AXI assertions can be downloaded from the ARM website.
• ARM: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page
Search the Pro-Talk network of sites
