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.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句