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.

Register Log in

Verification with C++ & Assertion based Verification

Status
Not open for further replies.
V

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
 

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.

Similar threads

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top