基于SAT的串扰时延故障测试
尚玉玲,彭彩军
Crosstalk delay faults test based on SAT
SHANG Yuling, PENG Caijun
计算机工程与应用 . 2016, (15): 38 -42 .