i got a unmapped point when i am doing LEC (RTL vs netlist)...
in the log file, it (DFF) is printed as NOT-Mapped...
but on the terminal, it (DFF) is displayed as Extra...
however, no NEQ is reported!
when i checked out the netlist, i found the DFF was removed for it was redudant ...
should I do some special treatment or just let it pass?
Please check the following key points belong to Golden(RTL) or Revised(Gate-level netlist) first,
NOT-Mapped, and
Extra.
Secondly, Logic equivalence check tool only checks "mapped" key points.
So please make sure all desired key points have been mapped before going to compare stage.