Electronic Design Automation for IC System Design, Verification, and Testing - Luciano Lavagno; Igor L. Markov; Grant Martin; Louis K. Scheffer (Taylor and Francis, 2016)