System Verilog Assertions and Functional Coverage

Digital System Design With FPGA: Implementation Using Verilog and Vhdl

Hardware Description Language Demystified: Explore Digital System Design Using Verilog HDL and...

The Hernia Check: Bare Hearsay and Foundationless Assertions

Programmer Guide to FPGA and Verilog