MOUNTAIN VIEW, Calif. – Oct. 11, 2011 – Jasper Design Automation, the leading provider of verification solutions based on formal technology, has announced it will hold its annual Jasper User Group Meeting November 9 -10 in Cupertino, Calif. The event will gather designers, verification engineers and engineering managers from around the world to share the latest verification best practices. Users of Jasper solutions will present case studies on how Jasper solutions have been used in their designs.  Jasper engineers will present details on the latest developments and provide information on the best utilization of Jasper solutions throughout the design and verification flow.

Customers are invited to present papers sharing their experiences using Jasper solutions. Suggested topics include: architecture validation; SoC integration; RTL development; property synthesis; post-silicon debug; verification IP and Formal property verification. At the conclusion of the event, an award will be given recognizing the “Best Paper.”To propose and submit a presentation, Jasper customers should contact Rob van Blommestein at robvb@jasper-da.com.  For more information and to register for the event, visit www.jasper-da.com/user_group_2011/index.htm. 

“Jasper’s 2010 User Group meeting was remarkable, featuring a variety of user experiences from all over the world.  The high degree of interaction among our global community provided useful insights into getting the most out of Jasper solutions.  We look forward to an even more compelling program this year,” said Oz Levia, vice president of marketing, Jasper Design Automation. “For designers and engineers working on today’s leading-edge SoC designs, verification remains a critical factor for success and profitability.  This event provides a unique and invaluable opportunity to exchange information with other leaders in the field.”

About Jasper Design Automation
Jasper delivers industry-leading EDA software solutions for semiconductor design, verification, and reuse, based on state-of-the-art formal technology.  Customers include worldwide leaders in wireless, consumer, computing, and networking electronics. Jasper technology has been an integral part of over 150 successful chip deployments.  Jasper, headquartered in Mountain View, California, is privately held, with offices and distributors in North America, South America, Europe, and Asia.  Visit www.jasper-da.com to reduce risks, increase design, verification and reuse productivity; and accelerate time to market.

# # #

Jasper Design Automation and the Jasper Design Automation logo are trademarks or registered trademarks of Jasper Design Automation, Inc. All other trademarks mentioned are the property of their respective companies.