Stats

  • Locked Locked
  • Replies 4
  • Subscribers 61
  • Views 22363
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

LEC : Unmapped Points issue

archive

Hi ,

We are using conformal software Version 7.1 to perform LEC check.
we used netlists ( VQM )  to compare the Logic equivalences. Both the netlists are generated using synplify tool. When compared between these two netlists we could see warnings Unmapped points due to DLAT's ( D LATCHES ).

Few among the warning messages are extracted and shown below.

unmapped point (unreachable: all paths to outputs are blocked):
(G) 9404 DLAT /sclrsclrb2_ebus_top_ebus_slave_to_gms_top_v2_ebus_controller_TIMEOUT_ERR_1_sqmuxa_0_a3_0_a2_i_o2_4_a_s_cZ/lc_ff

Unmapped point (unreachable: all paths to outputs are blocked):
(R) 9408 DLAT /G_4029_cZ/lc_ff.

Unmapped point (unreachable: all paths to outputs are blocked):
(G) 9409 DLAT /sclrsclrb2_ebus_top_ebus_slave_to_gms_top_v2_ebus_controller_TIMEOUT_ERR_1_sqmuxa_0_a3_0_a2_i_o2_a_cZ/lc_ff

Unmapped point (unreachable: all paths to outputs are blocked):
(R) 9409 DLAT /G_4029_a_cZ/lc_ff

In the warning messages mentioned above,
1, G refers to golden & R refers to Revised netlists.
2, Lc_ff refers to technology specific DFF intance name.

We observed that, DLAT's are araised due to CLK pins of the instanced DFF  are grounded. lc_ff is an instance name of the DFF ( Technology Specific )

Based on this we have following queries:-

1, Are this messages are valid warnings?
2, Is there any approach to reduce or eliminate these warning messages?

Kindly help us about this issue.

Thanks,
Dinakaran.R


Originally posted in cdnusers.org by caddina
Parents
  • archive

    Hi Dinakaran

    Unreachable means there's no path from that keypoint to a primary output through any sort of logic.

    Hence they can't have an effect on the behaviour of the design. Conformal by default won't map them nor compare them. The typical causes:

    1) unused code in RTL
    2) spare gates
    3) disabled logic (e.g. pre to post test)

    We still like to show you have them though because they could be a problem if they are unexpected.

    There's a way to make some of the warnings go away (set mapping method -unreach). I do ***not*** recommend using it however. It makes the tool more strict than is necessary for most EC runs. Yes, warnings about unreachables will be reduced but you may wind up with non-equivalences you won't care about.

    Also, since you're trying to run gate-gate on 2 different synthesis netlists you would want to have look at our 'tip of the month' posted on June 13 to see the potential pitfalls associated with that.

    Chrystian


    Originally posted in cdnusers.org by croy
Reply
  • archive

    Hi Dinakaran

    Unreachable means there's no path from that keypoint to a primary output through any sort of logic.

    Hence they can't have an effect on the behaviour of the design. Conformal by default won't map them nor compare them. The typical causes:

    1) unused code in RTL
    2) spare gates
    3) disabled logic (e.g. pre to post test)

    We still like to show you have them though because they could be a problem if they are unexpected.

    There's a way to make some of the warnings go away (set mapping method -unreach). I do ***not*** recommend using it however. It makes the tool more strict than is necessary for most EC runs. Yes, warnings about unreachables will be reduced but you may wind up with non-equivalences you won't care about.

    Also, since you're trying to run gate-gate on 2 different synthesis netlists you would want to have look at our 'tip of the month' posted on June 13 to see the potential pitfalls associated with that.

    Chrystian


    Originally posted in cdnusers.org by croy
Children
No Data

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.