@book{22657,
	author = {Lam, William K.},
	title = {Hardware design verification :},
	publisher = {Prentice Hall,},
	year = {2005},
	address = {Upper Saddle River, NJ :}
}