Concurrent Fault Detection in Microprogrammed Control Units
- 1 September 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-34 (9) , 810-821
- https://doi.org/10.1109/TC.1985.1676637
Abstract
This paper specifies procedures for defining a monitor circuit that can detect faults in microprogram sequencers. The monitor and the sequencer operate in parallel and errors are detected by comparing outputs from the monitor circuit with outputs from the sequencer. Faults that cause errors in the flow of control are detectable, as well as some faults that cause errors only in the microinstruction fields. The design procedure presented for monitors consists of four parts. First, a model of the program flow is constructed that only retains the information required to define a monitor. Second, faults in a specified fault set are modeled by the errors they cause in the program flow model. Third, the functional requirements of the monitor are specified in terms of partitions on the states of the program flow model. Fourth, the logic design of the monitor is completed.Keywords
This publication has 5 references indexed in Scilit:
- A METHODOLOGY FOR FUNCTIONAL LEVEL TESTING OF MICROPROCESSORSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- WATCHDOG PROCESSORS AND CAPABILITY CHECKINGPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- A design approach for a microprogrammed control unit with built in self testACM SIGMICRO Newsletter, 1983
- Watchdog Processors and Structural Integrity CheckingIEEE Transactions on Computers, 1982
- Concurrent Error Detection for Group Look-ahead Binary AddersIBM Journal of Research and Development, 1970