"Advances in CAD for VLSI", IEEE Design & Test of Computers vol. 3 no. , p. c2, , 1986