Books in “Electronic Design Automation for Integrated Circuits Hdbk”