Sciweavers

ICCAD
2007
IEEE
109views Hardware» more  ICCAD 2007»
14 years 9 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