Electronic Design Automation for Integrated Circuits Handbook, Two Volume Set, Third Edition