期刊文献+

高层综合中一种新的控制/数据流图表示形式 被引量:1

A New Representation of Control/Data Flow Graph(CDFG) for High Level Synthesis
下载PDF
导出
摘要 提出了一种新的控制 /数据流图 ( CDFG)的格式 ,这种 CDFG与过去一般所使用的 CDFG的最大区别在于这里的 CDFG引入了布尔节点 ( Bool-node)的概念 .文中介绍该这种新格式的具体细节 ;并给出了该 CDFG的实例和表示它的数据结构 。 A new kind of CDFG was proposed. The most difference between this kind of CDFG and the past ones is the introduction of “Bool node”. Detailed techniques of this new format were presented, and instantiations and data structures about it were also given. As to the analysis below, merits of synthesis speed increment and other aspects were brought in.
作者 曹炜 林争辉
出处 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期896-899,共4页 Journal of Shanghai Jiaotong University
关键词 电子设计自动化 高层综合 控制/数据流图 调度 electronic design automation high-level synthesis control/data flow graph (CDFG) scheduling optimization
  • 相关文献

参考文献2

  • 1Kim T,IEEE Trans CAD,1994年,13卷,4期,425页
  • 2Lee T,IEEE Trans CAD,1994年,13卷,4期,439页

同被引文献12

  • 1TransEDA PLC. Foundation Models-System Level Verification IP.http://www. transeda.com, 2001
  • 2Formal Validation. http:∥www. veritable.com/index.html
  • 3Clarke E M, Grumberg .J O, Peled D A. Model Checking[M].Massachusetts: MIT Press, 1999
  • 4Huth M, Ryan M. Logic in Computer Science: Modeling and Reasoning About Systems[M]. Cambridge:Cambridge University Press, 2000
  • 5Coates S. Assertive Verification: A Ten-Minute Primer. http:∥www.EEDesign.com
  • 6Lamport L. Proving the Correctness of Multiprocess Programs[J].IEEE Transactions on Software Engineering, 1977,SE-3(2):125-143
  • 7Alpern B, Schneider F B. Defining Liveness. Information Processing Letters, 1985,21 (4):181 - 185
  • 8Accellera. Open Verification Library Assertion Monitor Reference Manual. 2002- 10
  • 9Richard Goering. Vendors Join Push for Assertion Standards.EEtimes, 2002
  • 10Jeon .J, Ahn Y, Choi K Y. Cdtg Toolkit User's Guide.http:∥inspire.snu.ac.kr

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部