SystemVerilog assertions and functional coverage guide to language, methodology and applications - Mehta, Ashok B.; SpringerLink (Online service). (Cham Springer, 2016)
Electronic reproduction.
Keywords: Verilog (Computer hardware description language); Electronic digital computers -- Design and construction; Integrated circuits -- Verification; Electronic books