TY - BOOK AU - Mintz,Mike AU - Ekendahl,Robert TI - Hardware verification with SystemVerilog: an object-oriented framework SN - 9780387717388 (hbk. : alk. paper) PY - 2007/// CY - New York, NY PB - Springer 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://www.loc.gov/catdir/enhancements/fy0826/2007923923-t.html ER -