@article{LI2007, 
author = {Ming LI and Shiyi XU and Fayu WAN and Jianwei GU and Mingming PENG and Jinsai JIANG},
title = {Non-Intrusive Design of Self-Checking FSM Based on Convolutional Codes},
year = {2007},
journal = {Tsinghua Science and Technology},
volume = {12},
number = {S1},
pages = {73-77},
keywords = {self-checking, finite state machines (FSMs), convolutional codes, error-detection},
url = {https://www.sciopen.com/article/10.1016/S1007-0214(07)70087-1},
doi = {10.1016/S1007-0214(07)70087-1},
abstract = {A non-intrusive design of self-checking finite state machines (FSMs) in VLSI circuits was investigated using convolutional codes. We propose a novel scheme which cannot only detect but also correct errors occurred in FSM states. The error state will be corrected and sent back to the FSM, so that the concurrent error in the current state is detected and corrected immediately. Moreover, we realize the IP core of the self-checking module by SMIC 0.25-µm CMOS technology and also simulate its function in FPGA.}
}