US7607115B1 - System, Method and Computer Program Product for Timing-Independent Sequential Equivalence Verification