JasperGold and OneSpin both get #11 in 2017 for "Best of" EDA tools
By John Cooley, Deepchip.com
WHAT GOES UP... This year, both JasperGold and OneSpin are present; but with far less user gush. They were NOT fidget spinners. They weren't fads. And they didn't do anything wrong. The fact that they work led to them being taken for granted. Other tools just took the attention in 2017. Fame is fickle like that.
[…]
OneSpin Fault Propagation Analysis OneSpin's fault grading is of interest for our flow. It does a formal analysis of your faults, addressing a need for companies with safety critical products that require certification.
---- ---- ---- ---- ---- ---- ----
OneSpin DV-Verify - Good alternative to the expensive Jasper tools for formal verification.
- Provides assertion-based verification with unique coverage metrics. Not easy to integrate with existing coverage metrics from other vendor tools.
- The verification app library components are useful in reducing development time. Not as comprehensive as Jasper, but covers majority of the designs.
- Their token-based licensing scheme is flexible, but somewhat confusing.
---- ---- ---- ---- ---- ---- ----
The OneSpin DV-Verify formal apps demo made quite an impression on me. I was interested in its depth in showing different problems/errors. Plus, it saves time.
Normally, you'd have to read a report with 100 warnings/error to decide the warning can be waived. Most of the job is to read the report.
The OneSpin app saves all that reading/filtering time, and the warnings are shown according to color. I don't think most other tools have this.
[…]
