EURO-DAC '94 with Euro-VHDL '94 proceedings ; September 19 - 23, 1994, Grenoble, France (IEEE Computer Soc. Press, 1994)