Path Sensitization, Partial Boolean Difference, and Automated Fault Diagnosis

  • Authors:
  • A. C. L. Chiang;I. S. Reed;A. V. Banes

  • Affiliations:
  • Macrodata Company, Chatsworth, Calif. 91311.;Department of Electrical Engineering, University of Southern California, Los Angeles, Calif. 90007.;Macrodata Company, Chatsworth, Calif. 91311.

  • Venue:
  • IEEE Transactions on Computers
  • Year:
  • 1972

Quantified Score

Hi-index 14.99

Visualization

Abstract

A tool employed in automated fault diagnosis is emphasized: path sensitization by partial Boolean difference analysis. Motivated by the analogy between a test system and a communication system, a model for fault detection of a logic net is outlined from the standpoint of information theory. The classical ``path sensitizing'' technique is made systematic using the partial Boolean difference. This technique is based on a new theorem on the partial Boolean difference. Finally, a programmable fault detection algorithm is presented along with an example.