Information about formal Verificaton methodologies and tools

[airace]

formal verificaton:req

Someone,
pls post some links,docs,e-book on formal Verification methodologies tools etc.

rgds,

 

[edaguy69]

This is a very good start
**broken link removed**

 

[edaguy69]

According to DataQuest the market share of 2001 is :
Formality (Synopsys): 44%
Verplex ( Verplex Systems) 33%
Design Verifyer (Avant!) 13%
Other 10%


So it's good to focus on Synopsys tool.
I don't know if I am allow to post manual or tutorial of Formality here

 

[radix]

airace,

A couple of decent web sites for verification are:

www.qualis.com
www.janick.bergeron.com (verification guild)

Both have mailing lists that discuss relevant, current, verification issues.

Radix