A Practical Guide for SystemVerilog Assertions

SystemVerilog language consists of three categories of features -- Design, Assertions and Testbench. Assertions add a whole new dimension to the ASIC verification process. Engineers are used to writing testbenches in verilog that help verify their...

9780387260495
Böcker > Naturvetenskap & teknik > Teknik > Elektronik & kommunikationsteknik > Elektronik > Kretsar & komponenter