Jasper Design Automation Appoints Craig Shirley as
Vice President of Worldwide Sales and Support

Further Expansion Planned For North America And Overseas

Mountain View, Calif. - December 7, 2004 - Jasper Design Automation, provider of breakthrough high-level formal verification solutions for provably correct design, today announced the appointment of Craig Shirley to the position of vice president, Worldwide Sales and Support. A 17-year EDA veteran, Mr. Shirley will ensure that JasperGold Verification System customers' sales and support needs are fully addressed and successfully managed.

"Having known Craig for a number of years and developed a deep respect for his outstanding management, operational and sales capabilities, I am delighted that he has joined Jasper's world-class executive management team," said Kathryn Kranen, president and CEO of Jasper. "Craig is an exceptional manager of both people and business issues. He has a deep understanding of the enormous functional verification challenges that our customers are facing. We look forward to leveraging his sales insights and customer relationship expertise to expand Jasper's growing installed base and to bring higher design quality and shorter schedules to the global design community."

"I am very enthusiastic about the opportunity to lead sales and support for Jasper," said Craig Shirley. "Jasper has developed truly outstanding formal verification technology that is sure to change the way people design and verify their chips. I have known and respected Kathryn since our early days in EDA, and look forward to helping her build an excellent global sales and support team."

Prior to joining Jasper, Craig served as vice president of North American Sales at Verisity Design, Inc., where he built and managed a sales team of over 50 people, targeting the domestic proliferation of the company's functional verification solutions at major accounts. Before joining Verisity, Craig held various sales and sales management positions at Avant!, Aspect Development, Quickturn Design Systems, Ready Systems Corporation and Viewlogic Systems.

Craig began his early EDA career at Intergraph Corporation where he initially worked as an applications engineer in Huntsville, Alabama, and then later moved to Silicon Valley to sell and support EDA tools into the CAE/CAD/CAM markets. Craig holds a Bachelors degree in Computer Engineering from Auburn University in Auburn, AL, where he graduated with honors.

About Jasper Design Automation
Founded in 1999, Jasper Design Automation is a privately-held Electronic Design Automation (EDA) company headquartered in Mountain View, CA. Delivering breakthrough verification completeness and productivity, the JasperGold® Verification System solution formally verifies that complex design blocks meet their high level requirements, as defined by the micro-architecture specification, without any testbench development. JasperGold Verification System automatically isolates bugs with a unique debugging methodology, trimming crucial months off the verification schedule. For further details on how to improve design quality, verification productivity, debug efficiency and verification reuse, visit http://www.jasper-da.com.

#                      #                      #

Jasper Design Automation, the Jasper Design Automation logo, Tempus Quest, JasperGold Verification System and Formal Testplanner are trademarks of Jasper Design Automation, Inc. All other names mentioned are trademarks, registered trademarks, or service marks of their respective companies.