Computer-Aided-Design Research at the GE Microelectronics Center. - David Hightower; Aart J. de Geus; Patrick Fasang; Robert Griffin; Gary Leive (IEEE Des. Test, 1986)