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.

• 通过控制输入跟踪算法 (CITA)嵌入 SAT- ATPG中 ,减少了 CNF的构成时间和搜索空间 ,加速测试生成 ,减轻故障压缩工作量 ,又不损失最终测试集的精简