A tabu search method for high level synthesis