[ main page ] [ back ]

9/2012 : Designing Robust GALS Circuits with Triple Modular Redundancy

RR Number
9/2012
Conference
2012 European Dependable Computing Conference (EDCC 2012)
Author(s)
Jakob Lechner
Abstract
In this paper we describe a new method for building fault-tolerant globally asynchronous locally synchronous (GALS) systems based on triple modular redundancy. In order to avoid a single point of failure, we present a redundant clocking scheme for providing independent clock signals to the triplicated GALS modules. Independent clocking, however, requires the use of an alternative recovery mechanism, which performs voting only at certain safe synchronization points. An implementation of an asynchronous state machine controlling this recovery process is given and thoroughly evaluated concerning its robustness against soft-errors. With the help of model checking the fault-resilience of the proposed circuit is formally verified. A case study, including a description for the design automation of GALS-based TMR systems, shows the viability of the new architecture. The resulting solution offers low area overheads and a competitive performance compared to standard TMR approaches.
Bibtex
@INPROCEEDINGS{6214778,
author={Lechner, J.},
booktitle={Dependable Computing Conference (EDCC), 2012 Ninth European},
title={Designing Robust GALS Circuits with Triple Modular Redundancy},
year={2012},
month={may},
volume={},
number={},
pages={227 -236},
keywords={Clocks;Delay;Generators;Logic gates;Synchronization;System recovery;Tunneling magnetoresistance;asynchronous circuits;logic design;asynchronous state machine;fault-tolerant globally asynchronous locally synchronous systems;redundant clocking scheme;robust GALS circuits design;soft-errors;triple modular redundancy;Asynchronous circuit design;Fault-tolerance;GALS;Redundant clocking;TMR;},
doi={10.1109/EDCC.2012.25},
ISSN={},}
Download

[ main page ] [ back ]