Control-flow checking using branch instructions

Jafari Nodoushan, M ; Sharif University of Technology | 2008

296 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/EUC.2008.44
  3. Publisher: 2008
  4. Abstract:
  5. This paper presents a hardware control-flow checking scheme for RISC processor-based systems. This Scheme combines two error detection mechanisms to provide high coverage. The first mechanism uses parity bits to detect faults occurring in the opcodes and in the target addresses of branch instructions which lead to erroneous branches. The second mechanism uses signature monitoring to detect errors occurring in the sequential instructions. The scheme is implemented using a watchdog processor for an VHDL model of the LEON2 processor. About 31800 simulation faults were injected into the LEON2 processor. The results show that the error detection coverage is about 99.5% with average detection latency of 7 cycles. The performance loss of presented scheme is about 8.4%. © 2008 IEEE
  6. Keywords:
  7. Control-flow checking ; Error detection coverage ; Error detection latency ; Fault injection ; Watchdog processors ; Fault detection ; Fault tolerant computer systems ; Reduced instruction set computing ; Ubiquitous computing ; Error detection
  8. Source: 5th International Conference on Embedded and Ubiquitous Computing, EUC 2008, Shanghai, 17 December 2008 through 20 December 2008 ; Volume 1 , January , 2008 , Pages 66-72 ; 9780769534923 (ISBN)
  9. URL: https://ieeexplore.ieee.org/document/4756322