SPEAR CHRIS SYSTEM VERILOG FOR VERIFICATION - 2ND - SPRINGER 2010 - 429 P ISBN: 9780387765297 Subjects--Topical Terms: ELECTRONICS Dewey Class. No.: 621.392 SPE