SAT-based Scheduling Algorithm for High-level Synthesis Considering Resource Sharing
Published in In the proceedings of 2022 IEEE International Symposium on Circuits and Systems (ISCAS), 2022
Use Google Scholar for full citation
Recommended citation: Hao Jiang, Fan Yang, Changhao Yan, Xuan Zeng, "SAT-based Scheduling Algorithm for High-level Synthesis Considering Resource Sharing." In the proceedings of 2022 IEEE International Symposium on Circuits and Systems (ISCAS), 2022.