39/2010 : How to Speed-up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining

RR Number

39/2010

Conference

EDCC 2010

Author(s)

Matthias Fuegger, Andreas Dielacher, Ulrich Schmid

Abstract

Fault-tolerant clocking schemes become inevitable when it comes to highly-reliable chip designs. Because of the additional hardware overhead, existing solutions are considerably slower than their non-reliable counterparts. In this paper (A Brief Announcement of this work was presented at PODC'09), we demonstrate that pipelining is a viable approach to speed up the distributed fault-tolerant DARTS clock generation approach introduced in (Függer, Schmid, Fuchs, Kempf, EDCC'06), where a distributed Byzantine fault-tolerant tick generation algorithm has been used to replace the traditional quartz oscillator and highly balanced clock tree in VLSI Systems-on-Chip (SoCs). We provide a pipelined version of the original DARTS algorithm, termed pDARTS, together with a novel modeling and analysis framework for hardware-implemented asynchronous fault-tolerant distributed algorithms, which is employed for rigorously analyzing its correctness & performance. Our results, which have also been confirmed by the experimental evaluation of an FPGA prototype implementation, reveal that pipelining indeed allows to entirely remove the adverse effect of large interconnect delays on the achievable clock frequency, and demonstrate again that methods and results from distributed algorithms research can successfully be applied in the VLSI~context.

Bibtex

@article{FDS10:EDCC,
  author =       "Matthias Fuegger and Andreas Dielacher and Ulrich Schmid",
  title =        "How to Speed-up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining",
  journal =      "EDCC 2010",
  year =         "2010",
  month =        "Jan."
}

Download

Get camready.pdf - Adobe PDF-format, (322.41 KB; posted at January 03 2011; )