Sciweavers

6 search results - page 1 / 2
» Retiming and resynthesis with sweep are complete for sequent...
Sort
View
FMCAD
2009
Springer
13 years 11 months ago
Retiming and resynthesis with sweep are complete for sequential transformation
— There is a long history of investigations and debates on whether a sequence of retiming and resynthesis is complete for all sequential transformations (on steady states). It ha...
Hai Zhou
ICCAD
2007
IEEE
109views Hardware» more  ICCAD 2007»
14 years 1 months ago
Inductive equivalence checking under retiming and resynthesis
Retiming and resynthesis are among the most important techniques for practical sequential circuit optimization. However, their applicability is much limited due to verification c...
Jie-Hong Roland Jiang, Wei-Lun Hung
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...
ASPDAC
2009
ACM
144views Hardware» more  ASPDAC 2009»
13 years 9 months ago
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee
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...