IFIP Workshop on Logic and Architecture Synthesis December 6 - 7 - 8, 1993, Institut National Polytechnique de Grenoble, France (1993)