The Retiming Lemma: A simple proof and applications

Guy Even*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


We present a new proof of the Retiming Lemma, which was first formulated and proved by Leiserson and Saxe (1981, 1983). Our proof relies on space-time transformations, and shows how retiming can be interpreted in the domain of space-time transformations. Two applications of the Retiming Lemma are given: one for designing circuits and the other for testing circuits.

Original languageEnglish
Pages (from-to)123-137
Number of pages15
JournalIntegration, the VLSI Journal
Issue number2
StatePublished - Mar 1996
Externally publishedYes


  • Circuit initialization
  • Circuit testing
  • Retiming
  • Space-time transformations
  • Synchronous circuits


Dive into the research topics of 'The Retiming Lemma: A simple proof and applications'. Together they form a unique fingerprint.

Cite this