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.