Product Documentation
Virtuoso ADE SKILL Reference
Product Version IC23.1, November 2023

axlGetWCCVars

axlGetWCCVars(
x_hsdb
)
=> l_vars / nil 

Description

Returns a list containing a handle to all variables and a list of all variable names in a worst-case corner.

Arguments

x_hsdb

Setup database handle.

Value Returned

l_vars

A list of variables for the given worst-case corner handle.

nil

The command was not successful.

Examples

The following example prints the test, spec names, and variables associated with the worst-case corners in the setup.

corners = (cadr (axlGetCorners sdb))
(foreach corner corners    cornerh = (axlGetCorner sdb corner)
specs = (axlGetWCCSpecs cornerh)
(if (cadr specs) then
(printf "Corner: %s\n" corner)
else
(if (cadr specs) then
(printf "Corner: %s\n" corner)
(printf "\tno specs\n")
)

(foreach spec (cadr specs)
         spec = (axlGetWCCSpec cornerh spec)
testname = (axlGetWCCTest spec)
specname = (axlGetWCCResult spec)
wcctime = (axlGetWCCTime spec)
wcccorner = (axlGetWCCCorner spec)
(printf "\tTest = %s\n" testname)
(printf "\tSpec name = %L\n" specname)
(printf "\tWCC corner = %L\n\n" wcccorner)
(printf "\tWCC time= %L\n\n" wcctime)
(printf "\t WCC variables = %L \n\n" axlGetWCCVars(specname)
)
)

Related Topics

Worst Case Corners


Return to top
 ⠀
X