@book{26335,
	author = {MUNDEN and NO},
	title = {ASIC AND FPGA VERIFICATION : A GUIDE TO COMPONENT MODELING},
	publisher = {MORGAN KAUFMANN},
	year = {2008},
	edition = {1}
}