Jasper Design Automation's JasperGold® Verification System Selected as Finalist in First Annual DesignVision Awards

Breakthrough Formal Verification Solution Honored For
Innovation In Design Verification

Mountain View, Calif. - January 25, 2005 - Jasper Design Automation, provider of breakthrough high-level formal verification solutions, today announced that its flagship product, JasperGold Verification System, has been named a finalist in the International Engineering Consortium's First Annual DesignVision Awards. The IEC presents the DesignVision Awards to recognize leading-edge products and services in the electronic design and semiconductor industries. JasperGold Verification System, a block-level verification solution that employs state-of-the-art formal verification technology to exhaustively verify RTL blocks without simulation or test vectors, was nominated in the Design Verification Tools category and chosen as a finalist from among several dozen candidates.

Like previous IEC honors, the DesignVision Awards recognize companies for recent products and services that have added a new dimension not only to the electronic design industry, but to society as a whole. The entries were judged according to the criteria of innovation, uniqueness, market impact, customer benefits and value to society.

"JasperGold Verification System was named as a finalist in the Design Verification Tools category for being the first product to predictably deliver 100% actual coverage of block level design requirements within tight schedule constraints," said Craig Cochran, vice president of Marketing at Jasper. "Combined with the high satisfaction level and renewal rate within our growing customer base, our selection as a DesignVision finalist underscores that JasperGold Verification System is providing high value and breaking new ground in verification completeness, productivity and predictability."

JasperGold Verification System is one of 8 finalists within the Design Verification Tools category. One award will be given for the winning product in each of seven different categories on February 1st during a morning awards ceremony at DesignCon 2005 which will be held from January 31st to February 3rd at the Santa Clara Convention Center in Santa Clara, California.

"The DesignCon team is delighted by the nomination response to the first DesignVision Awards - we received dozens of nominations in every category. The products selected as finalists in the Design Verification Tools category represent industry leaders in design verification," IEC Senior Director John Janowiak said. "We are glad the DesignVision Awards are able to recognize these finalists for their contributions to the industry and for the benefits to society their ingenious products have produced."

For details on how to improve design quality, verification productivity, predictability and verification reuse, please visit: http://www.jasper-da.com.

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. All other names mentioned are trademarks, registered trademarks, or service marks of their respective companies.

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