SystemVerilog Assertions and Functional Coverage e-bokEngelska, 2016