@book{21241,
	author = {Palnitkar, Samir},
	title = {Design Verification},
	publisher = {Pearson Education Publisher},
	address = {New Delhi},
	url = {https://libgen.is/book/index.php?md5=3E49A541CB6FD4DFC175A28F36D6FA84}
}