On the eliminating of parameters /spl alpha/ and /spl beta/ in STAFAN

Abstract

STAFAN algorithm (1985) is regarded as a good alternative to fault simulation of digital circuits. However, this algorithm has two parameters /spl alpha/ and /spl beta/ to be determined by fault simulation and so it is of no practical uses. This article analyzes the probability distribution of random signals at circuit nodes, and proves that controllability is in normal distribution. Thus the unbiasing estimate of fault detection probability can be obtained. Moreover, according to the concept of observability, we can eliminate parameter /spl beta/. For actual circuits the fault coverage obtained from the modified STAFAN agrees favorably with the fault simulation results.<>