what exactly use in equivalant check?

[u24c02]

Hi
I willing to pre equivalence check.
And i have original RTL code.

But i'm not sure about what exactly file used fir equivalence check?

Original RTL vs no scan inserted netlist?
Original RTL vs scan inserted netlist?

May be i think that the former is correct but i'm not sure.
Does anyone know what exactly i have to use?

 

[layowblue]

you can put case_analysis(i.e. functional mode setting) to scan-inserted netlist to check equivalence with golden RTL.

 

[u24c02]

Thanks
might be functional mode just check function in scan inserted netlist.