Table Of Content

HARDWARE VERIFICATION WITH C++ A Practitioner’s Handbook HARDWARE VERIFICATION WITH C++ A Practitioner’s Handbook MIKE MINTZ ROBERT EKENDAHL 1 3 Cover art from the original painting “Every other now and then” by John E. Bannon, johnebannon.com Mike Mintz Robert Ekendahl Hardware Verification with C++: A Practitioner’s Handbook Library of Congress Control Number: 2006928441 ISBN 0-387-25543-5 e-ISBN 0-387-36254-1 ISBN 9780387255439 Printed on acid-free paper. (cid:164) 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. Printed in the United States of America. 9 8 7 6 5 4 3 2 1 springer.com 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 Contents Preface. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xix Acknowledgments. . . . . . . . . . . . . . . . . . . . . . . . . xxi Chapter 1: Introduction . . . . . . . . . . . . . . . . . .1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 What is Functional Verification?. . . . . . . . . . . . . . . . . 4 Why Focus on C++? . . . . . . . . . . . . . . . . . . . . . . . . . 4 A Tour of the Handbook. . . . . . . . . . . . . . . . . . . . . . 5 For Further Reading . . . . . . . . . . . . . . . . . . . . . . . . 6 Part I: C++ and Verification (The Why and How). . . . . . . . . . . . . . . . . . . .7 Chapter 2: Why C++? . . . . . . . . . . . . . . . . . . . . .9 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 C++: A Good Verification Language. . . . . . . . . . . . . . 11 A Look at Hardware-Verification Languages. . . . . . . . 13 Randomization. . . . . . . . . . . . . . . . . . . . . . . . . . 13 Coverage. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 Object-oriented support . . . . . . . . . . . . . . . . . . . 14 Main Benefits of Using C++ . . . . . . . . . . . . . . . . . . . 15 Hardware Verification with C++: A Practitioner’s Handbook (cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3) Contents Other Benefits of Using C++ . . . . . . . . . . . . . . . . . . 16 Drawbacks of Using C++ . . . . . . . . . . . . . . . . . . . . . 17 For Further Reading . . . . . . . . . . . . . . . . . . . . . . . 17 Chapter 3: OOP, C++, and Verification . . . .19 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 The Evolution of OOP and C++. . . . . . . . . . . . . . . . . 21 Assembly programming: The early days. . . . . . . . . . 21 Procedural languages: The next big step. . . . . . . . . 21 OOP: Inheritance for functionality. . . . . . . . . . . . . 22 OOP: Inheritance for interface . . . . . . . . . . . . . . . 24 OOP: Templates. . . . . . . . . . . . . . . . . . . . . . . . . 24 C++: The standard template library . . . . . . . . . . . . 25 The Evolution of Functional Verification . . . . . . . . . . 25 Verification through inspection . . . . . . . . . . . . . . . 25 Verification through randomness. . . . . . . . . . . . . . 26 The emergence of hardware verification languages . . . . . . . . . . . . . . 27 OOP: A current trend in hardware verification languages . . . . . . . . . . . . . . 27 OOP: Problems with the current approach. . . . . . . . 28 OOP: A possible next step . . . . . . . . . . . . . . . . . . 28 OOP Using C++ . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 Data abstraction through classes . . . . . . . . . . . . . . 29 A DMA descriptor example . . . . . . . . . . . . . . . . . 29 Access control . . . . . . . . . . . . . . . . . . . . . . . . . 31 Constructors and destructors . . . . . . . . . . . . . . . 32 Member methods and variables. . . . . . . . . . . . . . 33 Operator overloading . . . . . . . . . . . . . . . . . . . . 34 Inheritance for functionality. . . . . . . . . . . . . . . . . 34 Inheritance for interface . . . . . . . . . . . . . . . . . . . 36 Templating . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 A word about user-defined templates. . . . . . . . . . 39 Namespaces. . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 viii (cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122) Hardware Verification with C++ Summary. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 For Further Reading . . . . . . . . . . . . . . . . . . . . . . . 41 Chapter 4: A Layered Approach . . . . . . . . . . .43 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 A Whiteboard Drawing. . . . . . . . . . . . . . . . . . . . . . 46 An “ends-in” approach. . . . . . . . . . . . . . . . . . . . . 47 Refining the whiteboard blocks. . . . . . . . . . . . . . . 47 The “Common-Currency” Components . . . . . . . . . . . 48 The Interface Layer in Detail. . . . . . . . . . . . . . . . . . 49 The wire layer . . . . . . . . . . . . . . . . . . . . . . . . . . 50 The agent layer . . . . . . . . . . . . . . . . . . . . . . . . . 52 The transaction layer . . . . . . . . . . . . . . . . . . . . . 53 The Top-Layer Components . . . . . . . . . . . . . . . . . . 54 What is a Test?. . . . . . . . . . . . . . . . . . . . . . . . . . . 56 The Test Component. . . . . . . . . . . . . . . . . . . . . . . 58 The Test Irritator . . . . . . . . . . . . . . . . . . . . . . . . . 60 A Complete Test. . . . . . . . . . . . . . . . . . . . . . . . . . 61 Summary. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 For Further Reading . . . . . . . . . . . . . . . . . . . . . . . 63 Part II: An Open-Source Environment with C++ . . . . . .65 Chapter 5: Teal Basics . . . . . . . . . . . . . . . . . . .67 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 What Teal provides. . . . . . . . . . . . . . . . . . . . . . . 68 Teal’s similarity to HDLs . . . . . . . . . . . . . . . . . . . 69 A tiny but complete example . . . . . . . . . . . . . . . . 69 Teal’s Main Components. . . . . . . . . . . . . . . . . . . . . 71 Using Teal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 Initialization . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 Your C++ test. . . . . . . . . . . . . . . . . . . . . . . . . . . 74 Registers. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 A Practitioner’s Handbook (cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122) ix Contents Creating registers. . . . . . . . . . . . . . . . . . . . . . . 74 Working with a reg or vreg . . . . . . . . . . . . . . . . . . 75 Logging Output. . . . . . . . . . . . . . . . . . . . . . . . . . . 76 Using Test Parameters. . . . . . . . . . . . . . . . . . . . . . 79 Accessing Memory. . . . . . . . . . . . . . . . . . . . . . . . . 81 A memory note example . . . . . . . . . . . . . . . . . . . 82 Constrained Random Numbers. . . . . . . . . . . . . . . . . 84 Required initialization. . . . . . . . . . . . . . . . . . . . . 84 Using random numbers. . . . . . . . . . . . . . . . . . . . . 84 Working with Simulation Events and Concurrency . . . . 86 Summary. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 For Further Reading . . . . . . . . . . . . . . . . . . . . . . . 88 Chapter 6: Truss: A Standard Verification Framework . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .91 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 General Considerations . . . . . . . . . . . . . . . . . . . . . 93 Using a language other than C++ . . . . . . . . . . . . . . 93 Keeping it simple . . . . . . . . . . . . . . . . . . . . . . . . 94 Major Classes and Their Roles . . . . . . . . . . . . . . . . . 95 Key test algorithm: The “dance”. . . . . . . . . . . . . . 96 The verification_component Abstract Base Class. . . . . 99 Detailed Responsibilities of the Major Components. . . . . . . . . . . . . . . . . . . .100 The testbench class. . . . . . . . . . . . . . . . . . . . . . .101 Watchdog timer . . . . . . . . . . . . . . . . . . . . . . . . .102 Test class . . . . . . . . . . . . . . . . . . . . . . . . . . . . .102 Test Component and Irritator Classes . . . . . . . . . . . .106 The test component abstract base class . . . . . . . . .106 An AHB example. . . . . . . . . . . . . . . . . . . . . . . . .108 Test-component housekeeping functionality . . . . . .109 The irritator abstract base class . . . . . . . . . . . . . .110 Using the irritator. . . . . . . . . . . . . . . . . . . . . . .112 Summary. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .113 x (cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122) Hardware Verification with C++ Chapter 7: Truss Flow . . . . . . . . . . . . . . . . . . . .115 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .116 About verification_top.cpp. . . . . . . . . . . . . . . . . . .116 The Test Component Dance . . . . . . . . . . . . . . . . . .119 The Irritator Dance . . . . . . . . . . . . . . . . . . . . . . . .121 Compiling and Running Tests. . . . . . . . . . . . . . . . . .122 Truss run script . . . . . . . . . . . . . . . . . . . . . . . . .123 Switches. . . . . . . . . . . . . . . . . . . . . . . . . . . . .124 The Truss makefile . . . . . . . . . . . . . . . . . . . . . . .125 The First Test: A Directed Test . . . . . . . . . . . . . . . .125 The Second Test: Adding Channels and Random Parameters . . . . . . . . .127 The channel classes. . . . . . . . . . . . . . . . . . . . . . .128 Building the second test. . . . . . . . . . . . . . . . . . . .129 Building the second test’s test_component . . . . . . .132 Adjusting the second test’s parameters . . . . . . . . .134 The Remaining Tests: Mix-and-Match Test Components . . . . . . . . . . . . . . .136 Summary. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .137 Chapter 8: Truss Example . . . . . . . . . . . . . . . .139 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .140 Directory Structure. . . . . . . . . . . . . . . . . . . . . . . .140 Theory of Operation . . . . . . . . . . . . . . . . . . . . . . .142 Running the Simple ALU Example. . . . . . . . . . . . . . .144 Points of Interest . . . . . . . . . . . . . . . . . . . . . . . . .144 Power-on Reset . . . . . . . . . . . . . . . . . . . . . . . . . .145 Driver and Monitor Protocol . . . . . . . . . . . . . . . . . .146 The alu_test_component . . . . . . . . . . . . . . . . . . . .147 Checking the Chip. . . . . . . . . . . . . . . . . . . . . . . . .147 Completing the Test . . . . . . . . . . . . . . . . . . . . . . .149 Summary. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .150 A Practitioner’s Handbook (cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122)(cid:3)(cid:122) xi

