WHAT: Jasper Design Automation will present a paper describing new technologies to help designers doing assertion-based verification at the upcoming DesignCon trade show.

WHEN: DesignCon runs from Jan. 31 - Feb. 3. The Jasper paper "Automating Higher Level Verification Methods" ( http://bit.ly/bnRHDg) will be presented Thursday, Feb. 3, 10:40am, Ballroom E

WHERE: Santa Clara Convention Center, Santa Clara, Calif.

WHO: Alok Sanghavi, Technical Marketing Manager, Jasper Design Automation

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 200 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.

Contact: 
Jim Lochmiller
lochpr
For Jasper Design Automation
(541) 292-0959

Email Contact