Mintz Hardware verification with C++ : a practitioner's handbook / Mike Mintz, Robert Ekendahl. - New York Springer Science+Business Media 2006. - xviii, 341p. ill. 26cm + 1 CD-ROM (4 3/4in.) Includes index p.(327) - 341 ISBN: 0387255435 Subjects--Topical Terms: Integrated circuits--Verification Dewey Class. No.: 621.3815 MIN 2006