I want to report a link that could be of interest
Veripool is a repository of the authors' ASIC and electrical engineering tools.
Veripool contains publicly licensed open source software related to Verilog and SystemC design and verification, for example:
Dinotrace, the free Verilog waveform viewer
Verilator, the fast free Verilog simulator
Verilog-Mode, the Emacs mode with AUTOs
Verilog-Perl, the Perl Verilog language module
