Stats

  • Locked Locked
  • Replies 1
  • Subscribers 64
  • Views 13092
  • 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

IFV Dead code check fail

BharathECE

In Formal properyty checking deadcode assertions and property getting failed.What is the meaning of these getting failed.How we can pass them.

How to debug this 

  • The meaning of a failing deadcode check is that line of code is unreachable.  Meaning no matter how the inputs are exercised, given the

    •  DUT
    • initial state you provided the tool of the DUT
    • any constraints you might have applied
    there is no possible way to reach that code. In terms of understanding this more and debugging these, I strongly urge you to contact your local AE. This isn't something that can easily be discussed on this forum.
     
    Chris 

     

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.