A synthesis method for concurrently checked controllers

The authors present a new method for introducing, with a very low overhead, online test facilities in the controller of an application specific integrated circuit. The online test consists in detecting, in the control flow graph, the illegal paths which may be due either to permanent faults or to transient errors. The implementation of the detection facilities relies on a more intelligent choice of the state codes of the controller, which can then be checked by signature analysis. The monitor required for this verification is of very low complexity and can easily be implemented on chip