Citation
Abstract
In the design of ultrareliable computer systems, circuitry must be provided to initiate and execute error control procedures. These procedures include system recovery, data error detection and correction, and handling of singular and exceptional conditions. These procedures are very often implemented by circuitry whose inputs remain constant until an error condition occurs. These circuits, therefore, cannot be fully tested during normal system operation. Lurking faults may be present that will mask the effects of faults in the circuitry being checked It is possible to replace constant valued signal lines with a pair of signal lines such that a given logic state has a redundant representation. A class of Boolean algebra called morphic Boolean algebra can then be used to realize totally self-checking circuits to replace semi-passive error handling circuitry. The fault detection properties of these circuits under the assumption of classical stuck-at faults have already been investigated. The purpose of this paper is to specify the expected nonclassical faults in a particular NMOS custom structure and to predict their effect on morphic circuits.
Details
- Volume
- 42-56
- Published
- April 15, 1980
- Pages
- 100–107
- File Size
- 666.0 KB