TY - BOOK AU - SRIKANTH VIJAYARAGHAVAN; MEYYAPPAN RAMANATHAN TI - A PRACTICAL GUIDE FOR SYSTEM VERILOG ASSERTIONS SN - 9788184893397 U1 - 621.392 VIJ PB - SPRINGER KW - ELECTRONICS ER -