verifCompareImplementationsFromSnapshot

verifCompareImplementationsFromSnapshot(
g_sessionId
t_srcSnapshotName
t_dstSnapshotName
[ g_showDifferences ]
)
=> t / nil / l_comparisonResults

Description

Compares the differences between implementations from snapshots. The implementation comparison targets include the ADE Assembler setup, design (schematic or configurations) and simulation files (model or definition files). You can view the differences in a form or retrieve the list of differences through this SKILL function

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
t_srcSnapshotName	Name of the source snapshot.
t_dstSnapshotName	Name of the destination snapshot. This snapshot is compared to the reference snapshot.
g_showDifferences	Shows differences in a form. By default, returns a list of differences.

Value Returned

t	Shows the implementation differences in a form.
nil	Differences cannot be compared because of errors.
l_comparisonResults	List of implementation comparison results between the two snapshots.

Examples

The following example opens a Verifier cellview and compares the implementations from the snapshots.

Start with setting the includeImplementations environment variable.

Returns the identical elements.

verifCompareImplementationsFromSnapshot(0 "active" "snap_1")
((nil Two_Stage_Opamp\/OpAmp\/maestro_basic\/Active 
    ("Identical" "Identical")
    )
)

Modifies the maestro cellview, runs the simulation, and then, does the comparison.

verifCompareImplementationsFromSnapshot(0 "active" "snap_1")

((nil Two_Stage_Opamp\ / OpAmp\ / maestro_basic\ / Active((nil Common(nil history("verifier_srsc_20210907_101348.0.RO" "verifier_srsc_20210907_100655.0.RO") name("Two_Stage_Opamp/OpAmp/maestro_basic/Active" "Two_Stage_Opamp/OpAmp/maestro_basic/Active")))

 (nil Assembler\ setup(nil setupdb\[historyData\]

   (nil history\[History\]

     (nil historyentry\[historyData\]

       (nil checkpoint(nil specs(nil spec\[AC\.Gain\]

         (nil min\[47\]

           (nil value("47"             "44"))

          )

        )) localpsfdir\[\/tmp\/shbjlnxade2_lifang_101350705\] 

          (nil value("/tmp/shbjlnxade2_lifang_101350705"

            "/tmp/shbjlnxade2_lifang_100658031")) timestamp\[Sep\ 7\ 10\: 13\: 50\ 2021\]

          (nil value("Sep 7 10:13:50 2021"

            "Sep 7 10:06:58 2021"))

        ))

      ) statedb\[verifier_srsc_20210907_101348\ .0\.RO\]

      (nil Test(nil component\[asiEnvSaveTable\]

        (nil partition(nil field\[\"\"\] 

            (nil value("\"\""

              "\"10\""))

          )) component\[outputs\]

          (nil partition(nil field(nil field\[sevOutputStruct\]

            (nil value("-"

              "remove"))

          )))

        ) modifiedTime("09/07/2021 10:13:51"

          "09/07/2021 10:06:59") value("verifier_srsc_20210907_101348.0.RO"

          "verifier_srsc_20210907_100655.0.RO")

      ))

    )

    (nil Design\\(schematic\ / configurations\)

      ("Identical"

        "Identical")

    )

    (nil Simulation\ files\\(model\ / definition\ files\)

      ("Identical"

        "Identical")

    )

  ))

)

Related Topics

verifAreSnapshotsEnabled

Snapshot Functions

Return to top