[logo] 
Home
News
Activity
About/Contact
Major Tools
  Dinotrace
  Verilator
  Verilog-mode
  Verilog-Perl
Other Tools
  BugVise
  CovVise
  Gspice
  IPC::Locker
  Schedule::Load
  SVN::S4
  Synopsys-modes
  SystemPerl
  Verilog-Pli
  Voneline
  Vregs
General Info
  Book Tips
  Papers

News

Veripool Software Update

Added by Wilson Snyder 3 months ago

Today the Veripool software was upgraded. There are some minor new features associated with this upgrade. If you see any strange behavior, please post an issue here.

Verilog Benchmarks 1.020 Released

Added by Wilson Snyder 3 months ago

The "Verilog Simulator Benchmarks have been updated to use recent tool versions and add CVC. Version 1.020 of the kit is also released, including a script to auto-tune the runtime for quicker benchmarking.

Veripool Software Update

Added by Wilson Snyder 11 months ago

Today the Veripool software was upgraded. There are some minor new features associated with this upgrade. If you see any strange behavior, please post an issue here.

Veripool on new hardware

Added by Wilson Snyder about 1 year ago

Today the Veripool server was moved to faster hardware in order to decrease latency at peak periods. The site software was also been updated to the most recent version of Redmine. As always, please contact us if you see any problems.

Also available in: Atom