Finite state machine synthesis with concurrent error detection

Abstract

A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the next-state logic of the finite state machines are checked independently. By checking parity on the present state instead of the next state, this technique allows detection of errors in bistable elements (that were hitherto not detected by many previous techniques) while requiring no changes in the original machine specifications. This paper also examines design choices with respect to parity prediction circuits. Two such examined choices are the multi-parity-group and the single-paritygroup techniques. A new state encoding technique based on the JEDI program is developed for the synthesis of the next-state logic with an additional parity output. Synthesis results produced by our proposed procedure for the MCNC'89 FSM benchmark circuits show on average a 25% reduction in literal counts compared to previous techniques.

Weighted code with summation without carries for solving the problems of technical diagnostics of discrete systems

“…Техническое состояние функционирующего дискретного устройства (без отключения от управляемых объектов) позволяет контролировать самопроверяемые схемы встроенного контроля (ССВК) [11][12][13][14]. При организации систем функционального контроля также используют избыточные коды, ориентированные на обнаружение ошибок [15,16].…”

System-on-chip oriented fault-tolerant sequential systems implementation methodology

“…In particular, a self-checking FSM, synthesized like in [7], has been mapped in the FPGA contained in the SoC. The control of the outputs correctness is achieved by using parity based code.…”

“…In the presented methodology, the self-checking property has been obtained by using parity check codes and the FSM (mapped into the FPGA) is synthesized by using the technique presented in [7]. The use of parity check codes means that output correct code words show always the same parity.…”