Text this: Síntesis de circuitos digitales: un enfoque algorítmico