Abstract
We present a new proof of the retiming lemma, which was formulated and proved by Leiserson and Saxe [LS81]. Our proof relies on space-time transformations, presented first by Hennie [H61]. We show two applications of the retiming lemma to designing and testing of circuits.
| Original language | American English |
|---|---|
| Number of pages | 20 |
| State | Published - 17 Nov 1993 |
| Externally published | Yes |