Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronic 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.

Register Log in

Formal Verification from Mentor

Status
Not open for further replies.

ljkong

Full Member level 2
Joined
Jul 18, 2002
Messages
123
Helped
1
Reputation
2
Reaction score
0
Trophy points
1,296
Location
P.R.C
Activity points
763
The Effects of Hierarchy on
Debug time in Formal Verification
Tools with and without
Decompositional Verification
 

outlook3000

Junior Member level 1
Joined
Feb 22, 2002
Messages
17
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
56
how does this tools compare with formality?
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top