Abort message occures in Conformal LEC

[nemolee]

lec abort

Dear all,

I processed RTL and GATE comparision in Conformal LEC.
And some messages output on screen.

Abort point is like this:
(G) + 4459 DFF /Icca_core/Icca_aply/Icca_algm_e/s4_mul_3op_reg[9]
(R) + 4464 DFF /Icca_core/Icca_aply/Icca_algm_e/s4_mul_3op_reg[9]/U$1/U$1

The summary is as bellow:
================================================================================
Compared points PO DFF Total
--------------------------------------------------------------------------------
Equivalent 609 11261 11870
--------------------------------------------------------------------------------
Abort 0 76 76
================================================================================

Does anyone can tell me WHAT, WHY and HOW to solve this problem?
Thanks.

 

[joe2moon]

conformal abort

Please see the topic "lec check abort point help",

 

[spauls]

conformal u$1

check in RTL wether clock is reaching to these abort points.