Mountain View, Calif. - June 25, 2009 - Jasper Design Automation, provider of advanced formal technology solutions, will showcase its lineup of production-proven formal verification technologies at next month’s DAC, Booth 3767, while also participating in numerous industry and technical forums during the show.

For more information on all products and events mentioned in this news release, or to register for Jasper DAC product demos, visit: http://www.jasper-da.com/dac/dacreg.htm.

Jasper @ DAC Highlights

Jasper Booth 3767

JasperGold®: The industry’s most reliable, production-proven formal verification tool has new architectural features, resulting in faster proofs, reduced memory footprint, and higher proof capacity.

ActiveDesign™: The breakthrough IP design and reuse solution now has enhanced visualization and debug capabilities for the RTL designer.

What’s New?: Jasper will be announcing several productivity enhancements at the show, including ways to run multiple proofs simultaneously, and more robust Proof Accelerators with increased capacity and faster run times. For more information, come see us at DAC!

Technical Presentations

• 2pm, Monday & Tuesday – Jasper Booth 3767
  • Accelerating Design Reuse with Formal Technology ActiveDesign with Behavioral Indexing™
  • Raffaele Guarrasi, ST Verification Engineer; and Rajeev Ranjan, Jasper CTO
• 3pm, Wednesday – DAC Exhibitor Forum, Booth 4359
  • Verification and Debug: RTL, TLM and Formal Techniques
  • Raffaele Guarrasi, ST Verification Engineer; and Rajeev Ranjan, Jasper CTO
• 9am, Thursday – DAC Special Session, Room 133
  • The Tool Shows That My Design is Wrong, But Where is the Bug?
    Rajeev Ranjan, Jasper CTO
  • Industry Events
• 9am, Monday – Workshop for Women in Design Automation, Room 131
  • Career Crossroads: Who Has the Map?
  • Holly Stump, Jasper VP Marketing
• 10am, Thursday – DAC Pavilion Panel, Booth 1928
  • You Don’t Know Jack – High Schoolers Tell You What’s Up with Technology
  • Kathryn Kranen, Jasper President & CEO

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 100 successful chip deployments. Jasper, headquartered in Mountain View, California, is privately held, with offices and distributors in North America, South America, Europe, and Japan. Visit Jasper online at http://www.jasper-da.com for Targeted ROI: reducing risks; increasing design, verification and reuse productivity; and accelerating time to market.