@book{140669,
	author = {Pradhan, Dhiraj K.},
	title = {Practical design verification /},
	publisher = {Cambridge University Press,},
	year = {2009.},
	address = {Cambridge :}
}