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

Hardware Verification with C++ A Practitioner s Handbook

MIKE MINTZ
ROBERT EKENDAHL
Springer

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

ISBN 9780387255439

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...

UNLIMITED FREE
ACCESS
TO THE WORLD'S BEST IDEAS

SUBMIT
Already a GlobalSpec user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your GlobalSpec Experience

Category: Hand Dryers
Finish!
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.