Enhanced reliability of finite-state machines in FPGA through efficient fault detection and correction | IEEE Journals & Magazine | IEEE Xplore