non-corresponding support points in LEC

[alokem]

If I understand properly , Non-Corresponding support point(s) in LEC are the key points present in fanin cone
of a compare point in either golden or revised design, not in both . Why does non-corresponding support points appear for a
compare point , i.e , how inputs of the combo logic cone for a same compare point can differ between golden and
revised ? What is the probable logic transformation which can be happen for the same compare point between
golden and revised w.r.t mapped and not-mapped non corresponding support ?

 

[alokem]

Can anybody help me to get answers of my above mentioned queries ?

 

[mail4idle2]

Q) how inputs of the combo logic cone for a same compare point can differ between golden and revised
A) Depends on what options is used in synthesis to get netlist and constraints you have applied like DFT.

Q) What is the probable logic transformation which can be happen for the same compare point between golden and revised w.r.t mapped and not-mapped non corresponding support ?
A) It all depends upon modeling and synthesised netlist you have got.

 

[alokem]

Q) how inputs of the combo logic cone for a same compare point can differ between golden and revised
A) Depends on what options is used in synthesis to get netlist and constraints you have applied like DFT.

Q) What is the probable logic transformation which can be happen for the same compare point between golden and revised w.r.t mapped and not-mapped non corresponding support ?
A) It all depends upon modeling and synthesised netlist you have got.

Thanks for the answer ..

For A) Can you please elaborate more on "Depends on what options is used in synthesis to get netlist" ?
I am assuming that you have tried to mean by "constraints you have applied like DFT" is the missing DFT constraints
during LEC .. Correct me if I am wrong ..

 

[mail4idle2]

Yes You are right.