A proof rule for restoring logic circuits
Abstract
An axiomatic semantics is given for restoring logic circuits, both statically and dynamically. The Muller C-element is discussed. It is shown that a consistent circuit reacts in a unambiguous way on new inputs.
- Publication:
-
NASA STI/Recon Technical Report N
- Pub Date:
- April 1983
- Bibcode:
- 1983STIN...8416484B
- Keywords:
-
- Logic Circuits;
- Semantics;
- Switching Theory;
- Automata Theory;
- Mathematical Logic;
- Proving;
- Electronics and Electrical Engineering