Vijayaraghavan,Srikanth Practical guide for system verilog assertions - New York Springer 2009 - 334 ISBN: 9788184893397 Subjects--Topical Terms: Computer Science Dewey Class. No.: 621.39 VIJ