Un enfoque de síntesis de alto nivel para sistemas embebidos energéticamente eficientes y sincronizados con precisión