During comparison I get some non-equivalent points. Some non equivalencies are due to " DC due to clock/data interaction and DC due to asynchronous interaction". Due to this in Golden, the input to a select input of mux is 1 and that to the revised is X. What is the solution ?. Kindly reply.