@book{70464,
	author = {SPEAR, CHRIS},
	title = {SYSTEM VERILOG FOR VERIFICATION },
	publisher = {SPRINGER},
	year = {2010},
	edition = {2 ed.}
}