@book{189480,
	author = {Mishra, Prabhat; Dutt, Nikil D.},
	title = {Functional verification of programmable embedded architectures: a top down approach.},
	publisher = {Springer},
	year = {2008},
	address = {New Delhi},
	edition = {1}
}