News for hackers. Stuff that matters.
Re:Verifying ARM processors against the official ARM specifi... by jeffbush on Tuesday July 26, 2016 @11:48PM (#12170405)
Also Verilator (http://www.veripool.org/wiki/verilator) supports SystemVerilog, is open source, stable, and FAST. There are also a number of commercial users: https://en.wikipedia.org/wiki/Verilator#Commercial

There are no comments on this comment yet.