Implementation of deductive fault simulation using counting method

카운팅 방법을 사용한 연역적 고장 시뮬레이션의 구현

Fault simulation is often necessary to determine the fault coverage of a given test, that is, to find all the faults detected by test. In this paper we implement a deductive fault simulation using counting method. Counting method uses f$\sub$ｉ/ of fault table and Search list to compute set operation. f$\sub$ｉ/ was counted by fault list of input gate. And we propagate fault list from primary inputs toward primary output by comparing with controling sum. It improved performance by reducing search of faults.