基于CDFG的SoC验证方法及其分割与搜索算法

摘要：

随着芯片复杂度以及市场对集成电路上市时间要求的不断提高,对SoC设计方法和验证方法带来了巨大的挑战.控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节.该文针对SoC验证的需要,利用CDFG,研究了基于CDFG的验证体系,给出了CDFG的几种定义,讨论了CDFG的表示方法,提出了基于CDFG的验证流程,研究了基于DFS的生成树算法、CDFG的分割算法和CDFG的搜索算法,并以实例说明了这些算法在验证流程中的作用.

关键词：控制数据流图、SoC、验证、深度优先搜索算法

所属期刊栏目：33

分类号：TP391(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA1Z1490

在线出版日期：2007-03-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：9-11