“…High-level synthesis frameworks, SPARK [14], ROCCC [15], DEFACTO [16], HYPER-LP [17], and LegUp [18], perform optimization transformations, such as code motion, loop transformation, dynamic renaming, pipelining, retiming, scalar replacement, data reuse, operation chaining, and area-saving binding, to optimize hardware circuit performance. In these frameworks, heuristic and probabilistic optimization algorithms are used to guide the transformations.…”