Newest Jasper Formal Technology Coming to EDSF, January 28-29, Yokohama
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 < … Read More → "Newest Jasper Formal Technology Coming to EDSF, January 28-29, Yokohama"

