Stav dette: Síntesis de circuitos digitales: un enfoque algorítmico