电子与信息学报
電子與信息學報
전자여신식학보
JOURNAL OF ELECTRONICS & INFORMATION TECHNOLOGY
2014年
9期
2283-2286
,共4页
触发器匹配%自动测试模式生成模型%布尔可满足性%时序帧递进展开%信息学习
觸髮器匹配%自動測試模式生成模型%佈爾可滿足性%時序幀遞進展開%信息學習
촉발기필배%자동측시모식생성모형%포이가만족성%시서정체진전개%신식학습
Flip-flops matching%Automatic Test Pattern Generation (ATPG) module%Boolean Satisfiability (SAT)%Progressive expansion of sequential frames%Information learning
通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证.而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化.该文通过一种新的基于布尔可满足性(SAT)算法的自动测试模式生成(ATPG)匹配模型建立联接电路,使用时序帧展开传递算法比较触发器的帧时序状态输出,同时在SAT解算中加入信息学习继承等启发式算法,将时序电路的触发器一一匹配.在ISCAS89电路上的实验结果表明,该文算法在对触发器的匹配问题上是非常有效的.
通常的時序電路等價性驗證方法是將觸髮器按時序展開,從而將時序電路轉化為組閤電路進行驗證.而一般在待驗證的兩箇時序電路中,觸髮器是一一對應的,找到觸髮器的對應關繫,時序電路的驗證就會得到很大的簡化.該文通過一種新的基于佈爾可滿足性(SAT)算法的自動測試模式生成(ATPG)匹配模型建立聯接電路,使用時序幀展開傳遞算法比較觸髮器的幀時序狀態輸齣,同時在SAT解算中加入信息學習繼承等啟髮式算法,將時序電路的觸髮器一一匹配.在ISCAS89電路上的實驗結果錶明,該文算法在對觸髮器的匹配問題上是非常有效的.
통상적시서전로등개성험증방법시장촉발기안시서전개,종이장시서전로전화위조합전로진행험증.이일반재대험증적량개시서전로중,촉발기시일일대응적,조도촉발기적대응관계,시서전로적험증취회득도흔대적간화.해문통과일충신적기우포이가만족성(SAT)산법적자동측시모식생성(ATPG)필배모형건립련접전로,사용시서정전개전체산법비교촉발기적정시서상태수출,동시재SAT해산중가입신식학습계승등계발식산법,장시서전로적촉발기일일필배.재ISCAS89전로상적실험결과표명,해문산법재대촉발기적필배문제상시비상유효적.
