Jasper Presenting "New Technologies in Formal Verification" at SAME 2010 Forum October 7

MOUNTAIN VIEW, CA -- (Marketwire) -- 07/28/10 --

WHAT: Jasper Design Automation will present a paper, "New Technologies in Formal Verification for Increased Design and Verification Productivity," at the upcoming SAME (Sophia Antipolis Forum on MicroElectronics -- www.same-conference.org). The SAME 2010 Forum, Oct. 6-7, 2010 is an annual exhibition and technical conference attended by leading European and international microelectronics firms and suppliers, and their customers.

WHEN: Thursday, October 7, 12:30pm-2:00pm, "Lunch & Learn" session

WHERE: Multimedia Room, Le Centre International de Communication Avancée (CICA), Sophia Antipolis, France

WHO: Norris Ip, Director of Engineering, Jasper Design Automation, Mountain View, Calif., USA; and Adam Morawiec, ESCI and Jasper Design Automation, Grenoble, France

About Jasper Design Automation
Jasper delivers industry-leading EDA software solutions for semiconductor design, verification, and reuse, based on the state-of-the-art formal technology. Customers include worldwide leaders in wireless, consumer, computing, and networking electronics, with 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.