面向SOC系统设计的层次化CDFG的扩展  

Extension of the Hierarchical CDFG for the High-Level SOC System Design

作　　者：刘志鹏[1] 边计年[1] 王云峰[1] 薛宏熙[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《计算机工程与科学》2005年第4期46-48,95,共4页Computer Engineering & Science

基　　金："973"国家重点基础研究发展规划 (G1998030403);国家自然科学基金资助项目(90207017);国家 863 计划资助项目(2003AA115110)。

摘　　要：本文主要介绍了层次化CDFG中标准控制结构和并行结构的扩充及转换方法,从而为在高层次 SOC设计中真正使用HCDFG提供了基础。同时,文中还给出了HCDFG在系统验证中的作用,它为不同方法的混合验证提供了统一而有效的内部结构。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.

关 键 词：数据结构 SOC系统 系统设计 CDFG 层次化 CASE 

分 类 号：TP311.12[自动化与计算机技术—计算机软件与理论]