See Jasper Formal Verification in Action at DAC June 13-18, Booth 1337

MOUNTAIN VIEW, CA -- (Marketwire) -- 05/18/10 -- Visit Jasper Design Automation at the upcoming Design Automation Conference, Booth 1337, in Anaheim June 13-18 to learn about the latest advances in formal verification technology. Register for informative product demos with Jasper experts, and discover how we deliver targeted ROI across the spectrum of applications for formal from architectural exploration to post-silicon debug.

Jasper is participating in numerous industry and technical programs at this year's DAC. For complete details visit the Jasper Events Page on our website. Highlights include:

Technical Sessions

DAC User Track Case Studies in Formal Verification

• A Formal Potpourri, Laurent Arditi, ARM Ltd.
• Maximizing the Value of Your Formal Run, George Plouffe, Oracle

DAC User Track Poster Session

• Closer Ties Between Formal and Simulation Teams, Thomas Thatcher, Oracle
• Using Formal to Verify a Synthesizable Testbench Constraint Solver, Matthew Hsu, Matthew A. Hsu Consulting

DAC Colocated Event

• Choosing Advanced Verification Methods: So Many Possibilities, So Little Time, Adam Morawiec, ECSI

Industry Events

DAC Career Workshop

• More Than Core Competence - What it Takes for Your Career to Survive, and Thrive! Sponsored by Women in Electronic Design (WWED), Panelist Kathryn Kranen, Jasper President and CEO, Co-Chair Holly Stump, Jasper VP Marketing

DAC Pavilion Panel

• High-School Panel - Teens on Tech, Moderated by Kathryn Kranen, Jasper President and CEO

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.