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.
Name checklimit parameter=value ...