Algorithms for vlsi design automation - Gerez, Sabih H. (New delhi Wiley, 2013)