SPEAR CHRIS SYSTEM VERILOG FOR VERIFICATION: A GUIDE TO LEARNING THE TEST BENCH LANGUAGE FEATURES - 3 ed. - SPRINGER 2012 - XLIII, 464 ISBN: 9781489995001 Dewey Class. No.: 621.39/5 SPE/RUM