SAT-based Scheduling Algorithm for High-level Synthesis Considering Resource Sharing.

Hao Jiang,Fan Yang,Changhao Yan,Xuan Zeng
DOI: https://doi.org/10.1109/ISCAS48785.2022.9937754
2022-01-01
Abstract:The resource-sharing constraints can be imposed by limiting the maximum allowable number of components for individual functional units in the scheduling process. However, the sharing of the functional units is not explicitly considered in the scheduling procedure. In this paper, we propose a SATbased scheduling algorithm for high-level synthesis considering the resource-sharing problem. Several pruning strategies have been proposed to reduce the search
What problem does this paper attempt to address?