Luciano Lavagno Nanette Collins DAC 97 Panel: Next-Generation HDLs. 7-8 1997 14 IEEE Design & Test of Computers 3 db/journals/dt/dt14.html#LavagnoC97