@book{16174,
	author = {Lavagno, Luciano,},
	title = {Electronic design automation for integrated circuits handbook /},
	publisher = {CRC Press,},
	year = {2016},
	address = {Boca Raton, FL :},
	edition = {2nd ed.},
	note = {Revised edition of: EDA for IC system design, verification, and testing. 2006}
}