TY - JOUR
T1 - Reliability Analysis for Unreliable FSM Computations
AU - SABET, Amir Hossein Nodehi
AU - QIU, Junqiao
AU - ZHAO, Zhijia
AU - KRISHNAMOORTHY, Sriram
PY - 2020/6
Y1 - 2020/6
N2 - Finite State Machines (FSMs) are fundamental in both hardware design and software development. However, the reliability of FSM computations remains poorly understood. Existing reliability analyses are mainly designed for generic computations and are unaware of the special error tolerance characteristics in FSM computations. This work introduces RelyFSM-a state-level reliability analysis framework for FSM computations. By modeling the behaviors of unreliable FSM executions and qualitatively reasoning about the transition structures, RelyFSM can precisely capture the inherent error tolerance in FSM computations. Our evaluation with real-world FSM benchmarks confirms both the accuracy and efficiency of RelyFSM.
AB - Finite State Machines (FSMs) are fundamental in both hardware design and software development. However, the reliability of FSM computations remains poorly understood. Existing reliability analyses are mainly designed for generic computations and are unaware of the special error tolerance characteristics in FSM computations. This work introduces RelyFSM-a state-level reliability analysis framework for FSM computations. By modeling the behaviors of unreliable FSM executions and qualitatively reasoning about the transition structures, RelyFSM can precisely capture the inherent error tolerance in FSM computations. Our evaluation with real-world FSM benchmarks confirms both the accuracy and efficiency of RelyFSM.
KW - error tolerance
KW - Finite state machine
KW - probabilistic model
KW - reliability
UR - http://www.scopus.com/inward/record.url?scp=85088286496&partnerID=8YFLogxK
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-85088286496&origin=recordpage
U2 - 10.1145/3377456
DO - 10.1145/3377456
M3 - RGC 21 - Publication in refereed journal
SN - 1544-3566
VL - 17
JO - ACM Transactions on Architecture and Code Optimization
JF - ACM Transactions on Architecture and Code Optimization
IS - 2
M1 - 12
ER -