Open Source Verilog

@Vengineerの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

SemiWikiにOpen Source Verilogがアップされています。

引用
Tachyon Design Automation has been in existence for years and sells a Verilog simulator called CVC (for compiled Verilog code, since it compiles Verilog straight into x86 code with lots of detailed optimization). It supports full IEEE 1364 (2005) Verilog. 

コンパイル型シミュレータで、IEEE 1364-2005をサポート。

Tachyon Design Automation

80万円のVerilog-HDLシミュレータ、Tachyonが横浜のREVSONICと代理店契約(2012.01.22)

DeepChip(2011.9.20)によると、どうやら、旧Pragmatic C Softwareでした。

Open Source版のVerilog HDL simulatorは、GPL CVerです。

検証、Verification、SystemVerilog