Regularity driven logic synthesis
Thomas Kutzschebauch, Leon Stok
ICCAD 2000
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. © 1996 IEEE.
Thomas Kutzschebauch, Leon Stok
ICCAD 2000
Guy Even, Joseph Naor, et al.
Journal of the ACM
Gabriel M. Silberman, Ilan Y. Spillinger
Integration, the VLSI Journal
Wilm Donath, Prabhakar Kudva, et al.
DATE 2000