Logic and architecture synthesis : state-of-the-art and novel approaches : IFIP Workshop on Logic and Architecture Synthesis, 1994 / edited by Gabrièle Saucier and Anne Mignotte