@book{192512,
	author = {Palnitkar, Samir.},
	title = {Design verification with e.},
	publisher = {Pearson Education},
	year = {2012},
	address = {New Delhi},
	edition = {1}
}