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.392 SPE/TUM