yesterday: installing verilator and reading its documentation today: playing with verilator for microwatt I guess I need ghdl and ghdl-yosys-plugin, for libre-soc I export verilog using issuer_verilog.py. Then I can convert the generated verilog using verilator.