發(fā)布時間：2023-11-20 18:39

　　為了研究組合電路重匯聚現(xiàn)象,提出了一種基于SAT求解器的分析方法。通過深度優(yōu)先搜索算法,確定瞬態(tài)脈沖產(chǎn)生節(jié)點和輸出節(jié)點之間的所有路徑;建立待檢查列表,對表中的元素施加敏化約束條件,并采用SAT求解器求解元素可滿足性;最后判斷是否存在滿足條件的輸入向量,使瞬態(tài)脈沖通過不同路徑在輸出節(jié)點發(fā)生重匯聚。所提方法可以有效地對較大規(guī)模組合電路進行分析,采用EPFL和ISCAS’85作為測試集,實驗結(jié)果表明,ISCAS’85測試集中約有一半節(jié)點處產(chǎn)生的瞬態(tài)脈沖能夠發(fā)生重匯聚,這一比例明顯高于EPFL測試集,因此不同類型功能電路重匯聚現(xiàn)象的發(fā)生率存在較大差異。

【文章頁數(shù)】：6 頁

【文章目錄】：
1 引言
2 背景知識
    2.1 合取范式
    2.2 SAT問題的一般性描述
    2.3 與非圖
    2.4 SAT模型化方法
3 組合電路重匯聚現(xiàn)象分析方法
    3.1 基于SAT求解器的重匯聚現(xiàn)象分析方法
    3.2 敏化約束條件的施加策略
    3.3 待檢查列表更新算法
    3.4 縮短求解時間的優(yōu)化算法
    3.5 基于示例電路的理論推演
4 實驗結(jié)果
結(jié)束語



本文編號：3865614