A framework for fault-tolerant microarchitecture synthesis
Ramesh Karri, Alex Orailoğlu · 2002
It is shown how different fault-tolerance requirements can be incorporated into high-level synthesis. A framework that subsumes algorithms for synthesizing self-recovering, fault-secure, and reliable microarchitectures is presented. The framework can be used to synthesize a specific fault-tolerant microarchitecture by specifying the appropriate constraints and then invoking the corresponding synthesis subsystem.