Library of Congress Cataloging-in-Publication Data
Palnitkar, Samir.
Design verification with e / Samir Palnitkar.
p. cm.
Includes bibliographical references and index.
ISBN 0-13-141309-0 (alk. paper)
1. Computer hardware description languages. 2. Integrated circuits--Verification.
3. Integrated circuits--Design & construction. I. Title.
TK7885.7.P33 2003
621.39'2--dc22
2003058089
Editorial/Production Supervision: Wil Mara
Cover Design Director: Jerry Votta
Cover Design: Anthony Gemmellaro
Art Director: Gail Cocker-Bogusz
Manufacturing Buyer: Maura Zaldivar
Publisher: Bernard M. Goodwin
Editorial Assistant: Michelle Vincenti
Marketing Manager: Dan DePasquale
© 2004 Pearson Education, Inc.
Publishing as Prentice Hall Professional Technical Reference
Upper Saddle River, New Jersey 07458
Prentice Hall PTR offers excellent discounts on this book when ordered in quantity for bulk purchases or special sales. For more information, please contact: U.S. Corporate and Government Sales, 1-800-382-3419, corpsales@pearsontechgroup.com. For sales outside of the U.S., please contact: International Sales, 1-317-581-3793, international@pearsontechgroup.com.
Company and product names mentioned herein are the trademarks or registered trademarks of their respective owners.
All rights reserved. No part of this book may be reproduced, in any form or by any means, without permission in writing from the publisher.
Printed in the United States of America
First Printing
Pearson Education Ltd.
Pearson Education Australia Pty., Limited
Pearson Education Singapore, Pte. Ltd.
Pearson Education North Asia Ltd.
Pearson Education Canada, Ltd.
Pearson Educación de Mexico, S.A. de C.V.
Pearson Education—Japan
Pearson Education Malaysia, Pte. Ltd.
This book is dedicated to my family, who provided constant support and encouragement throughout its development.