2

---

Verifier Session and Setup Functions

---

You can launch a Verifier session from the Virtuoso environment. A Verifier session can have only unique implementation cellview–history entries.

While a Verifier session only supports running one cellview in a Virtuoso session, it is possible to open multiple Verifier sessions in a Virtuoso session. You can open a read-only Verifier cellview in multiple Virtuoso sessions at the same time. However, you can run a simulation in only one of the sessions at a time so that the run summary data of the simulation is not overwritten.

When saving a session, Verifier creates a backup of the settings.v3 file as settings.v3~. When you open a new session, Verifier checks if the current settings.v3 contains any setup information.

When you initiate the simulation of a local implementation from Verifier, a session is loaded with the implementation cellview where the specified history is set as the active history within that session.

The SKILL functions that let you manage the ADE Verifier setup and session can be broadly classified in the following categories.

• Batch Functions - These functions let you create batch scripts in Verifier.
  • verifCreateBatchScript
  • verifIsBatchRunProcess
• Startup, Exit, and Session Information Functions - These functions let you start and exit Verifier.
  • verifCloseSession
  • verifGetAllSessions
  • verifGetCallbacks
  • verifGetCellViewSession
  • verifGetSessionCellView
  • verifGetWindow
  • verifIsSessionModified
  • verifIsSessionReadOnly
  • verifIsValidSession
  • verifOpenCellView
  • verifRegisterCallback
  • verifRemoveCallback
  • verifSaveSession
  • verifSaveSessionAs
• Preferences Functions - These functions let you set your Verifier preferences.
  • verifGetOptionVal
  • verifSetOptionVal

Related Topics

Requirement Functions

Implementation Functions

Return to top