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

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

Published in: ISCAS (2012)

Keyphrases

high level synthesis
parallel architecture
data driven
search algorithm
formal model
design space exploration
artificial intelligence
information systems
distributed systems
computing systems