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

• 作者: 曹阳 李德识
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 控制数据流图 SoC 验证 深度优先搜索算法
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 博士论文
• 页码范围: 9-11
• 页数: 3页
• 分类号: TP391
• 字数: 3816字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.02.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹阳	武汉大学电子信息学院	117	1245	17.0	29.0
2	李德识	武汉大学电子信息学院	33	130	8.0	10.0