Information about formal Verificaton methodologies and tools

Status
Not open for further replies.
A

airace

Member level 4
Joined
Sep 17, 2002
Messages
69
Helped
3
Reputation
6
Reaction score
3
Trophy points
1,288
Location
Deep in a chip
Activity points
508
formal verificaton:req

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

rgds,
 

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

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
 

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
 

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…