@book{79561,
	author = {MISHRA},
	title = {FUNCTIONAL VERIFICATION OF PROGRAMMABLE EMBEDDED ARCHITECTURES A TOP-DOWN APPROACH },
	publisher = {SPRINGER}
}