RE: gEDA: Re: Results from verilog XL

[thi <ttn-at-NOSPAMmingle_dot_glug_dot_org>]

David Cary writes:

 > Steven Wilson seems to be saying tools "are available for this sort
 > of thing", but I'm a little confused. Are there really Lint-like
 > tools available for checking Verilog code ? Do these tools have a
 > name, or a manufacturer ?

i've heard of verilint.  it and its ilk were not impressive when i
evaluated them (about five years ago), but perhaps things are better
now.

most eda vendors bundle a token linter, probably all kludged from the
same original buggy source (licensed from "interhdl"?)...

thi