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.