"SystemVerilog for Verification" provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic designs. The authors explain methodology concepts for constructing testbenches that are modular and reusable. This 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. For hardware engineers, this 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.
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.