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

Hao Jiang, Fan Yang, Changhao Yan, Xuan Zeng

Browse the full ISCAS paper archive.