https://9dok.net/document/yd7xlpxj-advances-ilp-based-modulo-scheduling-high-level-synthesis.html