Title: Eda for IC System Design, Verification, and Testing. Electronic Design Automation for Integrated Circuits Handbook