( DAC'17 Item 11 ) ------------------------------------------------ [02/21/18]
Subject: JasperGold and OneSpin both get #11 in 2017 for "Best of" EDA tools
STILL REPRESENTING: Last year, for "Best of 2016" I got flooded out with
so many Jasper and OneSpin user comments it made them both #1 of 2016.
Jasper's #1 in #1 "Best of 2016", through killer capacity & debug
OneSpin's #2 in #1 "Best of 2016", the "we try harder" company
And how JasperGold compares to OneSpin in the Formal Apps biz
It was an editing nightmare. With over 7,000 users words critiquing the
two tools and painfully detailing their specific apps, it was a DeepChip
"first" where I only published the #1 tool -- and then later published
the #2 through #10 "Best of" for 2016.
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.
ON THE TECHNICAL SIDE: What's "new" this year is JasperGold launched their
new Superlint App -- which Anirudh and Prakash heatedly discussed in the
DAC'17 Troublemaker Panel.
Prakash and Anirudh spar on Real Intent Linting vs. Jasper Formal
And this year I saw the first users mentions of OneSpin doing FPGA tools.
QUESTION ASKED:
Q: "What were the 3 or 4 most INTERESTING specific EDA tools
you've seen this year? WHY did they interest you?"
---- ---- ---- ---- ---- ---- ----
CADENCE JASPERGOLD
Jasper.
---- ---- ---- ---- ---- ---- ----
We still like Jasper.
---- ---- ---- ---- ---- ---- ----
Jasper
Palladium
---- ---- ---- ---- ---- ---- ----
Jasper same as last year.
---- ---- ---- ---- ---- ---- ----
We keep our JasperGold block sizes under 20 million gates.
Don't try above 20. Runtime hell.
---- ---- ---- ---- ---- ---- ----
My verification guys tells me I'm using Jasper but I don't
know it.
---- ---- ---- ---- ---- ---- ----
One of our groups uses Synopsys VC Formal. The rest use Jasper.
---- ---- ---- ---- ---- ---- ----
We're a Jasper house.
---- ---- ---- ---- ---- ---- ----
Jasper - has 12 apps now.
---- ---- ---- ---- ---- ---- ----
I use the JasperGold SEC & Unreachability apps a lot these days.
---- ---- ---- ---- ---- ---- ----
Jasper CDC
---- ---- ---- ---- ---- ---- ----
Prakash is right. JasperGold Superlint is super noisey.
---- ---- ---- ---- ---- ---- ----
The CDNS Superlint is a good start, but needs work.
---- ---- ---- ---- ---- ---- ----
Our tests with Jasper Superlint concur with Prakash's observations.
---- ---- ---- ---- ---- ---- ----
The Superlint error reports have too many false warnings.
They need to clean that up.
---- ---- ---- ---- ---- ---- ----
Jasper CDC.
---- ---- ---- ---- ---- ---- ----
JasperGold LP, CDC, X
---- ---- ---- ---- ---- ---- ----
---- ---- ---- ---- ---- ---- ----
---- ---- ---- ---- ---- ---- ----
ONESPIN
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.
---- ---- ---- ---- ---- ---- ----
With the rising complexity of our digital designs (ASIC & FPGA) it is
critical to speed-up verification closure time and deliver error-free
designs.
OneSpin DV Verify eases and accelerates the verification process; it is
a must have for a good top-notch methodology practice.
---- ---- ---- ---- ---- ---- ----
OneSpin DV Verify ABV and Formal Apps
OneSpin is at the forefront of formal verification -- especially when it
comes to novel applications.
We continue to be impressed with their leadership/innovation around
formal tools. Examples:
- Formal apps
- Use of formal to support safety
They rapidly respond to market needs with the high quality/usability we
expect from EDA vendors
---- ---- ---- ---- ---- ---- ----
OneSpin offer all the functionality found in Cadence/Mentor/Synopsys
tools plus more at a much more reasonable pricing.
Their FPGA verification product line up is very innovative.
---- ---- ---- ---- ---- ---- ----
OneSpin EC-FPGA
I looked at OneSpin's logic equivalency checking for FPGAs.
Some FPGA vendors have dropped support for this, which is a big problem
for anyone doing safety critical FPGA's because we are forced to do post
place & route gate simulation.
---- ---- ---- ---- ---- ---- ----
Related Articles
How engineers feel about Formal verification vs. RTL simulation
Jasper's #1 in #1 "Best of 2016", through killer capacity & debug
OneSpin's #2 in #1 "Best of 2016", the "we try harder" company
And how JasperGold compares to OneSpin in the Formal Apps biz
Join
Index
Next->Item
|
|
