Jasper Design Automation is a leading provider of formal verification tools. At this event, we introduce our new "JasperGold Apps" which make it easy to leverage formal verification at wide range phases from architecture verification to post silicon.
With JasperGold Apps, you can fix the cause of issues on handling of formal verification and enjoy 100% covered verification. And since each apps are based on unified GUI and common database, you can use verification results from other application effectively.
- JasperGold Apps -
* Architectural Modeling App
* RTL Development App
* Formal Property Verification App
* X-Propagation Verification App
* Control/Status Register Verification App
* Connectivity Verification App
* Structural Property Synthesis App
* Behavioral Property Synthesis App
* Low Power Verification App
* Sequential Equivalence Check App
* Security Path Verification App
* Intelligent Proof Kit and VIPs
Further Apps are on developing. Expect more effective way for your design!
707 California Street Mountain View, CA 94041, USA