年度	2011
全部作者	董蘭榮
論文名稱	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)
發表日期	2011-07-26