Jasper offers JasperCore verification methodology

As part of this release, both JasperGold and JasperCore have been re-architected to include faster proof and visualization flows, proof engine enhancements, and high-performance design-traversal or "smart" algorithms to speed debugging.

In addition, JasperGold now incorporates QuietTrace, a visualization and debugging capability for RTL development that reduces iterations by allowing the user to focus only on the most relevant issues impacting the design.

QuietTrace works with Jasper's Visualize, which automatically generates and manipulates waveforms without a testbench, answering "what-if" design questions and providing visual confirmation of design functionality which is especially useful for RTL development and debug. Visualize in JasperGold lets designers use formal technology without assertions.