@book{36461,
	author = {Wile, Bruce and Goss, John C.},
	title = {Comprehensive functional verification :},
	publisher = {Elsevier/Morgan Kaufmann,},
	year = {2005},
	address = {Amsterdam :}
}