verifCreateVsifScript

verifCreateVsifScript(
g_sessionId
t_vsifFileName
[t_batchFileName]
)
=> t / nil

Description

Creates a Verification Simulation Input File (*.vsif) and batch script file for the specified Verifier session that is connected to the vManager server. This allows running Verifier from vManager.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
t_vsifFileName	VSIF file name.
t_batchFileName	Batch script file name that is used to launch Verifier and run simulations. If this value is not defined, the VSIF basename with "_run" appended is used.

Value Returned

t	VSIF and batch script files are created successfully.
nil	File exists, or Verifier does not have the permissions to write to the file, or the command is unsuccessful.

Examples

The following example starts a Verifier session with vManager setup and creates the required files.

uid = verifOpenCellView("amsPLL" "TOP_verification" "verification")
INFO (VERIFIER-9008): Successfully downloaded from vm-verifier-team.8080 APB_UART_noref.vplanx.
INFO (VERIFIER-8215): Started Verifier session '0'.
=> 0

Creates myRun.vsif and myRun_run.

verifCreateVsifScript(uid "myRun.vsif")
=> t
verifCreateVsifScript(uid "scripts/myRun.vsif")
*WARNING* (VERIFIER-5009): Failed to open file 'scripts/myRun_run' for writing. Check the file permissions and try again.
=> nil

Related Topics

verifGetVManagerProjects

verifIsVManagerConnected

verifIsVManagerEnabled

verifUploadToVManager

verifVPlanExists

Verifier-vManager Functions

Return to top