title: Principles of Functional Verification
author:  Andreas Meyer 
description: A step-by-step guide to electronic design verification
zlib_text: ![](Images/image00116.jpeg)
  
  Principles of
  
  Functional Verification
  
  Principles of
  
  Functional Verification
  
  by Andreas Meyer
  
  AMSTERDAM BOSTON HEIDELBERG LONDON
  
  NEW YORK OXFORD PARIS SAN DIEGO
  
  SAN FRANCISCO SINGAPORE SYDNEY TOKYO
  
  ![](Images/image00120.jpeg)
  
  Newnes is an imprint of Elsevier Science.
  
  Copyright _ß_ 2003, Elsevier Science (USA). All rights reserved.
  
  No part of this publication may be reproduced, stored in a retrieval system,
  or transmitted in any form or by any means, electronic, mechanical,
  photocopying, recording, or otherwise, without the prior written permission of
  the publisher.
  
  Recognizing the importance of preserving what has been written, Elsevier
  Science prints its books on acid-free paper whenever possible.
  
  Library of Congress Cataloging-in-Publication Data Meyer, Andreas.
  
  Principles of functional verification / Andreas Meyer.
  
  p. cm.
  
  ISBN 0-7506-7617-5
  
  1\. Integrated circuits–Verification. I. Title.
  
  TK7885.7.M49 2003
  
  621.3815048–dc21
  
  2003056421
  
  B