DocumentCode
561371
Title
Self-timing: A step beyond synchrony
Author
Sutherland, Ivan
Author_Institution
Portland State Univ., Portland, OR, USA
fYear
2011
fDate
Oct. 30 2011-Nov. 2 2011
Firstpage
2
Lastpage
2
Abstract
Each part of a self-timed system starts work as soon as all its inputs are available, taking whatever time it needs to do its job and signaling when it is done. Each part waits for its predecessors to finish. The parts operate concurrently but not synchronously. Self-timed systems use local timing signals rather than a global clock. Self-timing eliminates the rigidity and energy consumption of a global clock. Self-timed systems operate over a wide range of power supply voltage. They automatically go slower at reduced voltage, saving energy both from lower voltage and from reduced speed. Their power-saving properties are making them increasingly attractive. The design challenge posed by self-timing is the subject of this tutorial. Self-timed systems need the usual proofs of logical correctness. In addition, because they can take advantage of average rather than worst-case delay, analysis of circuit delay based on data statistics will be important. Of course, it´s essential to check the timing of local signals, but commercial timing tools all check timing against a global “clock” signal that´s absent from self-timed systems. Instead, self-timing focuses attention on the relative timing of pairs of signals. Self-timed systems pose all the elusive problems of concurrency: deadlock, non-determinism, and arbitration.
Keywords
concurrency control; power aware computing; arbitration problem; circuit delay analysis; concurrency problem; data statistics; deadlock problem; energy consumption; global clock; local signal timing; local timing signal; logical correctness; nondeterminism problem; power supply voltage; power-saving property; self-timed system; Clocks; Delay; Educational institutions; Synchronization; System recovery; Tutorials;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods in Computer-Aided Design (FMCAD), 2011
Conference_Location
Austin, TX
Print_ISBN
978-1-4673-0896-0
Type
conf
Filename
6148906
Link To Document