Hi,all,
The question is when I analyze nonequivalent <gate_id> ,the information as below:
Analyzing non-equivalent compared ponits:
(G) + 4226 DFF *********
(R) + 4226 DFF *********
Compare points' data are non-equivalent.
Following constraints on the support may be necessary:
Constant 0: (G) 60783 DFF *********
Constant 0: (G) 60817 DFF *********
Analysis of non-equivalent compared points:
Possible constant constraint. (Occurrence : 1)
Is there anyone encounter the similar problem?
Is this nonequivalent true or false? how can I deal with it ?
Thanks a lot in advance!
ps: The FFs are all mapped except hundreds of unreachable ones.