Evaluation and synthesis of self-monitoring state machines

@article{Robinson1990EvaluationAS,
  title={Evaluation and synthesis of self-monitoring state machines},
  author={Scott H. Robinson and John Paul Shen},
  journal={1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers},
  year={1990},
  pages={276-279}
}
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… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-4 OF 4 CITATIONS

Enhancing on-line testability during synthesis

  • J. Electronic Testing
  • 1993
VIEW 5 EXCERPTS
CITES RESULTS, BACKGROUND & METHODS
HIGHLY INFLUENCED

A novel method for watermarking sequential circuits

  • 2012 IEEE International Symposium on Hardware-Oriented Security and Trust
  • 2012
VIEW 2 EXCERPTS

Design of a totally self checking signature analysis checker for finite state machines

  • Proceedings 2001 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems
  • 2001
VIEW 2 EXCERPTS
CITES METHODS