@book{38278,
	author = {SRIKANTH VIJAYARAGHAVAN AND MEYYAPPAN RAMANATHAN and NO},
	title = {PRACTICAL GUIDE FOR  SYSTEM VERILOG ASSERTIONS},
	publisher = {SPRINGER},
	year = {2009},
	edition = {1}
}