Jasper

Home > EDA / IP Partners

Partners:

Jasper
Micrologic
AMIQ
Rosetta IP

Jasper’s JasperGold® is the leading formal verification tool today. It combines very advanced and powerful engines together with an easy-to-use GUI, enabling design and verification teams to perform very advanced verification without needing a PhD in formal verification.

JasperGold® can prove properties on very large designs, of over 100M gates, which has been considered impossible for formal tools until now. This enables verifying complex functionality such as deadlocks in hierarchical protocols or cache coherency in multi-processor designs, which are almost impossible to verify in any other way. It also enables functionality such as scoreboard checking, post-silicon debug, X propagation, and much more.

JasperGold’s Visualize™ GUI and unique QuietTrace™ ability enable efficient debug and “what if” analysis, allowing engineers to quickly focus on the cause of issues found. This enables significant shortening of verification schedules and improvement in design quality.

Jasper’s Intelligent Proof Kits are advanced Verification IP modules. The new AXI4 and ACE Intelligent Proof Kits, were developed jointly with ARM and enable effective verification of designs based on these protocols.

For more information please click here