Síntesis de circuitos digitales : - Deschamps, Jean-Pierre