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