@book{57926,
	author = {Mishra, Prabhat and Dutt, Nikil},
	title = {Functional verification of programmable embedded architectures :},
	publisher = {Springer,},
	year = {2005},
	address = {New York :}
}