hi , iam naveen
i am testing LEC for a big module using conformal..
i got abort points ..and using analyze abort -compare command i tried to solve the issue..
but the number is not decreasing to zero.
Can anyone help me how to apply test vectors in schematic and check the LEC for abort points manually
Have you had a look at this paper available at support.cadence.com?
"Guidelines for handling aborts with Encounter Conformal equivalency checking"