THE RETIMING LEMMA - A SIMPLE PROOF AND APPLICATIONS

Authors
EVEN G
Citation
G. Even, THE RETIMING LEMMA - A SIMPLE PROOF AND APPLICATIONS, Integration, 20(2), 1996, pp. 123-137
Citations number
14
Categorie Soggetti
System Science","Computer Sciences","Computer Science Hardware & Architecture
Journal title
Integration → ACNP
ISSN journal
01679260
Volume
20
Issue
2
Year of publication
1996
Pages
123 - 137
Database
ISI
SICI code
0167-9260(1996)20:2<123:TRL-AS>2.0.ZU;2-Q
Abstract
We present a new proof of the Retiming Lemma, which was first formulat ed 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 R etiming Lemma are given: one for designing circuits and the other for testing circuits.