𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fault simulation using small fault samples

✍ Scribed by Wilfried Daehn


Publisher
Springer US
Year
1991
Tongue
English
Weight
741 KB
Volume
2
Category
Article
ISSN
0923-8174

No coin nor oath required. For personal study only.

✦ Synopsis


This article emphasizes simulation-based sampling techniques for estimating fault coverage that use small fault samples. Although random testing is considered to be the primary area of application of the technique it is also suitable for estimating the fault coverage of nonrandom tests based on specific fault models. Especially for fault coverages exceeding 95 %, it is shown that a precise estimate can be obtained using a fault sample of only 500 faults. The estimation is based on a binomial approximation of the probability density of the sample fault coverage. Using Bayes statistics an estimate is obtained whose accuracy is a linear function of the sample size if the fault coverage approaches 100%. The sample size is independent of the circuit size, thus making fault sampling particularly interesting for the fault simulation of ULSI designs due to the resulting reduction of the time complexity of fault simulation from O(N z) to O(N).


πŸ“œ SIMILAR VOLUMES


Efficient VLSI fault simulation
✍ John H. Reif πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 925 KB

Let C be an acycfic Boolean circuit with n gates and \_< n inputs. A circuit manufacture error may result in a "Stuck-at" (S-A) fault in a circuit identical to C except a gate v only outputs a fixed Boolean value. The S-A fault simulation problem for C is to determine all possible (S-A) faults which

Fault simulation for general FCMOS ICs
✍ M. Favalli; P. Olivo; B. RiccΓ²; F. Somenzi πŸ“‚ Article πŸ“… 1991 πŸ› Springer US 🌐 English βš– 658 KB

This work presents a technique to correctly deal with non-stuck-at faults in FCMOS circuits making use of complex macrogates. This method can be applied to any gate-level fault simulator providing, for each line of the circuit, the observability status that is directly related to that of individual