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

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.