Unmapped point when doing LEC

[bradyue]

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?

 

[vikas_lakhanpal27]

lec unmapped points

have u given ur falttening options properly?

try this command at the
set system mode lec -nomap
map key points
comapre -seq_constant -seq_constant_feedback -repeat
map key ponits.

Might be it help u but u shuld find why it happening.

 

[joe2moon]

lec not-mapped

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.

 

[bradyue]

lec unmapped

yes, in SETUP mode, there exists NOT-MAPPED key points, as i said before.
In RTL, that register exists.
In netlist, that register is removed by tools.

When I anaylze the RTL, i found that reigster will have no influence for every PO.
so, should i ignore that Not-mapped points?

 

[silencer3]

unmapped point in lec

simplest thing is to provide the SVF file from synthesis. This will tell the tool what logic is removed, what is optimized and how its optimized.

This resolves most issues.