Formal Verification

Home > Functional Verification

Products:

Formal Verification
e/SV development env.

's JasperGold® enables exhaustive and complete verification and provides rapid bug detection as well as end-to-end full proofs of expected design behavior. Its powerful analysis capabilities and ease of use makes it ideal for early-stage bug hunting as well as ensuring the highest confidence possible in design functionality via end-to-end full proofs.

JasperGold’s key features are:

Accelerate RTL development with waveform views of design functionality and dependencies with Visualize™
Simplify debug and find interesting behaviors with QuietTrace™
Advance proof verification with unique Design Space Tunneling™ and State Space Tunneling™ infrastructure
Accelerate multiple proofs in parallel with ProofGrid™ and ProofGrid Manager™
Launch and run interactive proofs with Complexity Manager™
Enable fast, easy and complete verification using predefined and easy-to-use Proof Accelerators
Quickly and exhaustively verify standard protocols including AMBA, AXI, memory controllers, with plug-and-play Intelligent Proof Kits

For more information please click here.