Electronic design automation for integrated circuits handbook - Lavagno, Luciano 1959-; Martin, Grant; Markov, Igor L. 1973-; Scheffer, Louis K. (CRC Press, 2016)