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(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.在线翻译_英语_读音_用法_例句