Buku yang Dikarang by Ashok B. Mehta

System Verilog Assertions and Functional Coverage

Introduction to SystemVerilog