|
WHO
Jasper Design Automation, provider of advanced formal technology solutions, and its distributor in Japan, CyberTec.
WHAT
Introduction of 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.
WHEN
January 28-29, 2010.
WHERE
EDSF, Yokohama, Japan, Booth 304 – for more information, or to register for a product demo,
e-mail info@jasper-da.com.
WHY
This latest release of JasperGold/JasperCore has been tested with leading IC design teams at major microprocessor, graphics processor, IP, and telecom/networking companies with outstanding results. Notable new features include a performance boosting collaborative engine architecture; powerful design exploration capabilities; multi-cycle path analysis, and more.
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 Japan. Visit www.jasper-da.com for Targeted ROI: reducing risks; increasing design, verification and reuse productivity; and accelerating time to market. |
