抄録
Validness of the stochastic testability proposed by the author is verified. As a result of applying to the ISCAS89 s27 benchmark circuit, the number of test patterns for stuck-at faults is calculated accurately. This shows that the proposed method is valid as a testability.
