计算机工程与应用2016，Vol.52Issue(15)：38-42,5.DOI:10.3778/j.issn.1002-8331.1409-0319
基于SAT的串扰时延故障测试
Crosstalk delay faults test based on SAT
摘要
Abstract
With the continuous improvement of deep submicron technology and chip operating rate, crosstalk noise becomes more and more serious. It is high time to test crosstalk delay. Based on combinational circuit, the SAT(Boolean satisfiability) method is introduced to the crosstalk induced delay test, and lexical analysis and syntax analysis are used to extract the formal model of a Verilog(Hardware Description Language)source code directly to combine into CNF(Conjunctive Nor-mal Form). Using non-robust tests, the crosstalk delay is activated, and CNF expressions are simplified. Finally, the test-ing vectors are obtained by inputting the SAT solver. By assessing on ISCAS’85 benchmark circuits, experimental results show that the algorithm is effective for crosstalk-induced delay faults.关键词
信号完整性/串扰/可满足性/时延测试Key words
Signal Integrity(SI)/crosstalk/SAT/delay faults testing分类
计算机与自动化引用本文复制引用
尚玉玲,彭彩军..基于SAT的串扰时延故障测试[J].计算机工程与应用,2016,52(15):38-42,5.基金项目
国家自然科学基金（No.61102012，No.51165004，No.51465013）；广西自然科学基金（No.2012GXNSFBA053176，No.2012GXNSFDA053029）。 （）