ebook img

Hardware Verification with C++: A Practitioner’s Handbook PDF

351 Pages·2006·1.713 MB·English
by  Mike Mintz, Robert Ekendahl (auth.)
#Computers #Programming: Programming Languages
Download
Upgrade Premium
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Download Hardware Verification with C++: A Practitioner’s Handbook PDF Free - Full Version

by Mike Mintz, Robert Ekendahl (auth.)| 2006| 351 pages| 1.713| English

Download Hardware Verification with C++: A Practitioner’s Handbook by Mike Mintz, Robert Ekendahl (auth.) in PDF format completely FREE. No registration required, no payment needed. Get instant access to this valuable resource on PDFdrive.to!

Free Download PDF

About Hardware Verification with C++: A Practitioner’s Handbook

No description available for this book.

Detailed Information

Author:Mike Mintz, Robert Ekendahl (auth.)
Publication Year:2006
Pages:351
Language:English
File Size:1.713
Format:PDF
Price:FREE
Download Free PDF

Safe & Secure Download - No registration required

Why Choose PDFdrive for Your Free Hardware Verification with C++: A Practitioner’s Handbook Download?

  • 100% Free: No hidden fees or subscriptions required for one book every day.
  • No Registration: Immediate access is available without creating accounts for one book every day.
  • Safe and Secure: Clean downloads without malware or viruses
  • Multiple Formats: PDF, MOBI, Mpub,... optimized for all devices
  • Educational Resource: Supporting knowledge sharing and learning

