NETHDL: abstraction of schematics to high-level HDL. - Daniel Fischer; Yossi Levhari; Gadi Singer (EURO-DAC, 1990)