Hardware Verification with System Verilog (eBook)

An Object-Oriented Framework

Robert Ekendahl, Mike Mintz (Autoren)

eBook Download: PDF

2007 | 2007
XXII, 314 Seiten
Springer US (Verlag)
978-0-387-71740-1 (ISBN)

Infos

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its focus on managing complexity, is ideally suited to this task.

With this handbook-the first to focus on applying OOP to SystemVerilog-we'll show how to manage complexity by using layers of abstraction and base classes. By adapting these techniques, you will write more 'reasonable' code, and build efficient and reusable verification components.

Both a learning tool and a reference, this handbook contains hundreds of real-world code snippets and three professional verification-system examples. You can copy and paste from these examples, which are all based on an open-source, vendor-neutral framework (with code freely available at www.trusster.com).

Learn about OOP techniques such as these:

• Creating classes-code interfaces, factory functions, reuse
• Connecting classes-pointers, inheritance, channels
• Using 'correct by construction'-strong typing, base classes
• Packaging it up-singletons, static methods, packages

---

This is the second of our books designed to help the professional verifier manage complexity. This time, we have responded to a growing interest not only in object-oriented programming but also in SystemVerilog. The writing of this second handbook has been just another step in an ongoing masochistic endeavor to make your professional lives as painfree as possible. The authors are not special people. We have worked in several companies, large and small, made mistakes, and generally muddled through our work. There are many people in the industry who are smarter than we are, and many coworkers who are more experienced. However, we have a strong desire to help. We have been in the lab when we bring up the chips fresh from the fab, with customers and sales breathing down our necks. We've been through software 1 bring-up and worked on drivers that had to work around bugs in production chips. What we feel makes us unique is our combined broad experience from both the software and hardware worlds. Mike has over 20 years of experience from the software world that he applies in this book to hardware verification. Robert has over 12 years of experience with hardware verification, with a focus on environments and methodology.

Inhalt

Contents 6
Introduction 20
Part I: SystemVerilog and Verification ( The Why and How) 26
Why SystemVerilog? 27
OOP and SystemVerilog 40
A Layered Approach 64
Part II: An Open- Source Environment with SystemVerilog 86
Teal Basics 88
Truss Flow 130
Truss Example 152
Part III: Using OOP for Verification ( Best Practices) 165
Thinking OOP 167
Designing with OOP 186
OOP Classes 202
OOP Connections 218
Coding OOP 236
Part IV: Examples ( Putting It All Together) 260
Block- Level Testing 261
Chip- Level Testing 293
Things to Remember 307
Index 312

Produkt-Details

• Erscheint lt. Verlag: 3.5.2007
• Zusatzinfo: XXII, 314 p.
• Verlagsort: New York
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Themenwelt: Informatik ► Theorie / Studium ► Compilerbau
• Themenwelt: Informatik ► Weitere Themen ► CAD-Programme
• Themenwelt: Informatik ► Weitere Themen ► Hardware
• Themenwelt: Technik ► Elektrotechnik / Energietechnik
• Schlagworte: Complexity • Computer-Aided Design (CAD) • Construction • C++ programming language • Factor • Hardware • hardware verification • Interface • Layers • Open-Source • programming • SystemVerilog • Testing • verification • Verilog
• ISBN-10: 0-387-71740-4 / 0387717404
• ISBN-13: 978-0-387-71740-1 / 9780387717401