EDA for IC System Design, Verification, and Testing - Scheffer, Lou ((Electronic Design Automation for Integrated Circuits Handbook))