Estimation of lower bounds in scheduling algorithms for high-level synthesis