Sciweavers

8 search results - page 1 / 2
» Optimizing sequential verification by retiming transformatio...
Sort
View
DAC
2000
ACM
13 years 9 months ago
Optimizing sequential verification by retiming transformations
Gianpiero Cabodi, Stefano Quer, Fabio Somenzi
ICCAD
1998
IEEE
80views Hardware» more  ICCAD 1998»
13 years 9 months ago
On the optimization power of retiming and resynthesis transformations
Retiming and resynthesis transformations can be used for optimizing the area, power, and delay of sequential circuits. Even though this technique has been known for more than a de...
Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, R...
VLSID
1999
IEEE
87views VLSI» more  VLSID 1999»
13 years 9 months ago
Optimal Retiming for Initial State Computation
Retiming is a transformation that optimizes a sequential circuit by relocating the registers. When the circuit has an initial state, one must compute an equivalent initial state f...
Peichen Pan, Guohua Chen
ICCAD
2007
IEEE
106views Hardware» more  ICCAD 2007»
14 years 1 months ago
A general model for performance optimization of sequential systems
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
Dmitry Bufistov, Jordi Cortadella, Michael Kishine...
ICCAD
2001
IEEE
180views Hardware» more  ICCAD 2001»
14 years 1 months ago
On the Optimization Power of Redundancy Addition and Removal Techniques for Sequential Circuits
This paper attempts to determine the capabilities of existing Redundancy Addition and Removal (SRAR) techniques for logic optimization of sequential circuits. To this purpose, we ...
Enrique San Millán, Luis Entrena, Jos&eacut...