Design methodology of FSMs with intrinsic fault tolerance andrecovery capabilities

摘要

When ASICs are dedicated to highly dependable applications,concurrent checking and/or fault-tolerance capabilities are necessary onchip. In particular, FSMs must be protected against permanent andtransient faults. The authors review the main proposals one can fine onthis subject in the literature. Then, an approach is proposed to achieveintrinsic fault tolerance. This approach is based on a specific logicsynthesis for FSMs described by their state transition graph