Algorithms for Vlsi Design Automation - Gerez, Sabih H. (Wiley India New Delhi, 2011)