| 面向SOC系统设计的层次化CDFG的扩展 |
| |
| 引用本文： | 刘志鹏,边计年,王云峰,薛宏熙.面向SOC系统设计的层次化CDFG的扩展[J].计算机工程与科学,2005,27(4):46-49. |
| |
| 作者姓名： | 刘志鹏 边计年 王云峰 薛宏熙 |
| |
| 作者单位： | 清华大学计算机科学与技术系,北京100084 |
| |
| 基金项目： | “973”国家重点基础研究发展规划 (G1998030403)，国家自然科学基金资助项目(90207017)，国家 863 计划资助项目(2003AA115110)。 |
| |
| 摘 要： | 本文主要介绍了层次化CDFG中标准控制结构和并行结构的扩充及转换方法,从而为在高层次 SOC设计中真正使用HCDFG提供了基础。同时,文中还给出了HCDFG在系统验证中的作用,它为不同方法的混合验证提供了统一而有效的内部结构。
|
| 关 键 词： | HCDFG 高层次综合 层次化 验证 |
Extension of the Hierarchical CDFG for the High-Level SOC System Design |
| |
| LIU Zhi-peng,BIAN Ji-nian,WANG Yun-feng,XUE Hong-xi.Extension of the Hierarchical CDFG for the High-Level SOC System Design[J].Computer Engineering & Science,2005,27(4):46-49. |
| |
| Authors: | LIU Zhi-peng BIAN Ji-nian WANG Yun-feng XUE Hong-xi |
| |
| Abstract: | In this paper,the extension and transformation of the standard control structure and the concurrent structure of HCDFG are mainly proposed. All these work provide a foundation for practically making use of HCDFG in process of high-level SOC design. Meanwhile, the importance of HCDFG in the system verification is mentioned here, which serves as the unique but effective intermediate structure of hybrid verification for different methods. |
| |
| Keywords: | HCDFG high-level synthesis hierarchical verification |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
