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.

Verification with C++ & Assertion based Verification

Status
Not open for further replies.

vlsi_whiz

Full Member level 4
Joined
Nov 12, 2005
Messages
216
Helped
49
Reputation
98
Reaction score
24
Trophy points
1,298
Location
Penang
Activity points
3,139
assertion based verification

Hi,

Could anyone help me out with Verification using C++ and ABV (Assertion based Verification). I need info..materials..or book names...urgently needed for a new project.

Thanks
 

maxsnail

Member level 5
Joined
Sep 29, 2004
Messages
85
Helped
6
Reputation
28
Reaction score
1
Trophy points
1,288
Activity points
584
there is a book hardware verification with C++,
and also you can use mentor's AVM it have systemC library.

assertion, do you really use it?
I think it doest useful.
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top