The author and publisher have taken care in the preparation of this book, but make no expressed or implied warranty of any kind and assume no responsibility for errors or omissions. No liability is assumed for incidental or consequential damages in connection with or arising out of the use of the information or programs contained herein.
The publisher offers excellent discounts on this book when ordered in quantity for bulk purchases or special sales, which may include electronic versions and/or custom covers and content particular to your business, training goals, marketing focus, and branding interests. For more information, please contact:
U. S. Corporate and Government Sales (800) 382-3419 [email protected]
For sales outside the U. S., please contact:
International Sales [email protected]
Visit us on the Web: www.phptr.com
Library of Congress Cataloging-in-Publication Data
Hardware design verification : simulation and formal method-based approaches / William K. Lam. p. cm. Includes bibliographical references and indexes. ISBN 0-13-143347-4 (hardcover : alk. paper) 1. Integrated circuits—Verification. I. Lam, William K. C. II. Title. TK7874.58 .L36 2005 621.39/2 22 2004026386
Copyright © 2005 Pearson Education, Inc.
All rights reserved. Printed in the United States of America. This publication is protected by copyright, and permission must be obtained from the publisher prior to any prohibited reproduction, storage in a retrieval system, or transmission in any form or by any means, electronic, mechanical, photocopying, recording, or likewise. For information regarding permissions, write to:
Pearson Education, Inc. Rights and Contracts Department One Lake Street Upper Saddle River, NJ 07458
Text printed in the United States on recycled paper at Courier in Westford, Massachusetts.
First printing, February 2005