CURRENTLY SOLD OUT

SystemVerilog Assertions Handbook : For Formal and Dynamic Verification by Srinivasan Venkataramanan, Ben Cohen and Ajeetha Kumari (2004, Perfect)