@book{72131,
	author = {PRABHAT MISHRA AND NIKIL D DUTT and NO},
	title = {FUNCTIONAL VERIFICATION OF PROGRAMMABLE EMBEDDED ARCHITECTURE : A TOP DOWN APPROACH},
	publisher = {SPRINGER},
	year = {2008},
	edition = {1}
}