Issue No. 05 - May (1975 vol. 24)
null Siu-Chong Si , Department of Electrical Engineering, Lehigh University
A compatibility relationship on network paths is defined in such a way that the maximal compatibles are isomorphic to the products in the "structure and parity-observing output function" (SPOOF), a subscripted Boolean expression for the network output that uniquely specifies the network structure. For a given network, the path compatibility relations are easy to find, as are the maximal compatibles and hence the SPOOF for the network output. Because the collection of all the path compatibility relations, conveniently displayed in matrix form, completely characterizes the network, the compatibility matrix can be used for a variety of purposes.
Compatibility, maximum compatibles, logic-network representation, SPOOF, sum-of-products form, diagnostics, fault testing.
A. Susskind and n. Siu-Chong Si, "A Method for Obtaining SPOOF's," in IEEE Transactions on Computers, vol. 24, no. , pp. 560-562, 1975.