Linting configuration options
These options are used to interpret the analog signal traces as digital values. The options are specified within a begin lint
/end
block.
real Vdd 5.0
This specifies the value of the power supply in volts.
real V_high 4.4 real V_low 0.4
These values are used to specify the thresholds for interpreting analog signals as high or low.
real hysteresis 0.0
When analyzing a simulation trace, this value (in volts) is used to ignore noise around the high/low thresholds during signal convertion from analog to digital.
real slewrate_fast_threshold 200.0 real slewrate_slow_threshold 20.0
These values are slew rate thresholds used to report warnings. The units are volts/nanosecond.
Tlint options
The lint configuration also contains additional options used by the tlint
tool. These are:
int verbose 0
Specifies the verbosity level during linting a trace file.
int max_print 100
Maximum errors/warnings to be displayed on the output.
int show_frequency 1
This attempts to guesstimate the frequency at which the asynchronous circuit is running.
string filter_results ""
This can be used to filter the output. If specified, this is a regular expression that can be used to filter output results on the specified node names. (Normally this is specified using a command-line option to tlint
.)
real skip_initial_time 0.0
It can be useful to skip some initial segment of the simulation trace; this specifies the period to be skipped (in seconds).
real reset_sync_time 20e-9
When running synchronized analog/digital verification using a production rule set, this parameter is used to specify when the analog circuit comes out of reset.