00943nam a2200241 a 4500 vtls000019877 KUKTEM 20251117144317.0 070524t2006 nyua f 000 0 eng d 0387255435 201109131117 ida 201107131916 VLOAD 200908141321 VLOAD 200908141252 VLOAD 200705241255 kam UMP TK7874.58 .M56 2006 Mintz, Mike Hardware verification with C++ : a practitioner's handbook / Mike Mintz, Robert Ekendahl Hardware verification with C++ [computer file] : a practitioner's handbook New York : Springer, 2006 341 p. : ill. ; 27 cm. + 1 computer disc Integrated circuits Verification C++ (Computer program language) Ekendahl, Robert 0 0 lcc 0 0 20000 20000 2019-09-04 284.87 0 TK7874.58 .M56 2006 0000023176 2019-09-04 00:00:00 1 284.87 2019-09-04 OPEN 0 0 0 0 20000 20000 2019-09-04 0 CD 2186 | TK7874.58 .M56 2006 0000023177 2019-09-04 00:00:00 1 2019-09-04 ACCOM VIRTUA40 33683 33689 VTLSSORT0080*0200*0400*0900*1000*2450*2460*2600*3000*6500*6501*7000*9991