Tracking Uncertainty with Probabilistic Logic Circuit Testing

  • Authors:
  • Smita Krishnaswamy;Igor L. Markov;John P. Hayes

  • Affiliations:
  • University of Michigan;University of Michigan;University of Michigan

  • Venue:
  • IEEE Design & Test
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Probabilistic faults are increasingly affecting logic circuits in the nanometer realm. Examples include transients caused by cosmic radiation, randomness in quantum and nanocircuits, and process variability in manufacturing. The authors of this article generalize the variations caused by these faults to the notion of a probabilistic fault model. They then delineate the differences between these faults and the more traditional deterministic faults. Such effects require a reformulation of testing and test-generation methods. In particular, the same fault can be detected by several test vectors, with varying probabilities. The authors call the probability that a test vector detects a fault its "sensitivity" to the fault. They propose test generation methods for probabilistic faults with the goal of bounding and estimating fault probabilities. Finally, the authors propose a fault-modeling framework for efficient representation of probabilistic faults, algorithms to compute test-vector sensitivity, and integer linear programming (ILP) to generate compact test sets with high probabilities of coverage.