Sciweavers

21 search results - page 1 / 5
» On Some Transformation Invariants Under Retiming and Resynth...
Sort
View
TACAS
2005
Springer
108views Algorithms» more  TACAS 2005»
13 years 10 months ago
On Some Transformation Invariants Under Retiming and Resynthesis
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
Jie-Hong Roland Jiang
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
112views Hardware» more  ICCAD 1998»
13 years 9 months ago
Using precomputation in architecture and logic resynthesis
Abstract Althoughtremendousadvanceshave been accomplished in logic synthesis in the past two decades, in some cases logic synthesis still cannot attain the improvements possible by...
Soha Hassoun, Carl Ebeling
GECCO
2003
Springer
13 years 10 months ago
Coarse-Graining in Genetic Algorithms: Some Issues and Examples
Following the work of Stephens and coworkers on the coarse-grained dynamics of genetic systems, we work towards a possible generalisation in the context of genetic algorithms, givi...
Andrés Aguilar Contreras, Jonathan E. Rowe,...