This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Strongly Fault Secure PLAs and Totally Self-Checking Checkers
July 1988 (vol. 37 no. 7)
pp. 863-867
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

[1] D. A. Anderson, "Design of self-checking digital networks using code techniques," TR R-527, Univ. Illinois, 1971.
[2] J. E. Smith and G. Metze, "Strongly fault secure logic networks,"IEEE Trans. Comput., vol. C-27, June 1978.
[3] M. Nicolaidis, I. Jansch, and B. Courtois, "Strongly code disjoint checkers," inProc. 14th Int. Symp. Fault-Tolerant Comput., Kissimmee, FL, 1984.
[4] J. E. Smith, "Design of totally self-checking combinational circuits," Ph.D. dissertation, Rep., R-737, Univ. Illinois, 1976.
[5] G. P. Mak, J. A. Abraham, and E. S. Davidson, "The design of PLAs with concurrent error detection," inProc. 14th Int. Symp. Fault-Tolerant Comput., Kissimmee, FL, 1982, pp. 303-310.
[6] J. Raiski and V. K. Agarwal, "Testing properties and applications of inverter-free PLA's," inProc. 1985 Int. Test Conf., Philadelphia, PA, 1985, pp. 500-507.
[7] S. L. Wang and A. Avizienis, "The design of totally self-checking circuits using programmable logic arrays," inProc. Ninth Int. Symp. Fault-Tolerant Comput., WI, 1979.
[8] J. Khakbaz and E. J. McCluskey, "Concurrent error detection and testing for large PLA's,"IEEE Trans. Electron Devices, vol. ED-29, no. 4, 1982.
[9] N. K. Jha and J. A. Abraham, "The design of totally self-checking embedded checkers," inProc. 14th Int. Symp. Fault-Tolerant Comput., Kissimmee, FL, 1984.
[10] J. A. Hughes, E. J. McCluskey, and D. Lu, "Design of totally self-checking comparators with an arbitrary number of inputs,"IEEE Trans. Comput., vol. C-33, no. 6, 1984.
[11] Y. Min and Z. Li, "A unified fault model for PLAs," inProc. Int. Conf. Circuits Syst., Beijing, China, 1985.
[12] Y. Min, "Generating a complete test set for PLAs," inProc. First Int. Conf. Comput. Applications, Beijing, China, 1984.
[13] J. Khakbaz and E. J. McCluskey, "Self-testing embedded code checkers,"IEEE Trans. Comput., vol. C-33, Aug. 1984.

Index Terms:
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.
Citation:
Y. Min, J. Li, "Strongly Fault Secure PLAs and Totally Self-Checking Checkers," IEEE Transactions on Computers, vol. 37, no. 7, pp. 863-867, July 1988, doi:10.1109/12.2233
Usage of this product signifies your acceptance of the Terms of Use.