addCheck
addCheck(
t_name
[ ?sub t_sub ]
[ ?dev t_dev ]
[ ?devlist l_devlist ]
[ ?prim t_prim ]
[ ?mod t_mod ]
[ ?instparam t_instparam ]
[ ?modelparam t_modelparam ]
[ ?opparam t_opparam ]
[ ?parameter t_parameter ]
[ ?expression t_expression ]
[ ?min t_min ]
[ ?max t_max ]
[ ?regions t_regions ]
[ ?duration t_duration ]
[ ?message t_message ]
[ ?severity t_severity ]
[ ?analyses l_analyses ]
)
=> t_name / nil
Description
Adds a new device check. Checks can be added to check a device parameter, a subcircuit parameter, a design variable or an expression. The scope of check is decided by the arguments ?sub, ?dev, ?mod, and ?prim. The ?min and ?max parameters can be used to set up the safe region if the parameter/expression being checked goes out of this region and a violation is reported.
Arguments
|
t_name
|
Name for the device check.
|
|
?sub t_sub
|
Subcircuit name.
When specified, the check will apply to all instances of this subcircuit.
|
|
?dev t_dev
|
Device name.
When specified, the check will apply only to that device. When specified with the subcircuit name, the check will apply to the specified device in all instances of the given subcircuit.
|
|
?devlist l_devlist
|
List of device names.
When specified, the check will apply only to the those devices. When specified with the subcircuit name, the check will apply to the specified devices in all instances of the given subcircuit.
|
|
?prim t_prim
|
Primitive name.
When specified, the check will apply to all instances of this primitive. When specified with the subcircuit name, the check will apply to all instances of this primitive in all instances of the given subcircuit.
|
|
?mod t_mod
|
Model name.
When specified, the check will apply to all instances of this model. When specified with the subcircuit name, the check will apply to all instances of this model in all instances of the given subcircuit.
|
|
?instparam t_instparam
|
Instance parameter to be checked.
|
|
?modelparam t_modelparam
|
|
|
Model parameter to be checked.
|
|
?opparam t_opparam
|
Operating point parameter to be checked.
|
|
?parameter t_parameter
|
Circuit parameter (design variable) to be checked.
|
|
?expression t_expression
|
|
|
Expression to be checked.
|
|
?min t_min
|
Lower bound of the safe operating area.
When the value of the specified parameter/expression goes below this limit, a violation is reported.
|
|
?max t_max
|
Upper bound of the safe operating area.
When the value of the specified parameter/expression exceeds this limit, a violation is reported.
|
|
?regions t_regions
|
List of safe regions, specified as a space separated string or list of strings.
Only valid when opparam = region. If a device operates outside these regions, a violation is reported.
|
|
?duration t_duration
|
Duration for which a parameter must exceed the bound to cause a violation.
Only applies to transient analysis.
|
|
?message t_message
|
Custom message that is printed when this check is violated.
|
|
?severity t_severity
|
Severity of the violation.
Valid Values: Notice, Warning, Error.
|
|
?analyses l_analyses
|
List of analyses for which this assert should be turned on. Valid analyses are tran, dc and dcOp.
|
Value Returned
|
t_name
|
Returns the name of device check that was added.
|
|
nil
|
The command is not successful and prints an error.
|
Examples
addCheck("check1" ?primitive "bjt" ?opparam "vbe" ?min "0.7" ?severity "Warning")
Checks if vbe for any BJT device falls below 0.7.
addCheck("check2" ?primitive "mos3" ?opparam "region" ?regions "triode sat" ?severity "Notice")
Checks if any mos3 device goes out of triode or saturation regions.
addCheck("check3" ?subckt "amplifier" ?model "mynpn" ?opparam "ibc" ?max 1u ?severity "Warning")
Checks if any instance of the model mynpn has base to collector current greater than 1u and limits the check to all instances of the amplifier subcircuit.
Return to top
