Evaluation and synthesis of self-monitoring state machines
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Signature monitoring has proven to be an effective method for concurrent detection of control-flow errors in processors. A recent proposal adapts signature monitoring to the concurrent checking of dedicated controllers or state machines. The authors extend this approach and present theoretical results, including existence-of-solution guarantees, as well as new, efficient synthesis algorithms. The algorithms have been implemented and successfully applied to a variety of machines including all of the machines in the MCNC benchmark set. For most examples, the evaluation and synthesis algorithms exhibit negligible running times and the resulting optimized machines exhibit reasonable overheads. There is strong indication that the efficient synthesis of self-monitoring, and possibly self-testing, state machines is feasible using this approach.> Author(s) Robinson, S.H. Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA Shen, J.P.Keywords
This publication has 5 references indexed in Scilit:
- Optimized synthesis of dedicated controllers with concurrent checking capabilitiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Concurrent checking in dedicated controllersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Continuous signature monitoring: low-cost concurrent detection of processor control errorsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
- Optimized synthesis of concurrently checked controllersIEEE Transactions on Computers, 1990
- Concurrent error detection using watchdog processors-a surveyIEEE Transactions on Computers, 1988