Free Books Similar to Hardware Verification with C++: A Practitioner’s Handbook

Frequently Asked Questions

Is it really free to download Hardware Verification with C++: A Practitioner’s Handbook PDF?

Yes, on https://PDFdrive.to you can download Hardware Verification with C++: A Practitioner’s Handbook by Mike Mintz, Robert Ekendahl (auth.) completely free. We don't require any payment, subscription, or registration to access this PDF file. For 3 books every day.

How can I read Hardware Verification with C++: A Practitioner’s Handbook on my mobile device?

After downloading Hardware Verification with C++: A Practitioner’s Handbook PDF, you can open it with any PDF reader app on your phone or tablet. We recommend using Adobe Acrobat Reader, Apple Books, or Google Play Books for the best reading experience.

Is this the full version of Hardware Verification with C++: A Practitioner’s Handbook?

Yes, this is the complete PDF version of Hardware Verification with C++: A Practitioner’s Handbook by Mike Mintz, Robert Ekendahl (auth.). You will be able to read the entire content as in the printed version without missing any pages.

Is it legal to download Hardware Verification with C++: A Practitioner’s Handbook PDF for free?

https://PDFdrive.to provides links to free educational resources available online. We do not store any files on our servers. Please be aware of copyright laws in your country before downloading.

The materials shared are intended for research, educational, and personal use in accordance with fair use principles.

Upgrade Premium
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
We use cookies

We use cookies to ensure you get the best browsing experience on our website. By clicking "Accept Cookies", you agree that we can store cookies on your device in accordance with our Terms and Privacy.

DMCA & Copyright: Dear all, most of the website is community built, users are uploading hundred of books everyday, which makes really hard for us to identify copyrighted material, please contact us if you want any material removed.
Copyright @ PDFdrive.to, 2022 | We love our users