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.
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 applicationApplication initialization failed: window type "checkset" is not definedSimVision process terminated before a connection could be established.formalverifier: *E,STRPIN: Could not initialize SimVision connection: SimVision process terminated before a connection was established..
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.
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.
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.
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:)