Normal view
MARC view
Checking the checker (Topical Term)
Machine generated authority record.
Work cat.: (OSt)190229: Vijayaraghavan, Srikanth. 47786, Practical guide for system verilog assertions /, 2009.