verifPostResultsToVManager

verifPostResultsToVManager(
g_sessionId
[t_vmSessionName]
)
=> t / nil

Description

Posts the verification results of a simulation to the specified vManager session.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
t_vmSessionName	Name of the vManager session that contains all the verification and simulation results for each implementation in Verifier. The default value is verifier_session_<lib>_<cell>_<view>_<history>_<username>_<time>.

Value Returned

t	Post verification results to the new vManager session successfully.
nil	vManager is not setup in the specified Verifier session or the command is not successful.

Examples

The following example starts a Verifier session with vManager setup and posts verification results.

uid = verifOpenCellView("amsPLL" "TOP_verification" "verification")
INFO (VERIFIER-9008): Successfully downloaded from vm-verifier-team.8080 /tmp/myPlan.vplanx.
INFO (VERIFIER-8215): Started Verifier session '0'.
=> 0
verifPostResultsToVManager(uid)
*WARNING* (VERIFIER-9014): The implementation 'amsPLL/PLL_VCO_320MHZ_tb/maestro/Active' has not yet been run by Verifier.
Therefore, no results can be posted to vManager.
INFO (VERIFIER-9010): Posting results to verifier_session_amsPLL_TOP_verification_verification_User_2019_03_04_22_15_20_2410.
INFO (VERIFIER-9011): Successfully post results to verifier_session_amsPLL_TOP_verification_verification_User_2019_03_04_22_15_20_2410.
=> t

Related Topics

verifDownloadFromVManager

verifGetVManager

verifGetVManagerProjects

verifIsVManagerConnected

verifUploadToVManager

Verifier-vManager Functions

Return to top