Srinivasan Venkataramanan

• SystemVerilog Assertions Handbook