Jasper Design at DVCon: Showcasing Latest Formal Verification Advances, Participating in Prestigious Panel

MOUNTAIN VIEW, Calif. -- (BUSINESS WIRE) -- Jasper Design Automation:

WHO
Jasper Design Automation, provider of advanced formal technology solutions.

WHAT
Jasper will demonstrate the latest release of the JasperGold®/JasperCore™ formal verification system with formal verification power for unprecedented deep-proof capacity, and applications across the spectrum of design and verification. Also featured is the company’s innovative ActiveDesign™ with Behavioral Indexing™, which helps accelerate design, development and debug, automates knowledge transfer across the design and verification teams, leverages the value of existing designs and IP, and promotes efficient design reuse. On Thursday, Feb. 25, 3:30pm, Jasper CTO, Dr. Rajeev Ranjan, joins an expert panel discussing ways to minimize verification time while maximizing results. Panel location: Donner/Siskiyou room.

WHEN
DVCon, Monday, Feb. 22 through Thursday, Feb. 25, 2010. Exhibit booths open Tuesday, Feb. 23, 2pm-6:30pm, and Wednesday, Feb. 24, 2pm-6:30pm.

WHERE
DVCon, Jasper Booth 601, DoubleTree Hotel, San Jose, Calif. For more information, or to register for a product demo, e-mail info@jasper-da.com.

WHY
Attendees will learn more about Jasper's expanding portfolio of design, verification and design reuse solutions, and view demonstrations on new applications of formal technology at the premier conference for functional design and verification of digital electronic systems.

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.