System-level verification on high-level synthesis of dataflow graph.

Tsung-Hsi Chiang, Lan-Rong Dung

Browse the full ISCAS paper archive.