A formal approach to slack-driven high-level synthesis.

Hua-Hsin Yeh, Shih-Hsu Huang, Chun-Hua Cheng

Browse the full ISCAS paper archive.