Invia SMS: Síntesis de circuitos digitales: un enfoque algorítmico