The Retiming Lemma: A simple proof and applications

Guy Even

doi:10.1016/0167-9260(95)00021-6

The Retiming Lemma: A simple proof and applications

Guy Even^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

Abstract

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 language	English
Pages (from-to)	123-137
Number of pages	15
Journal	Integration, the VLSI Journal
Volume	20
Issue number	2
DOIs	https://doi.org/10.1016/0167-9260(95)00021-6
State	Published - Mar 1996
Externally published	Yes

Keywords

Circuit initialization
Circuit testing
Retiming
Space-time transformations
Synchronous circuits

Access to Document

10.1016/0167-9260(95)00021-6

Cite this

@article{72bbc51a5ba14096800f8db2fa710c4e,

title = "The Retiming Lemma: A simple proof and applications",

abstract = "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.",

keywords = "Circuit initialization, Circuit testing, Retiming, Space-time transformations, Synchronous circuits",

author = "Guy Even",

year = "1996",

month = mar,

doi = "10.1016/0167-9260(95)00021-6",

language = "אנגלית",

volume = "20",

pages = "123--137",

journal = "Integration, the VLSI Journal",

issn = "0167-9260",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - The Retiming Lemma

T2 - A simple proof and applications

AU - Even, Guy

PY - 1996/3

Y1 - 1996/3

N2 - 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.

AB - 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.

KW - Circuit initialization

KW - Circuit testing

KW - Retiming

KW - Space-time transformations

KW - Synchronous circuits

UR - http://www.scopus.com/inward/record.url?scp=0030104712&partnerID=8YFLogxK

U2 - 10.1016/0167-9260(95)00021-6

DO - 10.1016/0167-9260(95)00021-6

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0030104712

SN - 0167-9260

VL - 20

SP - 123

EP - 137

JO - Integration, the VLSI Journal

JF - Integration, the VLSI Journal

IS - 2

ER -

The Retiming Lemma: A simple proof and applications

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this