( ESNUG 588 Item 14 ) --------------------------------------------- [03/27/20]
Subject: Raik & Sawicki on OneSpin, Questa FV, Jasper, and formal apps
DAC'19 Troublemakers Panel in Las Vegas, NV
Raik: ... we're winning more than we are losing. So that's giving us
an edge.
[ this is Raik responding to me asking him "what's it like to
be competing against the Jasper behemoth? Are you losing
more than winning?" (our camera switch didn't catch this.) ]
And it's not just Jasper. It's Cadence Jasper, but also Mentor
and Synopsys. They're there as well. We're competing with all
three of them.
Cooley: But where you overlap, aren't you just getting killed?
Raik: No. [OneSpin] had a 50 percent compounded growth rate over the
last four years -- every year.
Cooley: Say that again, 50 percent...?
Raik: 50% compound growth rate over the last five or four years. And
we're looking at the fifth one right now.
[ it turns out the users in DAC'19 #5a backed Raik's claim! ]
Cooley: Ooh.
Okay, but that's non-formal. Well, that's formal but it's not
generalized Jasper-type stuff.
Raik: Where we overlap with Jasper, there are some unique things that
we do [ that Jasper doesn't do ] on the coverage side, on
operation properties, and interval property checking that we
apply now to RISC-V.
That's a hot topic for us.
[ it turns out users in DAC'19 #5c also backed this, too! ]
Cooley: Okay.
---- ---- ---- ---- ---- ---- ----
Cooley: All right. Sawicki...
Sawicki: Yes?
Cooley: InFact (DAC'18 #2c) is worse off than OneSpin. When it comes to
the competition in formal, is barely showing up on the radar
screen.
Sawicki: Yeah, no. I mean, InFact is our Portable Stimulus Stuff...
Cooley: Oh, sorry. Oh shit! You're right.
Sawicki: Try again. I'm not helping.
Costello: John, were you at the beer garden before this?
Cooley: That's bad when Sawicki corrects you.
Do you have anything formal? [laughter]
Well... that's right! Questa Formal, Questa Formal. Yeah! OK.
Sawicki: Well, if John can't remember the name, we must not have anything.
[laughter]
You know, if you look at formal right now, it's such a broad space.
I mean, we [Mentor Questa Formal] started off with "okay, now we're
going to do formal."
Cooley: Right.
Sawicki: And you know, you used the word "generalized" form of formal.
What we're finding is with Questa Formal in almost every case
generalized formal is something you can sell to a couple of PhDs.
And really, what you want to get is application focused. I mean,
you [to Raik of OneSpin] talked about a couple you're working on.
Almost all the R&D energy we have right now with Questa Formal is
to make it so that you could have formal engines to fit to an
overall verification scheme that target specific hard problems.
I mean, clock domain crossing was our big entry point when our
Questa Formal CDC first came in; and we're working on other ones
now.
I don't think it's all that clear who MENT/CDNS/OneSpin/SNPS wins
formal -- or whether there's a big one market competition for
formal. It's about solving.
Cooley: Is it? I mean, that's what Jasper to Katherine Kranen and she
democratized formal by doing tons of apps and she just made it
so that everyone can use -- even I -- could use formal.
Sawicki: Let's not get carried away. [laughter]
---- ---- ---- ---- ---- ---- ----
Related Articles:
Anirudh & Sawicki vs. Naveed & Costello on cloud, SaaS, pricing
Raik & Sawicki on OneSpin, Questa FV, Jasper, and formal apps
Costello on his custom RISC-V Montana vs. CDNS Rocketick Intel
Join
Index
Next->Item
|
|
