@book{28990,
	author = {Bergeron, Janick.},
	title = {Verification methodology manual for System Verilog  /},
	publisher = {Springer ,},
	year = {c2005},
	address = {New York :}
}