Algorithms for VLSI design automation - Gerez, Sabih H. (John Wiley, 1999)