gEDA-dev: Another verilog simulator

[Anthony J Bybell]

On Wed, 30 Aug 2006, Tim Freedom wrote:

> A friend recently pointed me to Cver (its under GPL),
>
>   http://www.pragmatic-c.com/gpl-cver/index.htm
>
> + Has anyone had any experiance with it ?

It seems decent and fast.  I was able to crash it once when feeding a
large netlist into it, but I didn't have the time to debug it.  Other than
that time it was solid for me and I use it when I need quick and dirty
results for something.

Note that VeriWell (from the Thomas and Moorby book) is now open source
too and has been for about a year if I remember correctly, but I don't
remember what the license is--if it's GPL or what.

-t