IEE Colloquium on Algorithmic and Knowledge Based CAD for VLSI (IET,)