00780nam a22002057a 4500003000400000005001700004008004100021020001800062028000800080082001600088100001800104245010600122260004200228300003900270655005500309655006500364655004200429655008700471655001600558SNU20140622095050.0140622b        xxu||||| |||| 00| 0 eng d  a9780387270364  aHCL  a621.392 SPE  aSpear, Chris.  aSystemVerilog for verificationb : a guide to learning the testbench language featuresc/ Chris Spear  a New York, NY b: Springer, c©2006.  a xxxiv, 301 p. b: ill. c; 25 cm.  a Verilog (Computer hardware description language)   aVerilog (Langage de description de matériel informatique)   aIntegrated circuits -- Verification.   aSystemVerilog for verification a guide to learning the testbench language features  aChris Spear