Issue No.10 - October (1987 vol.36)
G. Markowsky , Department of Computer Science, University of Maine
In  Savir, Ditlow, and Bardell presented an algorithm for estimating the signal probability of a line in combinational circuits, but were unable to show that the algorithm always produced correct results. This paper shows that their algorithm for cutting reconvergent fan-out lines in a circuit eventually produces a circuit without reconvergent fan- out that can be used to estimate signal probabilities in all lines of the original circuit.
signal probability, Error detection, fault detection, random testing
G. Markowsky, "Bounding Signal Probabilities in Combinational Circuits", IEEE Transactions on Computers, vol.36, no. 10, pp. 1247-1251, October 1987, doi:10.1109/TC.1987.1676866