Problems with Synopsys DC and Cadance Confromal

Hi All

My current flow requires me to synthesize using Synopsys DC and then
we run formal verification using cadence as a double check on the
synthesis. The problem comes since some times some of the point's
don't get matched between RTL and Net list. Usually this is done by
modifying the model flattening options in confromal.

Right now this is done as a trial and error by toggling each model
flattening option. I understand that there would be some correlation
between the type of logic/optimization parameters that I have used in
Synopsys DC and the flattening parameters that I must set for a
conformal pass.
Is any literature on this available on this? do any one else fae
similar issues and they have any solution/rule of thumbs?

Thanks in advance
Sabarinath K
DFT Engineer

olympusmons.blogsome.com