Issue No. 02 - February (1972 vol. 21)
A. C. L. Chiang , Macrodata Company, Chatsworth, Calif. 91311.
I. S. Reed , Department of Electrical Engineering, University of Southern California, Los Angeles, Calif. 90007.
A. V. Banes , Macrodata Company, Chatsworth, Calif. 91311.
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.
A. C. Chiang, A. V. Banes and I. S. Reed, "Path Sensitization, Partial Boolean Difference, and Automated Fault Diagnosis," in IEEE Transactions on Computers, vol. 21, no. , pp. 189-195, 1972.