Oct 9, 2008 #1 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
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
Oct 22, 2008 #2 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.
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.
Oct 22, 2008 #3 L ljxpjpjljx Advanced Member level 3 Joined May 5, 2008 Messages 968 Helped 80 Reputation 162 Reaction score 56 Trophy points 1,308 Location Shang Hai Activity points 4,679 system c and system verilog is both useful for verification!