EDA for IC system design, verification, and testing by Luciano Lavagno | Menrva Books | MenrvaBooks