@book{18851,
	author = {Munden, Richard},
	title = {ASIC and FPGA verification :},
	publisher = {Morgan Kaufmann,},
	year = {2005},
	address = {San Francisco, CA:},
	note = {Includes index}
}