@book{15002,
	author = {Reese, Robert and Thornton, Mitchell A.},
	title = {Introduction to logic synthesis using verilog HDL /},
	publisher = {Springer,},
	year = {2022.},
	address = {Morgan :}
}