A proof rule for restoring logic circuits

✍ Scribed by J.A. Bergstra; J.W. Klop

• Publisher: Elsevier Science
• Year: 1983
• Tongue: English
• Weight: 843 KB
• Volume: 1
• Category: Article
• ISSN: 0167-9260
• DOI: 10.1016/s0167-9260(83)80018-2

✦ Synopsis

An axiomatic semantics is given for restoring logic circuits, both statically and dynamically. As an example the Muller C-element is discussed in detail. It is shown that a consistent circuit reacts in an unambiguous way on new inputs.