UTMC's LSI CAD system - highland. - K. Anderson; R. Powell (DAC, 1984)