Efficient equivalence checking of multi-phase designs using retiming.

Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee

Browse the full ICCAD paper archive.