Algorithmic and knowledge based CAD for VLSI - Taylor, Gaynor E., 1950-; Russell, G. (Gordon) (Peter Peregrinus/Institution of Electrical Engineers, 1992)