PakCat catalogue record A practical guide for system verilog assertions (+CD) By "Vijayaraghavan, Srikanth" Bibliographic details Publication year2005 Material typeBook