( ESNUG 351 Item 8 ) ---------------------------------------------- [5/4/00]
From: John Cooley
Subject: Formality, Chrysalis, Verisity, and Cadence's Model Checking Tools
A few weeks ago, one of my readers forwarded me this anonymous post from
the Yahoo CDN stock chat board:
"Formality sales of about $10M doesn't point to a market leader, it
seems like a tool bundled into a larger deal for a very low price, which
Synopsys can afford to do to build a market presence. As you probably
know, formal verification is divided into two areas, model checking and
comparison checking. Verplex is the runaway leader in comparison
checking, and Chrysalis/Avanti still owns model checking. Another area
is test bench verification where Synopsys has no presence and Verisity
is the leader here. There is also a new company on the horizon that will
challenge Verisity. So Formality's survival is in question, and this
area is hot and growing."
Why I'm reprinting this is that passing claim that "Chrysalis/Avanti still
owns model checking" -- is this true? What are the customer experiences
with their model checking tools? Why I ask this was while at HDLcon'00, I
ran into a Cadence marketing guy who said Cadence was doing very well in
the model checking business. I would love to see a detailed customer review
of the Cadence model checking tools just to see if this Cadence marketdroid
was on-the-money or blowing smoke. Inquiring minds want to know!
- John Cooley
the ESNUG guy
|
|
