There is a problem when using LEC10.1 check for custom design (named module A).I checked the Module A two times. First, I check it alone, that is set module A as root module, and then abstract and compare. The result shows that the Golden and Revised design is equivalent.Second, I check it during hierarchical comparison. Problems come here. The constraints are the same as the first comparison. But the result shows the logic between the Golden and Revised is not equivalent.I find that reason may be is that during hierarchical comparison the LEC cannot correctly model the abstracted circuit.
When run first comparison, LEC can find DLAT as a key point in abstracted circuit, But during the second hierarchical comparison LEC cut the combination feedback as a key point (DLAT has a combination feedback to hold the value). That confused me. How to control LEC to model the circuit.
The following message showed during the hierarchical comparison. But not appeared during the first comparison.
// (F3) Cut 21 feedback loop(s), 14 with name
I have tried some ways to fix the problem. But it cannot works.
Any good ideas?