[SOLVED] Cadence Conformal Flow (LEC) - How to proceed from where I am currently?

[dpaul]

HI all,

I am completely new to LEC using Conformal. So my question would be very basic (I am comparing RTL vs Netlist).

I have studied the Conformal user-manual & ref-manual and I know how to use the tool.
But I need someone to tell me the flow or steps I should take to proceed further with the verification.


Given below is what I have done

Read in the Golden & Revised......
Then have set some Constraints....
Changed to LEC mode....
Generated reports....


Now in the LEC Mapping manager, I have ......

In the Unmapped Points section-
Some numbers of "Not-mapped" & "Unreachable" points (nothing else) in Golden(RTL).
Only "Unreachable" points in Revised(Netlist)

In the Compared Points section-
A lot of 'Non-equivalent' points.


I need some suggestions as to how should I proceed from this point?
What should be my first place of analysis and line of action for debugging?


Regards,
DP

 

[ljwfred]

u can debug it from the unmapped points.

maybe there are some dff merged together when synthesis or some CG inserted and so on.

you need to check it.

some unmapped points can make some effect of the nonequavilent points.

 

[dpaul]

Problem solved! Was not using the correct library files.

The command "remodel -seq_const -repeat" was also very helpful in LEC mode.