Sciweavers

TODAES
1998

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

13 years 11 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)