====== 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.

<code>
real Vdd 5.0
</code>
This specifies the value of the power supply in volts.

<code>
real V_high 4.4
real V_low  0.4
</code>
These values are used to specify the thresholds for interpreting analog signals as high or low.

<code>
real hysteresis 0.0
</code>
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.

<code>
real slewrate_fast_threshold 200.0
real slewrate_slow_threshold 20.0
</code>
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:

<code>
int verbose 0
</code>
Specifies the verbosity level during linting a trace file.

<code>
int max_print 100
</code>
Maximum errors/warnings to be displayed on the output.

<code>
int show_frequency 1
</code>
This attempts to guesstimate the frequency at which the asynchronous circuit is running.

<code>
string filter_results ""
</code>
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''.)

<code>
real skip_initial_time 0.0
</code>
It can be useful to skip some initial segment of the simulation trace; this specifies the period to be skipped (in seconds).

<code>
real reset_sync_time 20e-9
</code>
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.