Cambridge, UK, and Alameda, Calif. – Oct. 28, 2003– ARM, [(LSE:ARM); (Nasdaq:ARMHY)], the industry's leading provider of 16/32-bit embedded RISC processor technology, and Averant Inc., a leading provider of advanced design verification technology for RTL designers, today announced the release of the SolidAHB static functional verification tool dedicated to verifying the AMBA™ AHB bus protocol.
ARM is working with Partners across the design chain to ensure that customers designing ARM® core-based embedded systems using AMBA IP can take full advantage of new innovations in design methodologies and tools. The SolidAHB tool from Averant enables customers to verify the ARM AMBA protocol rules using formal methods.
A key verification task for today's system-on-chip designers is to ensure that each component in the system obeys the interconnecting bus protocol. Failure to achieve this can result in poor product quality, ASIC re-spins, and delayed entry into the market with corresponding loss of revenues.
To address the issues of protocol compliance, the two companies have worked together to develop the SolidAHB tool which is dedicated to verifying that candidate designs obey the AMBA bus protocols. The SolidAHB tool, which is based upon Averant's Solidify product, implements a formal, exhaustive, proof of correctness against a pre-defined set of AMBA technology rules. No testbenches or test vectors are required.
Under the agreement, ARM has licensed the ARM AHB and APB protocol rules to Averant who will be responsible for sales and support of the SolidAHB tool worldwide.
"Formal methods offer an innovative new approach for the verification of AMBA bus protocols, as the static nature means that verification is much faster than through simulation, and corner cases are more readily exposed," said Tim Mace, AMBA product manager, ARM. "The definition of correct AMBA technology behavior, through the development of AMBA protocol rule sets, has done much to enhance the value of AMBA technology within the industry. By integrating our AMBA protocol rule sets into the SolidAHB tool, developers will now have a high-performance verification tool that can rigorously check designs against the AMBA protocol rules."
The SolidAHB tool encapsulates the AMBA AHB protocol rules enabling 'push-button' verification of designs against the AHB protocol specification. If all rules pass exhaustively, then the user has formally proven that their design is fully compliant with the AHB protocol.
If a design fails a particular rule, the SolidAHB tool will produce a set of simulation vectors that when applied to the design in a traditional simulation environment will exhibit the failing behavior. The user can then use this information to quickly debug the design.
"We partnered with ARM in the important area of AMBA protocol verification because we believe ARM's creation and endorsement of the property sets, coupled with the ease of use, execution speed and exhaustive nature of the SolidAHB tool will make this a compelling product in the market place," said Ramin Hojati, president, Averant.
For further information and to evaluate the product please go to www.saros.co.uk/solidahb
Averant Inc., founded in 1997, is a privately held EDA company pioneering the new methodology and technologies for static functional verification. Averant provides Solidify™, a design tool that delivers unprecedented performance in block-level verification for RTL designs. It is a high-capacity, static RTL analysis tool that verifies the functional behavior of Verilog or VHDL blocks without using simulators or test vectors. Solidify improves design quality, reduces risk and uncertainty, shortens design cycles, and reduces the need for simulation based verification. Averant's products are easily incorporated into synthesis, IP reuse, and FPGA design flows. Averant is on the web at www.averant.com.
ARM is the industry's leading provider of 16/32-bit embedded RISC microprocessor solutions. The company licenses its high-performance, low-cost, power-efficient RISC processors, peripherals, and system-on-chip designs to leading international electronics companies. ARM also provides comprehensive support required in developing a complete system. ARM's microprocessor cores are rapidly becoming a volume RISC standard in such markets as portable communications, hand-held computing, multimedia digital consumer and embedded solutions. More information on ARM is available at http://www.arm.com/.
ARM is a registered trademark of ARM Limited. AMBA is a trademark of ARM Limited. "ARM" is used to represent ARM Holdings plc (LSE: ARM and Nasdaq: ARMHY); its operating company ARM Limited; and the regional subsidiaries ARM INC; ARM KK; ARM Korea Ltd; ARM Taiwan; ARM France SAS; ARM Consulting (Shanghai) Co.Ltd.; and ARM Belgium N.V.