JASPER DESIGN AUTOMATION DELIVERS FORMAL VERIFICATION PROOF KIT FOR AMBA 3 AXI PROTOCOL USERS

Jasper's Formal Testplanner Verification Knowledgebase Enhanced With Properties and Formal Testplan for the AMBA 3 AXI Protocol


Munich, Germany - March 8, 2005 - Jasper Design Automation, provider of breakthrough high-level formal verification solutions, today announced that its verification knowledgebase, Formal Testplanner™, has been enhanced to include a proof kit for verification of designs using the AMBA™ 3 AXI protocol. To ensure exact adherence to the specification, the proof kit for the protocol was developed in close cooperation with ARM®, and is entering production use at a major consumer electronics provider of high-quality, high-volume products. The proof kit includes a Formal Testplan, which gives detailed instructions on verifying designs with AMBA 3 AXI interfaces, plus properties for the protocol that Jasper's formal verification solution, JasperGold® Verification System, can prove against any design employing the AMBA 3 AXI protocol standard, thereby achieving 100% actual coverage against the bus specification. In addition to verifying the AMBA 3 AXI protocol, JasperGold Verification System can be used in conjunction with Formal Testplanner to verify many other bus protocols and data transmission standards, plus end-to-end black-box design behavior such as data integrity, which is generally derived directly from the block specification.

"JasperGold Verification System has been used to verify and debug many designs employing on-chip busses which implement the various versions of the AMBA protocol, and ARM has been a fantastic partner in enabling our joint customers to achieve this high level of quality," said Craig Cochran, vice president of marketing at Jasper. "By extending Formal Testplanner to support the AMBA 3 AXI protocol, we are enabling the next generation of high-volume, high-quality consumer electronics innovations to be designed with 100% actual coverage, predictably, and within very tight market windows."

"ARM recommends the use of formal verification to prove the correctness of designs employing the AMBA 3 AXI protocol, and we have worked with Jasper to ensure that their proof kit correctly verifies designs against the AMBA 3 AXI specification," said Tim Holden, EDA relations manager, ARM. "The AMBA 3 protocol is proving to be popular among consumer electronics providers, among whom quality is critical, and nothing less than complete verification will suffice."

Availability
The proof kit for the AMBA 3 AXI protocol is currently available as a chapter within Jasper Formal Testplanner, and is provided at no additional charge to current licensees of Formal Testplanner.

About Jasper Design Automation
Founded in 1999, Jasper Design Automation is a privately-held Electronic Design Automation (EDA) company headquartered in Mountain View, California. The first verification product to deliver 100% actual coverage within predictable, finite schedule constraints, the JasperGold® Verification System solution formally verifies that complex design blocks meet their high-level requirements, as defined by their specifications, without any testbench development. JasperGold Verification System automatically isolates bugs with a fast, unique debugging capability, trimming crucial months off the verification schedule. For further details on how to improve design quality, verification productivity, predictability and verification reuse, visit http://www.jasper-da.com.

#                      #                      #

Jasper Design Automation, the Jasper Design Automation logo, JasperGold Verification System, PreCognitive Engine, Design Tunneling and Jasper Formal Testplanner are trademarks of Jasper Design Automation, Inc. ARM is a registered trademark and AMBA is a trademark of ARM Limited. "ARM" is used to represent ARM Holdings plc, its operating company ARM Limited, and its regional subsidiaries. All other brands mentioned are trademarks, registered trademarks, or service marks of their respective holders.

--
Editorial Contact:
Francine Bacchini
ThinkBold Corporate Communications, LLC
+1.408.839.8153
francine@thinkbold.com