Abstract
The conventional design of electronic circuits is intolerant to operational faults. Self-checking logic is aimed at online fault detection and can hence be incorporated to achieve reliable operation. In this paper, the design of a self-checking microprocessor is discussed. Self-checking strategies for different functional units are selectively and judiciously applied, and also modified wherever necessary, for the design of the register section, the arithmetic & logic unit and the control unit. A self-checking microprogrammed control unit, capable of supporting normal instruction execution concurrently with diagnostics, is developed. The design methodology has been applied to Intel's 8085A microprocessor as a case study to make it self-testing. Overheads involved have also been estimated.
- 1 D.A. Rennels, ' Fault. Toterant Computing - Concepts b Examples', IEEE Trans. Computers, Vol. C-33, No. 12, Oecember 1984, PP. 1116-1129.Google Scholar
- 2 P.K. Lala, FAULT TOLERANT AND FAULT TESTABLE DESIGN, Prentice Hall Internatioal, 1985. Google Scholar
Digital Library
- 3 S.M. Thatte b J.A. Abraham, 'Test Generation for Microprocessors ' , IEEE Trans. Computer, Vol. c-29, No. 6, June 1980. pp. 430-441.Google Scholar
- 4 G.D. Kraft b W.N. TOY, MICROPROGRAMMED CONTROL AN0 RELIABLE DESIGN OF SMALL COMPUTERS, Prentice Hall, Inc., 1981. Google Scholar
Digital Library
- 5 M.P. lialbert b S.M. Bose, 'Design approach for a VLSI Self-Checking MIL-.STO-.1750A Microprocessor', Proc. 14th Int. Symp. on Fault-Tolerant Computing, IEEE-CS Press, June 1984, pp. 254-253.Google Scholar
- 6 F. Somenzi t G. Silvano. 'Fault Detection in Programmable Logic Arrays', Proc. IEEE, Vol. 74. No. 5, May 1986, pp. 655-668.Google Scholar
- 7 M. Nicolaidis, 'Evaluation of a Self-Checking Version of the MC68000 Microprocessor', Proc. 15th Int. Symp. on Fault-Toterant Computing, IEEE- CS Press, June 1985, pp. 350-356.Google Scholar
- 8 Y. Crouzet ~ C. Landrault, 'Design of Self-Checking MOS-LSI Circuits: application to a Four.- Bit Microprocessor', IEEE Trans. Computers, Vol. C-23, No. 6, June 1980, pp. 532-537.Google Scholar
- 9 R.W. Goody, THE INTELLIGENT MICROCOMPUTER, Science Research Associates, Inc., 1982.Google Scholar
- 10 R.A. Parekhji, 'Design Methodology for a Self-Checking Microprocessor', M. Tech. Dissertation, University Of Roorkee, Roorkee, India, February 1988.Google Scholar
- 11 T. Nanya b T. Kawamura, ' Error Secure/Propagating Concept and Its Application to the Design of Strongly Fault-Secure Processors, Proc. 15th Int. Symp. on Fault-toterant Computing, IEEE-CS Press, June 1985, pp. 396-401.Google Scholar
Index Terms
Design methodology and microdiagnostics development for a self-checking microprocessor
Recommendations
Design methodology and microdiagnostics development for a self-checking microprocessor
MICRO 22: Proceedings of the 22nd annual workshop on Microprogramming and microarchitectureThe conventional design of electronic circuits is intolerant to operational faults. Self-checking logic is aimed at online fault detection and can hence be incorporated to achieve reliable operation. In this paper, the design of a self-checking ...
Self-checking instructions: reducing instruction redundancy for concurrent error detection
PACT '06: Proceedings of the 15th international conference on Parallel architectures and compilation techniquesWith reducing feature size, increasing chip capacity, and increasing clock speed, microprocessors are becoming increasingly susceptible to transient (soft) errors. Redundant multi-threading (RMT) is an attractive approach for concurrent error detection. ...
The PowerPC 620 microprocessor: a high performance superscalar RISC microprocessor
COMPCON '95: Proceedings of the 40th IEEE Computer Society International ConferenceThe PowerPC 620 RISC microprocessor is the first chip for the application server and technical workstation product line within the PowerPC family. It utilizes a high performance microarchitecture with many advanced superscalar features to exploit ...






Comments