Design of microprocessors with built-in on-line test

Régis Leveugle (1, 2) , T. Michel (2) , G. Saucier (1, 2)

1 TIMA - Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés
2 CSI - CSI, INPG, Grenoble

Control flow checking techniques are discussed. Invariant properties of the control flow can be checked at two different levels: verification of the sequencing in the controller of the microprocessor or verification of the control flow in the application program. Control flow checking has been implemented, at the two levels, in different versions of a 32-b microprocessor designed in a CMOS 1.5- mu technology. Integration of the monitors on silicon is detailed. The silicon overhead due to the different online test devices is precisely discussed. Different versions of this microprocessor have been designed and implemented in order to make real cost comparisons on components with identical functionality but different integrated monitors. Here only the hardware cost of concurrent checking is considered.

Mots clés: microprocessors-; built-in-on-line-test; verification-; sequencing-; application-program; CMOS-; silicon-; 32-bit; 1.5-micron; control-flow-checking

Domaines: Micro et nanotechnologies/Microélectronique

Régis Leveugle, T. Michel, G. Saucier. Design of microprocessors with built-in on-line test. Digest-of-Papers.-Fault-Tolerant-Computing:-20th-International-Symposium-Cat.-No.90CH2877-9., 1990, Newcastle Upon Tyne, United Kingdom. pp.450-6, ⟨10.1109/FTCS.1990.89381⟩. ⟨hal-00015260⟩