Describir: Síntesis de circuitos digitales :