( ESNUG 563 Item 5 ) -------------------------------------------- [11/01/16]
Subject: Raik on it's only OneSpin vs. Jasper in formal; not SNPS nor MENT
DAC'16 Troublemakers Panel in Austin, TX
Cooley: Raik?
Raik: Yes.
Cooley: Wasn't OneSpin a dead company, like three years ago? So are
you a zombie company or a Lazarus company?
Raik: It was four years ago. And I believe some may have pronounced
us dead because the former CEO Peter Feist made a bad decision
not to go to DAC one year. I was screaming at him, but
couldn't change his decision.
Cooley: He said, "Don't go to DAC".
Raik: Yes. But we were there all the time and we transcended now
from selling to some friends, to having a profitable company.
We are supporting ourselves, we are profitable, and we actually
can execute on our mission. And you'll probably want to know
what that is:
It's making formal the third leg of verification, together with
simulation and emulation.
So that's the thing, to provide solutions that target things
like SystemC verification, or FPGA synthesis verification,
precise coverage for formal...
And safety critical verification - a new topic.
Cooley: How do you, little OneSpin, compete against the package deals
that Cadence, Mentor and Synopsys have?
Raik: Well, I'm surprised you ask that. As you would probably
remember from the period like 20 ago until now, innovation
came most of the time, only from smaller and private companies
that focus exclusively on key technology that they own. When
you're agile enough and responsive enough you can really
make a difference.
At OneSpin for example, we have been pioneering coverage
for formal, and nowadays there are only two major players in
formal that I see - there's Jasper and there's OneSpin.
It just takes a lot of time to get the technology right. So
anybody can say they have some technology. Anyone can have
a formula engine -- but making it a real solution takes a
lot of customer experience and running with people.
If you want some context, we were founded in 2005, Jasper was
founded in 1999, and it just takes a long, long time to make
it really work.
[ Editor's Note: This was Raik making a jab at Aart's
two year old formal tool, VC Formal. - John ]
---- ---- ---- ---- ---- ---- ----
Related Articles
Sawicki on how MENT Calibre DRC/LVS "breaks at almost every node"
Anirudh defends JasperGold's rep and the CDNS-RocketSim purchase
Dean on his new peer-to-peer chip design workspace accelerator
Amit on 55nm non-Gaussian variation starts, plus IoT low VDD issues
Raik on it's only OneSpin vs. Jasper in formal; not SNPS nor MENT
Join
Index
Next->Item
|
|
