SystemVerilog for Verification, Second Edition provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic designs. The author explains methodology concepts for constructing testbenches that are modular and reusable. The book includes extensive coverage of the SystemVerilog 3.1a constructs such as classes, program blocks, randomization, assertions, and functional coverage. It also reviews SystemVerilog 3.0 topics such as interfaces and data types. This second edition contains a new chapter that covers programs and interfaces as well as chapters with updated information on directed testbench and OOP, layered, and random testbench for an ATM switch. This edition also includes a new chapter that covers “Interfacing to C” and many new and improved examples and explanations. For hardware engineers, the book has several chapters with detailed explanations of Object Oriented Programming based on years of teaching OOP to hundreds of students. For software engineers, there is a wealth of information on testbenches, multithreaded code, and interfacing to hardware designs. The reader only needs to know the Verilog 1995 standard. "The complete book that covers verification concepts and use of system verilog in Verification, taking your from an easy start to advanced concepts with ease. Paul D. Franzon, Alumni Distinguished Professor of ECE, North Carolina State University"
Oh my why did we leave the verilog in system verilog? Good grief, if engineers cannot be bothered to learn a better language for verification, we should just give up and go back to just using verilog for everything. Oh, yeah, that is really what we have done.
Fabulous book that I think every serious user of systemverilog should read. There are some controversial things taught (the use of program statements, for example) but on the whole this is an excellent description and reference for the language.