Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Information about formal Verificaton methodologies and tools

Status
Not open for further replies.

airace

Member level 4
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,
 

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

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top