axlGetWCCTime

axlGetWCCTime(
x_specId
)
=> t_time / nil

Description

Returns the generated time information for the given specification handle of a worst-case corner.

Arguments

x_specId

Handle to the specification of the worst-case corner.

Value Returned

t_time	The time string value.
nil	The command was unsuccessful.

Examples

The following example prints the test name, spec name, and the time stamp 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)
    )

)

Related Topics

Worst Case Corners

Return to top