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

【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.更多还原