@book{46494,
	author = {Spear, Chris},
	title = {Systemverilog for verification :},
	publisher = {Springer,},
	year = {2008},
	address = {New York :},
	edition = {2nd ed.}
}