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

发布时间：2023-11-20 18:39

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

【文章页数】：6 页

【文章目录】：
1 引言
2 背景知识
    2.1 合取范式
    2.2 SAT问题的一般性描述
    2.3 与非图
    2.4 SAT模型化方法
3 组合电路重汇聚现象分析方法
    3.1 基于SAT求解器的重汇聚现象分析方法
    3.2 敏化约束条件的施加策略
    3.3 待检查列表更新算法
    3.4 缩短求解时间的优化算法
    3.5 基于示例电路的理论推演
4 实验结果
结束语



本文编号：3865614