@book{81985,
	author = {Wile, Bruce. and Goss, John C. and ebrary, Inc.},
	title = {Comprehensive functional verification the complete industry cycle},
	publisher = {Elsevier/Morgan Kaufmann,},
	year = {c2005.},
	address = {Amsterdam ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10127906}
}