年度	2011
全部作者	董兰荣
论文名称	Tsung-Hsi Chiang and Lan-Rong Dung, 2006, May “System-Level Verification on High-Level Synthesis of Dataflow Graph,” ISCAS 2006
发表日期	2011-07-26