Sciweavers

69
Voted
TODAES
1998

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

14 years 8 months ago
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 1998
Where TODAES
Authors Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
Comments (0)