WHO:
Jasper Design Automation, the leader in successful
deployment of production proven formal verification
solutions, will demonstrate its Formal Verification
Unleashed™ - an advanced verification methodology
supported by best-in-class formal verification
solutions, to exhaustively verify complex designs
at any stage in the design flow, from architecture-level
to first silicon. Learn how industry-leading companies
worldwide have applied high-capacity, high-performance
formal verification solutions from Jasper Design
Automation to successfully prove protocols and
executable specs, to design, explore and debug
RTL, to ensure correctness of block-level functionality
and to conduct fast and exhaustive post-silicon
debug.
HOW:
Email
info@jasper-da.com,
or by call +1.650.966.0266.
|
|
WHEN:
June
8th-12th, 9:00am to 5:00pm;
June 13th, 9:00am to 12:00pm
WHERE:
Booth
#2346,
Anaheim Convention Center, Anaheim, California
Floor
demonstrations of the newest releases of JasperGold®
Verification System, and GamePlan™
Verification Planner will also be available
during exhibit hours in Jasper’s booth,
#2346.
|
