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

关键词：数据结构 soc系统 系统设计 cdfg 层次化 

单位：清华大学计算机科学与技术系，北京100084