Averant and ARM announce SolidAHB AMBA protocol checker
2003年10月28日 - 8:11PM
PRニュース・ワイアー (英語)
Averant and ARM announce SolidAHB AMBA protocol checker Cambridge,
UK, and Alameda, California, October 28 /PRNewswire/ -- ARM, ; ,
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(tm) AHB bus
protocol. ARM is working with Partners across the design chain to
ensure that customers designing ARM(r) 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 test benches 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 behaviour, 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 behaviour. 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 contact: , http://www.saros.co.uk/solidahb - About
Averant Averant Inc., founded in 1997, is a privately held EDA
company pioneering the new methodology and technologies for static
functional verification. Averant provides Solidify(tm), 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 behaviour 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 http://www.averant.com/ , or can reached by email at . - About
ARM 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 . ARM is a registered trademark of ARM Limited. AMBA
is a trademark of ARM Limited. "ARM" is used to represent ARM
Holdings plc (LSE:ARMLSE:andLSE:Nasdaq:LSE: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. DATASOURCE: ARM Press
contact: Alex Rowley, Text 100 Public Relations, Tel: +44 208 996
4148, E.mail:
Copyright
ARM Holdings (LSE:ARM)
過去 株価チャート
から 9 2024 まで 10 2024
ARM Holdings (LSE:ARM)
過去 株価チャート
から 10 2023 まで 10 2024