基于程序切片的电路提取技术

• 作者: 万海 朱丹 李思昆 李暾 郭阳
• 来源期刊: 国防科技大学学报
• 学科: 工学
• 关键词: 程序切片 链接切片 进程依赖图 电路提取
• 年，卷（期）: 2003,（6）
• 所属期刊栏目: 计算机工程·材料工程
• 页码范围: 10-15
• 页数: 6页
• 分类号: TP302.7
• 字数: 4140字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2486.2003.06.003

摘要

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求.提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础.该方法可以为每一个感兴趣的信号获取其"链接切片".与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素.该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李思昆	国防科技大学计算机学院	100	974	16.0	27.0
2	郭阳	国防科技大学计算机学院	50	449	9.0	20.0
3	李暾	国防科技大学计算机学院	19	186	5.0	13.0
4	朱丹	国防科技大学计算机学院	3	3	1.0	1.0
5	万海	国防科技大学计算机学院	1	3	1.0	1.0