verifExportJson

verifExportJson(
g_sessionId
[ ?filename t_filename ]
[ ?compact g_compact ]
)
=> t_filename / nil

Description

Exports the Verifier session as a json file. The json file contains details about the session, including the requirements, implementations, mappings, and simulation results.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
?filename t_filename	Name of the file to export to. If no filename is given, the details are exported to a file in the format <lib>_<cell>_<view>.json .
?compact g_compact	Exports the json file in compact format if nil. Otherwise, it is indented and printed over multiple lines.

Value Returned

t_filename	Name of the file that was created.
nil	The command is unsuccessful or an error occurred.

Examples

The following example shows how to export the Verifier session information as a json file:

sess = verifOpenCellView("test" "sample" "verifier")
=> 0

verifExportJson(sess)
=> "/home/user/dir1/test_sample_verifier.json"

verifExportJson(sess ?filename "v1.json")
=> "/home/user/dir1/v1.json"

verifExportJson(sess ?filename "v2.json" ?compact t)
=> "/home/user/dir1/v2.json"

Related Topics

verifCompareImportedFiles

verifExportReqsToFile

verifGetImportedFiles

verifImportFile

verifMergeImportedFiles

Return to top