Writing Testbenches: Functional Verification of Hdl Models

ISBN-13: 9781475783445 / Angielski / Miękka / 2013 / 354 str.

Janick Bergeron

Opis

CHAPTER 6 Architecting Testbenches 221 Reusable Verification Components 221 Procedural Interface 225 Development Process 226 Verilog Implementation 227 Packaging Bus-Functional Models 228 Utility Packages 231 VHDL Implementation 237 Packaging Bus-Functional Procedures 238 240 Creating a Test Harness 243 Abstracting the Client/Server Protocol Managing Control Signals 246 Multiple Server Instances 247 Utility Packages 249 Autonomous Generation and Monitoring 250 Autonomous Stimulus 250 Random Stimulus 253 Injecting Errors 255 Autonomous Monitoring 255 258 Autonomous Error Detection Input and Output Paths 258 Programmable Testbenches 259 Configuration Files 260 Concurrent Simulations 261 Compile-Time Configuration 262 Verifying Configurable Designs 263 Configurable Testbenches 265 Top Level Generics and Parameters 266 Summary 268 CHAPTER 7 Simulation Management 269 Behavioral Models 269 Behavioral versus Synthesizable Models 270 Example of Behavioral Modeling 271 Characteristics of a Behavioral Model 273 x Writing Testbenches: Functional Verification of HDL Models Modeling Reset 276 Writing Good Behavioral Models 281 Behavioral Models Are Faster 285 The Cost of Behavioral Models 286 The Benefits of Behavioral Models 286 Demonstrating Equivalence 289 Pass or Fail? 289 Managing Simulations 292 294 Configuration Management Verilog Configuration Management 295 VHDL Configuration Management 301 SDF Back-Annotation 305 Output File Management 309 Regression 312 Running Regressions 313 Regression Management 314 Summary 316 APPENDIX A Coding Guidelines 317 Directory Structure 318 VHDL Specific 320 Verilog Specific 320 General Coding Guidelines 321 Comments 321 Layout 323 Syntax 326 Debugging 329 Naming Guidelines 329 Capitalization 330 Identifiers 332 Constants 334 334 HDL Specific Filenames 336 HDL Coding Guidelines 336 337 Structure 337 Layout

Recenzje

"The bible for techniques in writing effective, readable and reusable Verilog and VHDL testbenches within a best-in-class verification process."
Ben Cohen - VHDLCohen Training

Spis treści

Foreword. Preface: Why This Book is Important. What This Book is About. What Prior Knowledge You Should Have. Reading Paths. VHDL vs Verilog. For More Information. 1: What is Verification? What is a Testbench. The Importance of Verification. Reconvergeance Model. The Human Factor. What Is Being Verified? Functional Verification Approaches. Testing vs. Verification. Verification and Design Reuse. The Cost of Verification. 2: Verification Tools. Linting Tools. Simulators. Third-Party Models. Waveform Viewers. Code Coverage. Verification Languages. Revision Control. Issue Tracking. Metrics. 3: The Verification Plan. The Role of the Verification Plan. Levels of Verification. Verification Strategies. From Specification to Features. From Features to Testcases. From Testcases to Testbenches. 4: Behavioral Hardware Description Languages. Behavioral vs. RTL Thinking. You Gotta Have Style! Structure of Behavioral Code. Data Abstractions. The HDL Parallel Engine. Verilog Portability Issues. 5: Stimulus and Response. Simple Stimulus. Verifying the Output. Self-Checking Testbenches. Complex Stimulus. Complex Response. Predicting the Output. 6: Architecting Testbenches. Reusable Verification Components. Verilog Implementation. VHDL Implementation. Autonomous Generation and Monitoring. Input and Output Paths. Verifying Configurable Designs. 7: Simulation Management. Behavioral Models. Pass or Fail? Managing Simulations. Regression. Appendix A: Coding Guidelines. Directory Structure. General Coding Guidelines. Naming Guidelines. HDL Coding Guidelines. Afterwords. Index.