ASIC/SoC Functional Design Verification - 9783319594170

ASIC/SoC Functional Design Verification - 9783319866208

Heterogeneous SoC Design and Verification: HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging (Synthesis Lectures on Digital Circuits & Systems)

System Verilog Assertions and Functional Coverage - 9783030247393

System Verilog Assertions and Functional Coverage - 9783030247362