Veripool

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.

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.

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.

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.