Finite State Machines In Hardware (With VHDL and System Verilog)

System Verilog Assertions Handbook for Formal and Dynamic Verification Ben Cohen

Designing Digital Computer Systems With Verilog

FAST SHIP Digital Design With an Introduction to the Verilog HDL, VHDL & System

Digital Design An Embedded Systems Approach Using Verilog

SystemVerilog for Verification : A Guide to Learning the Testbench Language...

SystemVerilog for Verification - 9781489995001

SystemVerilog for Verification, Spear, 9781461407140