一种基于SAT求解器的组合电路重汇聚现象分析方法

• 作者: 刘畅 张璐婕 张龙 郭阳
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 组合电路 重汇聚 瞬态脉冲 SAT求解器 敏化路径 输入向量
• 年，卷（期）: 2019,（4）
• 所属期刊栏目: 交叉与前沿
• 页码范围: 309-314
• 页数: 6页
• 分类号: TP391.41
• 字数: 5676字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2019.04.048

摘要

为了研究组合电路重汇聚现象,提出了一种基于SAT求解器的分析方法.通过深度优先搜索算法,确定瞬态脉冲产生节点和输出节点之间的所有路径;建立待检查列表,对表中的元素施加敏化约束条件,并采用SAT求解器求解元素可满足性;最后判断是否存在满足条件的输入向量,使瞬态脉冲通过不同路径在输出节点发生重汇聚.所提方法可以有效地对较大规模组合电路进行分析,采用EPFL和ISCAS'85作为测试集,实验结果表明,ISCAS'85测试集中约有一半节点处产生的瞬态脉冲能够发生重汇聚,这一比例明显高于EPFL测试集,因此不同类型功能电路重汇聚现象的发生率存在较大差异.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭阳	国防科技大学计算机学院	50	449	9.0	20.0
2	张龙	国防科技大学计算机学院	10	24	3.0	4.0
3	刘畅	国防科技大学计算机学院	5	0	0.0	0.0
4	张璐婕	国防科技大学计算机学院	1	0	0.0	0.0