Printer Friendly

Jasper Design Automation's JasperGold Is a Finalist in EDN's 19th Annual Innovations Award Competition.

Formal Technology Advances in JasperGold Deliver Design Confidence

MOUNTAIN VIEW, Calif. -- Jasper Design Automation, provider of advanced formal technology solutions, today announced that its flagship product, JasperGold[R] Verification System, has been selected from among hundreds of nominations as a finalist for this year's EDN Innovation Awards under the category of 'EDA: Design Analysis.' A breakthrough in formal verification technology, JasperGold delivers exhaustive confidence across designer-level blocks, addressing the need for high RTL reliability. Unlike formal tools focused on implementation-level assertion-based verification, JasperGold raises the level of formal verification to end-to-end specification-level properties, delivering the highest design confidence possible today. The benefits of this production-proven formal technology solution span the complete SoC design cycle. System architects, logic designers, verification engineers and silicon bring-up teams can design, explore and debug RTL, ensure correctness of block-level functionality, and perform rapid post-silicon validation and debug.

Instituted in 1990, the Innovation Awards honor the people, products, and technologies that have shaped the semiconductor industry over the past year. During the month of February, EDN's worldwide audience of electronic engineers and engineering managers will be invited to vote online to select the ultimate winners from among the finalists. Jasper encourages you to visit: to place your vote for JasperGold. The winners will be announced at a dinner and awards ceremony on March 30, 2009, in San Jose, California.

"Hundreds of nominations were examined in preparation for EDN's 2008 Innovation Award program," said Rick Nelson, EDN editor-in-chief. "In our February 5th print issue, as well as online at, we present 94 finalists that are strong candidates across 26 product categories. Jasper's JasperGold Verification System is one of the strong contenders in the 'EDA: Design Analysis' category because it delivers formal verification technology while addressing production issues and the complete SoC design cycle."

JasperGold is unique from other formal verification solutions in that it conquers capacity issues with automatic counter abstraction, Formal Scoreboard[TM], Proof Accelerators[TM], patented Design Tunneling[TM] and interactive proof capabilities. Secondly, it offers design visibility enabled by Jasper's patented visualization technology. Lastly, JasperGold's powerful methodology, along with Jasper's consultative "Targeted ROI" approach, enables customers to conquer their top verification challenges, mitigating project risks while reducing schedules and development costs.

"Jasper is delighted to have JasperGold selected as a finalist from among the submissions of many highly respected design analysis solutions," said Kathryn Kranen, president and CEO of Jasper Design Automation. "Our customers tell us that they are using JasperGold to decrease the design verification burden throughout the chip development flow, and that it is providing them with greater design confidence, improved schedule predictability and greater design quality."

About EDN and

EDN serves the vital information needs of design engineers and engineering managers worldwide. delivers a three-dimensional view of the electronic industry via news coverage, strategic business information, and in-depth technical content. ( EDN is published by Reed Business Information (

About Jasper Design Automation

Jasper is a privately-held EDA software company leveraging formal technologies to deliver high value solutions for the design and verification of electronic systems and semiconductors. The company delivers products utilizing advanced formal analysis and Behavioral Indexing[TM] technologies to the global electronics market. Jasper is headquartered in Mountain View, California, and has offices and distributors located in North America, South America, Europe, and Japan. Visit Jasper online at

Jasper Design Automation, the Jasper Design Automation logo, ActiveDesign, Behavioral Indexing, Activated Design, and JasperGold are trademarks or registered trademarks of Jasper Design Automation, Inc. All other trademarks mentioned are the property of their respective companies.
COPYRIGHT 2009 Business Wire
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2009 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Publication:Business Wire
Date:Feb 11, 2009
Previous Article:Shuffle Master, Inc. to Present at Roth 2009 OC Growth Conference.
Next Article:Nintendo Offers Platinum to Consumers - Reserve Your Precious Copy Now.

Terms of use | Copyright © 2017 Farlex, Inc. | Feedback | For webmasters