Targeted solutions that address specific design and verification challenges

Key Benefits

 •  Finds more bugs in less time, earlier in the design process, compared to other verification
     methods
 •  Provides a wide range of formal apps, which eases adoption by offering property generation
     and other targeted capabilities for specific design and verification tasks
 •  Now expanded with Superlint and CDC Apps to better meet designers’ needs for RTL signoff
 •  Delivers industry-leading capacity and formal engine performance that enable use on an
     increasingly large design scope for more of the verification flow
 •  Eases debug and what-if analysis with the powerful Visualize interactive debug environment
     incorporating QuietTrace technology


Part of the Cadence® Verification Suite, our next-generation, the JasperGold® Formal Verification Platform
provides industry-leading performance, capacity, and usability, delivering a 3X productivity gain and up to
6X performance improvement compared to previous solutions. The platform includes our JasperGold Apps—
targeted solutions that address specific design and verification challenges.

RTL Design Signoff

The platform includes formal-based technologies dedicated to better meeting designers’ needs for register-
transfer level (RTL) signoff. Designers benefit from richer functional checks and formal-powered intelligent
debugging to reduce violation noise. The JasperGold Superlint App and JasperGold Clock Domain Crossing
(CDC) App improve design quality by up to 80% and reduce IP development time by up to four weeks
when compared to existing solutions with static rules-based checkers. With these applications, designers
can signoff robust, reusable, and CDC-clean RTL code to the verification and implementation phase,
shortening overall time to market and significantly improving design quality.

Verification

The JasperGold platform provides a range of formal verification apps ranging from classic formal property
verification, to automated apps for particular verification tasks, where the formal properties are created
automatically, such as apps for connectivity or control and status register verification. These apps can be
used by verification engineers and formal verification specialists. Formal apps provide exhaustive verification
and require no testbench, so they can save many weeks of verification effort and increase design quality
by finding more bugs at an earlier stage, compared with other verification methods. The JasperGold platform
provides the broadest range of design-proven apps, supported by the largest formal specialist team in the
industry, and benefits from unique Visualize™ UI technology, making our formal apps much easier to adopt.