TY - BOOK AU - Vijayaraghavan, Srikanth AU - Ramanathan, Meyyappan TI - A practical guide for system verilog assertions SN - 9788184893397 U1 - 621.392 VIJ PY - 2005/// CY - New Delhi PB - Springer (india) Private Limited KW - System Verilog ER -