Algorithmic and knowledge based CAD for VLSI - Taylor, Gaynor E.,; Russell, G. (IEE circuits and systems series ;)