This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.
Citation:
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.