Home > Community > Forums > Functional Verification > can we have debug statements displayed with IFV tool

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

 can we have debug statements displayed with IFV tool 

Last post Tue, Jun 11 2013 7:27 AM by TAM1. 1 replies.
Started by BharathECE 11 Jun 2013 03:16 AM. Topic has 1 replies and 597 views
Page 1 of 1 (2 items)
Sort Posts:
  • Tue, Jun 11 2013 3:16 AM

    • BharathECE
    • Not Ranked
    • Joined on Fri, Mar 22 2013
    • Hyderabad, Andhra Pradesh
    • Posts 12
    • Points 210
    can we have debug statements displayed with IFV tool Reply

    Hi,

     Iam  doing formal verification om certain block and iam having some of the display statement in source module.WIll those display statements displayed when i do simulation using IFV.

     

    Ex:- iam having $display statement which is not getting generated in the log what could be the reason. 

    Filed under: ,
    • Post Points: 20
  • Tue, Jun 11 2013 7:27 AM

    • TAM1
    • Top 75 Contributor
    • Joined on Thu, Jul 17 2008
    • HOME, PA
    • Posts 83
    • Points 1,105
    Re: can we have debug statements displayed with IFV tool Reply

     No, you won't see $display statements when running IFV. IFV does a mathematical, or "formal", proof of the design. It is *not* a simulator. A $display statement is a simulator statement and is ignored by the tool.

     

    PS. IFV does run the simulator for some few cranks during the initialization step when you issue the "run" TCL command. But the "prove" command works on a mathematical model of the design.

    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by BharathECE at 11 Jun 2013 03:16 AM. Topic has 1 replies.