Year	2011
Authors	Dung, Lan-Rong
Paper Title	Tsung-Hsi Chiang and Lan-Rong Dung, 2007, August, “Verification Method of Dataflow Algorithms in High-Level Synthesis,” Journal of Systems and Software, Vol.80, No.8, pp.1256-1270 (SCI) (NSC 94-2220-E-009-039)
Date of Publication	2011-07-26