
README file for Verilint_n
==========================

Verilint_n is a helper program that works with Verilint 4.0 to solve
the problem of checking expression width in parameterized
instantiations. It needs to be run in conjunction with Verilint
4.x. The following UNIX script "verilint.csh" shows how the two programs 
should run (the script is provided with the distribution):

#!/bin/csh
verilint -w19 -w163 -w164 -w328 -w531 -w162 -w180 -w316 -w341 -w342 \
   -w343 -w491 -w110 $*
verilint_n $*

A similar script, "verilint4.bat", is provided with the PC release.

The second line runs Verilint on the whole design and the last line
runs the new addition, verilint_n that checks only for expression
widths. The warnings that are disabled above are some of the normal
Verilint warnings that are checking for expression width.

Verilint_n uses the same key as Verilint 4.x. However, both programs
use the new version of the Elan license manager. This means that you
need to install the new license manger and re-install the keys using
the new license manager. THE NEW LICENSE MANAGER WILL WORK WITH OLD
KEYS, BUT THEY DO NEED TO BE RE-INSTALLED.

If you have any questions regarding the installation or operation of
Verilint_n please do not hesitate to contact us at support@interhdl.com.
