LEC - confusion with rtl vs netlist
I have a golden RTL. I synthesize this RTL using Synplify and get a netlist, A. Using the VIF flow, I run LEC and find that netlist A and the RTL are equivalent.
I then synthesize the same golden RTL using different synthesis options and the same synthesizer and get a netlist, B. LEC shows that netlist B and the golden are not ...