| JasperGold Express Verification
System delivers a powerful, exhaustive formal verification
solution to users already familiar with simulation-based
ABV. Simulation ABV properties are used to identify potential
failures in the design without costly testbench development.
Jasper's unique formal debugging environment automatically
isolates the root cause of bugs down to the individual
line of code and automatically generates waveforms as
it detects bugs. This intuitive, integrated environment
greatly reduces overall debug time. JasperGold Express
Verification System contains a broad array of powerful
formal engines, each optimized for different design
configurations. Engines can be run in parallel to for
fast bug detection with no additional user effort required.
Jasper's unique Formal Predictor provides up-front analysis
that resolves the complexity of the design early before
formal verification is run. Automatic counter abstraction
systematically reduces proof complexity by modeling
the large state space generated by counters in a formal-friendly
way without any loss in verification accuracy.
No other formal ABV solution provides as rich a collection
of useful analysis and debugging tools in an easily
adopted formal verification solution. |
