TY - BOOK AU - SPEAR ,CHRIS TI - SYSTEM VERILOG FOR VERIFICATION PY - 2012/// CY - NEW DELHI PB - SPRINGER KW - FACULTY OF ENGINEERING ER -