摘要
本文介绍了可满足性的测试向量生成 (SAT- ATPG)算法。通过控制输入跟踪算法 (CITA)嵌入 SAT- ATPG中 ,减少了 CNF的构成时间和搜索空间 ,加速测试生成 ,减轻故障压缩工作量 。
In the paper, we describe a efficient algorithm for ATPG—SAT ATPG algorithm based on Satisfiabi lity (SAT). CITA(Controlling Input Values Tracing Algorithm) proposed has been incorporated into SAT ATPG. CPU time of generating CNF and the traversing space are reduced. This algorithm gain compact test set with low price.
出处
《仪器仪表学报》
EI
CAS
CSCD
北大核心
2001年第1期28-31,共4页
Chinese Journal of Scientific Instrument
