Design of microprocessors with built-in on-line test
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 450-456
- https://doi.org/10.1109/ftcs.1990.89381
Abstract
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.Keywords
This publication has 11 references indexed in Scilit:
- Processor Monitoring Using Asynchronous Signatured Instruction StreamsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Optimized synthesis of dedicated controllers with concurrent checking capabilitiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Aliasing in signature analysis testing with multiple-input shift-registersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Continuous signature monitoring: efficient concurrent-detection of processor control errorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Detection of control flow errors using signature and checking instructionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Concurrent error detection using watchdog processors-a surveyIEEE Transactions on Computers, 1988
- Processor Control Flow Monitoring Using Signatured Instruction StreamsIEEE Transactions on Computers, 1987
- Concurrent Fault Detection in Microprogrammed Control UnitsIEEE Transactions on Computers, 1985
- Design of concurrently testable microprogrammed control unitsACM SIGMICRO Newsletter, 1982
- Measures of the Effectiveness of Fault Signature AnalysisIEEE Transactions on Computers, 1980