Open Verification Methodology Cookbook

  Glasser, Open Verification Methodology Cookbook     Functional verification is an art as much as a science. It requires not only creativity and cunning, but also a clear methodology to approach the problem. The Open Verification Methodolo

  • PDF / 2,912,878 Bytes
  • 248 Pages / 455.03 x 671.85 pts Page_size
  • 67 Downloads / 195 Views

DOWNLOAD

REPORT


1 23

E E Verification Methodology Cookbook Open

Mark Glasser

Open Verification Methodology Cookbook

Mark Glasser Mentor Graphics Corporation 8005 SW. Boeckman Road Wilsonville, OR 97070 USA [email protected]

ISBN 978-1-4419-0967-1 e-ISBN 978-1-4419-0968-8 DOI 10.1007/978-1-4419-0968-8 Springer Dordrecht Heidelberg London New York Library of Congress Control Number: 2009930147

© Mentor Graphics Corporation, 2009 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 known 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. 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. Go to http://www.mentor.com/cookbook for more information about the Open Verification Methodology and to obtain the OVM Cookbook kit of examples. Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)

To Janice

To all verification engineers, the unsung heros of the design world, who toil over their testbenches so systems will work, and who receive satisfaction from a job well done.

Preface When I need to learn a new piece of software I invent a little problem for myself that is within the domain of the application and then set out to solve it using the new tool. When the software package is a word processor, I’ll use it to write a paper or article I’m working on; when the software is a drawing tool, I’ll use it to draw some block diagrams of my latest creation. In the course of solving the problem, I learn how to use the tool and gain a practical perspective on which features of the tool are useful and which are not. When the new software is a programming environment or a new programming language, the problem is a little different. I can’t just apply the new language or environment to an existing problem. Unless I’m already familiar with the language, I don’t want to commit to using it in a new development project. On the other hand, I may have an inkling that it would be best to use the new language. Otherwise, why would I be interested in it in the first place? I need a small program to help me understand the fundamental features and get a feel for how the language works. The program must be smal