CVC: An Open Source Industrial Strength Verilog Simulator
tachyon-da.com
tachyon-da.com
http://www.prnewswire.com/news-releases/pragmatic-c-software...
Also, any relation to GPL cver?
It looks like GPL cver is an ancestor to the current CVC; CVC currently supports Verilog 2005.
It is a project that definitely deserves attention.