Jasper Design Automation's JasperGold® Verification System Named as Finalist in EDN's Annual Innovation of the Year Awards

Breakthrough Formal Verification Solution Competes Within EDA Category


Mountain View, Calif. - January 21, 2005 - Jasper Design Automation, provider of breakthrough high-level formal verification solutions, today announced that its flagship product, JasperGold Verification System, has been named as a finalist from a field of hundreds for this year's EDN Innovation Awards. Instituted in 1990, the Innovation Awards honor the people, products and technologies that have shaped the semiconductor industry over the past year. 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 EDA Innovation category.

The EDN Innovation Awards' selection is based upon demonstrated innovation that resulted in a significant advance in technology and/or product development during the past twelve months. Within the EDA innovation category, the product must have shipped in volume within the 2004 calendar year.

"We are delighted and extremely honored to have JasperGold Verification System named as a finalist for the EDN Innovations Award," said Kathryn Kranen, president and CEO at Jasper. "When JasperGold Verification System was first introduced in 2003, it broke new ground with its ability to overcome the historic formal verification capacity problem through the efficient use of its powerful PreCognitive Engine™ and Design Tunneling™. Today, version 3.0 of JasperGold Verification System is the first product to solve the previously unsolvable problem of achieving 100% actual coverage of block-level design requirements, and to do so predictably within a tight verification schedule."

JasperGold Verification System is one of four finalists within the EDA category. One award will be given for the winning product in each of sixteen different categories on March 7th at an awards ceremony to be held within The Palace Hotel in San Francisco, California. Details regarding this event and how to purchase tickets can be found both within EDN magazine and EDN online. To cast your ballot for JasperGold Verification System, please visit the EDN website at http://www.edn.com/innovationballot.asp.

"As the saying goes, many are called, but few are chosen. Our technical editors have done outstanding work on the difficult task of identifying the finalists. The differences in the products EDN covers are often subtle and tricky to flesh out," said EDN Editor-in-Chief, John Dodge. "Congratulations to all the finalists on a job well done and see you March 7th in San Francisco."

For details on how to improve design quality, verification productivity, predictability and verification reuse with JasperGold Verification System, 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. Delivering breakthrough verification completeness, productivity and predictability, 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