Verification method of dataflow algorithms in high-level synthesis.

Tsung-Hsi Chiang Lan-Rong Dung

Published in: J. Syst. Softw. (2007)

Keyphrases

verification method
data structure
learning algorithm
computational cost
computational complexity
efficient implementation
optimal solution
expert systems
worst case