Mintz, Mike Hardware verification with SystemVerilog : an object-oriented framework / Mike Mintz, Robert Ekendahl - New York, NY : Springer, c2007 - xxii, 314 p. : ill. ; 26 cm. Includes bibliographical references and index ISBN: 9780387717388 (hbk. : alk. paper) 0387717382 (hbk. : alk. paper) 9780387717401 (ebook) 0387717404 (ebook) Subjects--Topical Terms: Verilog (Computer hardware description language)Integrated circuits--VerificationObject-oriented programming (Computer science)