TY - BOOK AU - Mintz,Mike AU - Ekendahl,Robert ED - SpringerLink (Online service) TI - Hardware verification with SystemVerilog: an object-oriented framework SN - 9780387717401 (electronic bk.) U1 - 621.392 22 PY - 2007/// CY - Boston, MA PB - Springer Science+Business Media, LLC KW - Verilog (Computer hardware description language) KW - Integrated circuits KW - Verification KW - Object-oriented programming (Computer science) N1 - Includes bibliographical references and index UR - http://dx.doi.org/10.1007/978-0-387-71740-1 ER -