一种面向SOC系统设计的层次化CDFG定义

摘要

CDFG是在综合中比较常用的行为描述的中间表示方式.近来,在系统级芯片SOC中很多软/硬件划分和形式验证也使用CDFG作为行为描述的中间表示方式.本文介绍了一种面向SOC设计的层次化COFG格式,并且给出了严格的定义.这种层次化的CDFG格式在以往的CDFG上进行了扩充,允许使用者定义层次化CDFG,并且给出了层次化CDFG的标准控制结构.文中还提出了CDFG的形态树的概念,这将对准确地理解CDFG又很大的帮助.层次化CDFG致力于尽可能忠实地体现行为描述的内容,有利于高层次SOC设计的使用,同时也顾及了从C或VHDL等行为描述语言到层次化CDFG的转化.