Covers the SystemVerilog verification constructs such as classes, program blocks, C interface, randomization, and functional coverage. This book reviews some design topics such as interfaces and array types. It is based on Synopsys courses, seminars, and tutorials that the author developed for SystemVerilog, Vera, RVM, and OOP.
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.