| Mountain View, Calif. – May 18, 2010 – 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.
|
