( ESNUG 290 Item 10 ) ---------------------------------------------- [5/19/98]
Subject: (ESNUG 285 #6 286 #4) What About Bell Labs' "FormalCheck" Tool?
> I have used both Chrysalis and Formality to do RTL to gate comparisons
> on a 850k gate chip. Both tools had their successes and their
> failures but I think that Chrysalis has a more mature tool without
> going into technical details about algorithms. The Chrysalis tool
> was available on the market long before Formality and I did pretty
> much all work with Chrysalis.
>
> - Anders Nordstrom
> Nortel Ottawa, Ontario
John,
Is it too late to add FormalCheck, a formal verification tool from Bell
Labs, (http://www.bell-labs.com/org/blda/product_formal.html) to the
conversation? Anyone actually using this tool? Any success/horror stories?
A one-liner in a recent ISD said that SGI/Cray bought $1.5M worth of this
tool...
- [Name and Address withheld please]
|
|
