@book{93176,
	author = {Mehta, Ashok B.,},
	title = {System Verilog assertions and functional coverage :},
	publisher = {Springer,},
	year = {2020},
	address = {Cham :},
	edition = {Third edition},
	note = {Includes index},
	url = {https://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-24737-9}
}