Path Sensitization, Partial Boolean Difference, and Automated Fault Diagnosis
- 1 February 1972
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-21 (2) , 189-195
- https://doi.org/10.1109/tc.1972.5008925
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.Keywords
This publication has 7 references indexed in Scilit:
- Derivation of Minimal Complete Sets of Test-Input Sequences Using Boolean DifferencesIEEE Transactions on Computers, 1971
- Diagnosis of Single-Gate Failures in Combinational circuitsIEEE Transactions on Computers, 1969
- A method of automatic fault-detection test generation for four-phase MOS LSI circuitsPublished by Association for Computing Machinery (ACM) ,1969
- Analyzing Errors with the Boolean DifferenceIEEE Transactions on Computers, 1968
- Diagnosis of Automata Failures: A Calculus and a MethodIBM Journal of Research and Development, 1966
- On Finding a Nearly Minimal Set of Fault Detection Tests for Combinational Logic NetsIEEE Transactions on Electronic Computers, 1966
- A class of multiple-error-correcting codes and the decoding schemeTransactions of the IRE Professional Group on Information Theory, 1954