Issue No. 07 - July (1988 vol. 37)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.2233
A general approach is presented to the design of totally self-checking (TSC) programmable logic arrays (PLAs). A strongly fault secure (SFS) implementation is suggested for the functional PLA, which is shown to be SFS whenever the output is encoded by two-rail code. K-unit TSC checker (TSCC) element are defined to construct TSC checkers. The TSCC is very appropriate for the companion of the SLF
strongly fault secure PLAs; totally self-checking checkers; programmable logic arrays; two-rail code; XOB parity checker tree; comparator; cellular arrays; comparators (circuits); logic testing.
J. Li and Y. Min, "Strongly Fault Secure PLAs and Totally Self-Checking Checkers," in IEEE Transactions on Computers, vol. 37, no. , pp. 863-867, 1988.