> Functional 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