Home > Community > Forums > Functional Verification > IFV Dead code check fail

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 IFV Dead code check fail 

Last post Mon, May 20 2013 8:19 AM by ckomar. 1 replies.
Started by BharathECE 20 May 2013 12:38 AM. Topic has 1 replies and 554 views
Page 1 of 1 (2 items)
Sort Posts:
  • Mon, May 20 2013 12:38 AM

    • BharathECE
    • Not Ranked
    • Joined on Fri, Mar 22 2013
    • Hyderabad, Andhra Pradesh
    • Posts 12
    • Points 210
    IFV Dead code check fail Reply

    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 

    • Post Points: 20
  • Mon, May 20 2013 8:19 AM

    • ckomar
    • Not Ranked
    • Joined on Thu, Jul 17 2008
    • Phoenix, AZ
    • Posts 11
    • Points 100
    Re: IFV Dead code check fail Reply

    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 

     

    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by BharathECE at 20 May 2013 12:38 AM. Topic has 1 replies.