Optimal self-recovering microarchitecture synthesis

Ramesh Karri, Alex Orailoglu

Research output: Chapter in Book/Report/Conference proceedingConference contribution


In this paper, we propose a novel ILP model for the scheduling problem in self-recovering microarchitecture synthesis. A self-recovering microarchitecture, on detecting a (transient) fault, rolls back to a previous known correct state -the checkpoint- and retires the computation. The maximum distance between adjacent checkpoints -the retry period- is determined by the transient fault rate as well as the average lifetime of a transient fault. At a checkpoint, the results of intermediate computations are compared (using voters), and if correct saved in registers. Consequently, associated with each checkpoint, there is a time overhead due to comparison and an area overhead due to the fault-tolerant nature of the voters. Firstly, we formulate time-constrained scheduling as minimizing either the number of voters or the overall hardware, subject to constraints on the number of clock cycles, the retry period, and the number of checkpoints. Moreover, we develop a model for resource-constrained scheduling wherein both the overall system performance as well as the recovery time overhead are optimized subject to hardware constraints.

Original languageEnglish (US)
Title of host publicationDigest of Papers - International Symposium on Fault-Tolerant Computing
Editors Anon
PublisherPubl by IEEE
Number of pages10
ISBN (Print)0818636823
StatePublished - 1993
EventProceedings of the 23rd International Symposium on Fault-Tolerant Computing - Toulouse, Fr
Duration: Jun 22 1993Jun 24 1993

Publication series

NameDigest of Papers - International Symposium on Fault-Tolerant Computing
ISSN (Print)0731-3071


OtherProceedings of the 23rd International Symposium on Fault-Tolerant Computing
CityToulouse, Fr

ASJC Scopus subject areas

  • Hardware and Architecture


Dive into the research topics of 'Optimal self-recovering microarchitecture synthesis'. Together they form a unique fingerprint.

Cite this