A formal approach to the slack driven scheduling problem in high-level synthesis.

Shih-Hsu Huang, Chun-Hua Cheng

Browse the full ISCAS paper archive.