@book{14879,
	author = {Bergeron, Janick...[et al]},
	title = {Verification methodology manual for SystemVerilog},
	publisher = {: Springer, },
	year = {©2006.},
	address = {New York }
}