Algoritmos para la determinación y asignación de recursos en síntesis de alto nivel