Abstract: High-Ievel synthesis accelerates the process of design space exploration in which various transformations and optimizations can be applied to the high-level description. In this paper, a new ...