Self-healing ability of sequential circuits

We investigate architectures that enable circuits to survive without introducing any additional overhead. We deal with microcontrollers described by Finite State Machines (FSMs) and implemented as Synchronous Sequential Circuits (SSCs). We use the on-set realization of output and next state functions. Furthermore, we deal with implementations where both the next state and output equations are unate in state variables and binate in primary input variables. The proposed synthesis technique implements self-healing SSC and minimizes the required overhead. We investigate the techniques from the point of overheads, assuming that the resulting on-line checking controller will be implemented by a FPGA.