Algorithmic and Knowledge Based CAD for Vlsi, I E E CIRCUITS, DEVICES AND SYSTEMS SERIES