Home > Community > Forums > Functional Verification > can't run IFV under GUI mode

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't run IFV under GUI mode 

Last post Sun, Nov 23 2008 8:17 PM by arthurwu. 5 replies.
Started by arthurwu 20 Nov 2008 10:08 PM. Topic has 5 replies and 3680 views
Page 1 of 1 (6 items)
Sort Posts:
  • Thu, Nov 20 2008 10:08 PM

    • arthurwu
    • Not Ranked
    • Joined on Thu, Nov 13 2008
    • Posts 6
    • Points 120
    can't run IFV under GUI mode Reply

    i wanted to run IFV under GUI mode, but encountered some problem, the error log as following, please help, thank you!

    by the way, i can run simvision under GUI mode.

    error log:

    ifv: 06.20-s004: (c) Copyright 1995-2008 Cadence Design Systems, Inc.
    simvision: 06.20-s004: (c) Copyright 1995-2008 Cadence Design Systems, Inc.
    Error initializing application
    Application initialization failed: window type "checkset" is not defined
    SimVision process terminated before a connection could be established.
    formalverifier: *E,STRPIN: Could not initialize SimVision connection: SimVision process terminated before a connection was established..

    Filed under:
    • Post Points: 20
  • Fri, Nov 21 2008 1:55 AM

    • JoergM
    • Top 500 Contributor
    • Joined on Thu, Jul 17 2008
    • Munich, Bavaria
    • Posts 28
    • Points 550
    Re: can't run IFV under GUI mode Reply

    Hi Artur,

    this sounds like a environment issue: IFV is picking up SimVision from an IUS installation. Can you check your $PATH variable and make sure the IFV installation is not corrupted?

    If that does not help try removing your ~/.simvision directory and start again.

    Regards,
    Joerg.

    Filed under:
    • Post Points: 20
  • Fri, Nov 21 2008 2:41 AM

    • arthurwu
    • Not Ranked
    • Joined on Thu, Nov 13 2008
    • Posts 6
    • Points 120
    Re: can't run IFV under GUI mode Reply

    Hi, Jogerg,

      Thank you for your help. it's strange because other one can run IFV under GUI mode. i have checked my PATH variable, it's ok. and i can also call simvision under tcl mode in FormalVerifier, just can't run ifv with arg "+gui".

      removing ~/.simvision does not help.

    • Post Points: 20
  • Fri, Nov 21 2008 2:53 AM

    • JoergM
    • Top 500 Contributor
    • Joined on Thu, Jul 17 2008
    • Munich, Bavaria
    • Posts 28
    • Points 550
    Re: can't run IFV under GUI mode Reply

    Hi Artur,

    I recommend to contact your Cadence AE at sourcelink or support.cadence.com to do some further analysis. I never heard of a case like this.

    Joerg.

    • Post Points: 20
  • Fri, Nov 21 2008 6:15 AM

    • tpylant
    • Top 50 Contributor
    • Joined on Fri, Jul 11 2008
    • Austin, TX
    • Posts 135
    • Points 2,030
    RE: Re: can't run IFV under GUI mode Reply
    Arthur,

    Did you use 'which simvision' to verify that you're getting simvision from the IFV release?

    Tim
    • Post Points: 20
  • Sun, Nov 23 2008 8:17 PM

    • arthurwu
    • Not Ranked
    • Joined on Thu, Nov 13 2008
    • Posts 6
    • Points 120
    Re: RE: Re: can't run IFV under GUI mode Reply

    Tpylant,

       yeah, you got the key. i didn't recognize that i should use simvision from the IFV release other than IUS release.

       thank you very much:)

    • Post Points: 5
Page 1 of 1 (6 items)
Sort Posts:
Started by arthurwu at 20 Nov 2008 10:08 PM. Topic has 5 replies.