verilator

Verilog simulator
https://www.veripool.org/wiki/verilator

Current versions
3.918
HEAD

Recent formula history

ilovezfs verilator 3.918
ilovezfs Use “squiggly” heredocs.
Viktor Szakats verilator: https in comment
Tomasz Pajor verilator 3.900
Jack verilator 3.886

Formula code at GitHub