SPEAR, CHRIS SYSTEM VERILOG FOR VERIFICATION - 2 ed. - SPRINGER 2010 - VIII, 429 ISBN: 9788184895315 Dewey Class. No.: 621.392 SPE