Algorithmic and knowledge based CAD for VLSI - Taylor, Gaynor; Russel, Gordon (IEE circuts and systems series, 1992)