Jasper Design Automation Signs CyberTec As Sales and Support Channel in Japan

Verification Leaders Partner to Develop Market for High-Level Formal Verification in Japan

Mountain View, Calif. - June 7, 2005 - Jasper Design Automation, provider of breakthrough high-level formal verification solutions, today announced that it has signed CyberTec Ltd., of Yokohama, Japan, to be Jasper's exclusive sales and support channel in Japan. Having developed the market for testbench automation in Japan from inception, CyberTec is well-known for its expertise in verification. CyberTec's high credibility and long-standing relationships with major Japanese electronics firms will help accelerate proliferation of Jasper's high-level full formal verification technology and methodology. Following CyberTec's market development and deep knowledge of coverage-driven verification, Jasper's focus on achieving 100% Actual Coverage was a natural fit for CyberTec.

"CyberTec was extremely successful in developing the verification process automation market in Japan for Verisity," said Craig Shirley, vice president of sales and support at Jasper Design Automation. "Though Jasper has already established a strong presence in Japan, CyberTec's reputation and unparalleled customer relationships within the Japanese electronics community will help drive stronger adoption and will carry CyberTec's role in coverage-driven verification to the next level: 100% Actual Coverage."

Much of the electronics industry in Japan is focused on high quality consumer devices with tight time-to-market goals and rapidly-changing specifications. Jasper's technology is uniquely suited to address this challenge, enabling designs to be checked completely for all usage scenarios.

"We see Jasper as the next major verification leader, with an approach that offers both advanced technology and methodology to enable rapid, complete verification," said Naoya Tsuruta, president and CEO of CyberTec. "Jasper has dramatically advanced verification by enabling designers to reach 100% Actual Coverage on full designer-sized blocks. This technology will be important in Japan, where quality is a driving requirement and time-to-market is critical."

About Jasper Design Automation
Jasper Design Automation is a privately-held Electronic Design Automation (EDA) company with a mission of making full formal IC verification a competitive advantage for its customers. The company's flagship product, JasperGold® Verification System, is the first verification product to deliver 100% actual coverage, and accomplishes this task within predictable, finite schedule constraints. JasperGold Verification System formally verifies that complex IC design blocks meet high-level requirements defined in their specifications, and also pre-verifies IP blocks for use under all usage modes, without any testbench development. JasperGold Verification System automatically isolates bugs with a unique, fast debugging capability. By isolating bugs earlier than simulation or formal-assisted simulation tools, and then proving the absence of bugs, JasperGold Verification System trims crucial months off design schedules. For further details on how to achieve 100% actual coverage, and improve verification productivity, predictability and verification reuse, please 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.