Retiming revisited and reversed

Guy Even, Ilan Y. Spillinger, Leon Stok

Research output: Contribution to journalArticlepeer-review

Abstract

Retiming is a very promising transformation of circuits which preserves functionality and improves performance. Its benefits are especially promising in automatic synthesis of circuits from higher-level descriptions. However, retiming has not been widely included in current design tools and methodologies. One of the main obstacles is the problem of finding an equivalent initial state for the retimed circuit. In this paper, we introduce a simple modification of the retiming algorithm of Leiserson and Saxe. The modified algorithm helps minimize the effort required to find equivalent initial states and reduces the chance that the network needs to be modified in order to find an equivalent initial state. This algorithm is the kernel of a new efficient retiming method, which searches for optimal retimings while preserving the initial state condition. The paper also presents an improved method to perform the initial state calculation.

Original languageEnglish
Pages (from-to)348-357
Number of pages10
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume15
Issue number3
DOIs
StatePublished - 1996
Externally publishedYes

Fingerprint

Dive into the research topics of 'Retiming revisited and reversed'. Together they form a unique fingerprint.

Cite this