文档介绍：Hardware Verification with
SystemVerilog
An Object-Oriented Framework
Mike Mintz
Robert Ekendahl
Hardware Verification with
SystemVerilog
An Object-Oriented Framework
Cover art from the original painting “Dimentia #10” by John E.
Bannon,
Mike Mintz Robert Ekendahl
Harvard, MA Somerville, MA
USA USA
Library of Congress Control Number: 2007923923
ISBN 0-387-71738-2 e-ISBN 0-387-71740-4
ISBN 978-0-387-71738-8 e-ISBN 978-0-387-71740-1
Printed on acid-free paper.
2007 Springer Science+Business Media, LLC
All rights reserved. This work may not be translated or copied in whole or in part without
the written permission of the publisher (Springer Science+Business Media, LLC, 233 Spring
Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or
scholarly analysis. Use in connection with any form of information storage and retrieval,
electronic adaptation, computer software, or by similar or dissimilar methodology now
know or hereafter developed is forbidden. The use in this publication of trade names,
trademarks, service marks and similar terms, even if they are not identified as such, is not to
be taken as an expression of opinion as to whether or not they are subject to proprietary
rights.
9 8 7 6 5 4 3 2 1
For Joan, Alan, and Brian.
Thanks again for your patience.
Mike
For Chantal.
Thanks again for your understanding,
love, and active support.
And to Newton—and now Darwin.
For many more missed walks.
Robert
vi
Hardware Verification with SystemVerilog
Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xix
Acknowledgments . . . . . . . . . . . . . . . . . . . . . . . . . xxi
Chapter 1: I n t r o d u c t i o n . . . . . . . . . . . . . . . . . . 1
Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
What is Functional Verification?. . . . . . . . . . . .