Checklimit Analysis (checklimit)
Description
A checklimit analysis allows the enabling or disabling of individual or group of asserts specified in the netlist. Use this analysis in conjunction with the assert statements in the netlist to perform checks on parameters of device instances, models, subcircuits or expressions.
Multiple checklimit analyses can be defined in the netlist. The enabled checks will be applied to all subsequent analyses until the next checklimit analysis is encountered.
Syntax
Name checklimit parameter=value ...
Parameters
|
enable
|
[...]
|
Array of checks to be enabled. The patterns can have wildcard symbols. Default is all.
|
|
disable
|
[...]
|
Array of checks to be disabled. The patterns can have wildcard symbols. Default is none.
|
|
severity
|
|
Severity of the checks. Possible values are none, notice, warning, error and fatal.
|
|
title
|
|
Analysis title.
|
|
checkallasserts
|
yes
|
If all checks should be enabled or disabled. checkallasserts=no disables all checks. Possible values are no and yes.
|
|
asserts
|
[...]
|
Specifies a group of asserts whose parameters (specified using the param parameter) and values (specified using the value parameter) need to be changed.
|
|
param
|
|
Specifies the parameter setting for an individual assert or a group of asserts specified using the 'asserts' parameter. Possible values are max, min, check_windows, maxvio_perinst, maxvio_all, duration, level, extreme and skip_dev_inside_subckt.
|
|
value
|
|
Specifies the value of the parameter (specified using the 'param' parameter) for the assert (specified using the 'asserts' parameter) that needs to be changed.
|
|
filter
|
none
|
Set filter=progressive to report less assertion violations by omitting less severe repetitions. Set filter=extreme to only report top peak/duration/area violations for each assert. If severity level of an assert is set to 'error' or 'fatal', then for that assert filtering is disabled. Possible values are none, progressive and extreme.
|
Boundary parameters
|
boundary_type
|
time
|
Boundary type. Possible values are time and sweep.
|
|
start
|
|
Start time or sweep boundary of the checks.
|
|
stop
|
|
Stop time or sweep boundary of the checks.
|
|
check_windows
|
[...]
|
Boundary time or sweep windows of the checks. Array should have an even number of values [b_begin1 b_end1 b_begin2 b_end2 ...].
|
|
reset_times
|
[...]
|
Reset times vector for asserts. This option will be ignored if any assert statement has duration parameter, or contains time dependent expressions like avg() or integ().
|
Return to top
