Hardware Verification with C++: A Practitioner's Handbook

Cover art from the original painting Every other now and then by John E. Bannon, johnebannon.com
Mike Mintz
Robert Ekendahl
Library of Congress Control Number: 2006928441
ISBN 0-387-25543-5
e-ISBN 0-387-36254-1
2006 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
springer.com
Dedication
For Joan, Alan, and Brian.
Thanks for your patience.
Mike
For Chantal.
Thanks for your understanding, love,
and active support.
And to Newton.
For many missed walks.
Robert
Acknowledgments
It takes a village to raise a child, and it takes a village to create a book. There is a core family, and a few relatives, and a whole lot of helpful neighbors. The authors would like to bow humbly to...