Verisity, ARM employ Amba bus to tackle SoC verification
![]() |
Verisity, ARM employ Amba bus to tackle SoC verification
By Richard Goering, EE Times
September 25, 2000 (11:01 a.m. EST)
URL: http://www.eetimes.com/story/OEG20000925S0032
MOUNTAIN VIEW, Calif. Verisity Ltd. and ARM Ltd. this week will announce a comprehensive verification solution for systems-on-chip that use the Amba bus architecture of ARM Ltd. The solution has two parts: an Amba Compliance Testbench (ACT) supplied by ARM, and an Amba eVerification Component (eVC) sold by Verisity. The ACT provides compliance tests for Amba bus protocols. Although it is written in Verisity's "e" language, it does not require Verisity's Specman testbench generation environment. The Amba eVC promises a complete verification environment, and it does require the use of Specman.

Verisity started developing application-specific eVCs earlier this year and is presently shipping such tools for PCI and Ethernet systems. A universal serial bus eVC is currently in beta testing. Dave Tokic, director of str ategic marketing at Verisity, said the company decided to add an Amba eVC based on customer demand.
ARM, meanwhile, wants to encourage broader use of its Amba bus. "We're really trying to get it firmly established as the global standard for on-chip buses," said Jonathan Morris, Amba product manager at ARM. He said ARM decided to work with Verisity because its e language represents a powerful way to build test benches.
Morris said that the ACT can be used for either module-level compliance tests or system-level tests. It ensures that all necessary transactions are carried out to use the Amba bus. While it makes use of Verisity's "Invisible Specman" tool kit, it can be used in any verification environment and does not require the Amba eVC.
"What Amba eVC brings to the table is an ability to create an entire verification environment around Amba," said Tokic. Specifically, the Amba eVC has three components: a stimulus generator fo r producing bus traffic; monitors and checkers for viewing outputs and checking protocol rules; and coverage reports.
While the core of the Amba eVC is encrypted, the topmost layer can be modified or extended. Users can turn checks on or off and can modify the stimulus generator. The Amba eVC doesn't require the use of the ACT.
ARM will provide the ACT in the fourth quarter of 2000. Part of the overall ARM solution, it does not carry its own price. Verisity will sell Amba eVC in the fourth quarter starting at $10,000 for a one-year floating license. Further
Related News
- Intel Tackles SoC With Quark
- TEMENTO SYSTEMS announces the introduction of a Bus Trace Analyzer for On-Chip AMBA and ARM processor-based Verification
- SmartDV Broadens Support for Arm AMBA Protocol with Verification IP Solutions for AMBA CHI, CXS, LPI
- Synopsys Announces Verification IP and Test Suite for Arm AMBA ACE5 and AXI5
- Cadence and Arm Deliver First SoC Verification Solution for Low-Power, High-Performance Arm-Based Servers
Breaking News
- Arteris Joins Intel Foundry Accelerator Ecosystem Alliance Program to Support Advanced Semiconductor Designs
- SkyeChip Joins Intel Foundry Accelerator IP Alliance
- Siemens and Intel Foundry advance their collaboration to enable cutting-edge integrated circuits and advanced packaging solutions for 2D and 3D IC
- Cadence Expands Design IP Portfolio Optimized for Intel 18A and Intel 18A-P Technologies, Advancing AI, HPC and Mobility Applications
- Synopsys and Intel Foundry Propel Angstrom-Scale Chip Designs on Intel 18A and Intel 18A-P Technologies
Most Popular
- QuickLogic Delivers eFPGA Hard IP for Intel 18A Based Test Chip
- Siemens collaborates with TSMC to drive further innovation in semiconductor design and integration
- Aion Silicon Joins Intel Foundry Accelerator Design Services Alliance to Deliver Next-Generation Custom SoCs at Scale
- TSMC Unveils Next-Generation A14 Process at North America Technology Symposium
- BOS Semiconductors to Partner with Intel to Accelerate Automotive AI Innovation
![]() |
E-mail This Article | ![]() |
![]() |
Printer-Friendly Page |