@book{190229,
	author = {Vijayaraghavan, Srikanth.},
	title = {Practical guide for system verilog assertions /},
	publisher = {Springer ,},
	year = {2009.},
	address = {New Delhi :},
	edition = {1st ed.}
}