TY - BOOK AU - Vijayaraghavan,Srikanth AU - Ramanathan,Meyyappan/ TI - Practical guide for system verilog assertions SN - 9788184893397 U1 - 621.39 VIJ PY - 2009/// CY - New York PB - Springer KW - Computer Science ER -