Home > Community > Forums > Functional Verification > uninitialized state elements

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: *

 uninitialized state elements 

Last post Mon, May 27 2013 5:24 PM by ckomar. 1 replies.
Started by BharathECE 24 May 2013 11:08 PM. Topic has 1 replies and 530 views
Page 1 of 1 (2 items)
Sort Posts:
  • Fri, May 24 2013 11:08 PM

    • BharathECE
    • Not Ranked
    • Joined on Fri, Mar 22 2013
    • Hyderabad, Andhra Pradesh
    • Posts 12
    • Points 210
    uninitialized state elements Reply

    Hi,

    I have some of the stateelements uninitialized in my design.What could be the reason they are uninitialized.What will be the problems we will be having if we have uninitialized state elements. 

    want to understand with an example what are unitialized elements and debug.

     

    Thanks

    Bharath 

    • Post Points: 20
  • Mon, May 27 2013 5:24 PM

    • ckomar
    • Not Ranked
    • Joined on Thu, Jul 17 2008
    • Phoenix, AZ
    • Posts 11
    • Points 100
    Re: uninitialized state elements Reply

    Hi Bharath,

     Could be a number of reasons that the state elements are not initialized. To figure out which elements are uninitialized you can do "init -show". If you want to debug why they are not being initialized you can do "debug -init". This will bring up an empty waveform window that you can add whatever signals you like.

     As for the impact of these uninitialized elements, formal will perform an exploration with these elements being 0 or 1.  In the case where a state element is supposed to be initialized and is not, you could potentially end up with false failures with the cause being an unexpected initial state. 

     Chris 

    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by BharathECE at 24 May 2013 11:08 PM. Topic has 1 replies.