This Article 
 Bibliographic References 
 Add to: 
Algebraic Fault Analysis for Constrained Combinational Networks
February 1971 (vol. 20 no. 2)
pp. 141-148
A sequential machine that processes its inputs without changing state can be represented as a constrained combinational network. A system of Boolean equations that represent such a network must include assertions that formalize the required constraints. These constraints can be expressed as assertions about certain gate inputs and certain gate outputs within the network. In such networks, redundant and partially redundant gates are not pathological. The fault analysis method presented provides for the testing of both sides of an irredundant gate and for the detectable side of a partially redundant gate.
Index Terms:
Axiomatic processing, Boolean logic, combinational networks, digital fault analysis, heuristic searching, syntactic reduction.
G.E. Whitney, "Algebraic Fault Analysis for Constrained Combinational Networks," IEEE Transactions on Computers, vol. 20, no. 2, pp. 141-148, Feb. 1971, doi:10.1109/T-C.1971.223203
Usage of this product signifies your acceptance of the Terms of Use.