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