RyuSim compiles SystemVerilog designs and testbenches to C++ and runs them as a 4-state, event-driven simulation on Linux. Testbenches are written in SystemVerilog or in Python with cocotb. Free to use; not open source.
curl -fsSL https://ryusim.com/install.sh | bash
Linux only. Windows users: use WSL2.
Not yet supported: drive strengths, gate and continuous-assignment delays, switch-level strengths, UDPs, specify blocks, timing checks, SDF and design configurations (clauses 28–33), and the VPI assertion, coverage and data-read APIs (clauses 39–41). Some of these compile without a diagnostic and have no effect; the compliance matrix lists which, with the status of every clause; planned work is on the roadmap.