https://opensecura.googlesource.com/3p/lowrisc/opentitan/+/060354c410761db905f385909c2b163b0076258d/hw/dv/tools/dvsim/verilator.hjson?autodive=0%2F%2F%2F%2F
hw/dv/tools/dvsim/verilator.hjson - 3p/lowrisc/opentitan - Git at Google
hwdvtoolsverilatorhjson
https://www.vlsisystemdesign.com/tag/verilator/
verilator Archives - VLSI System Design
system designverilatorarchivesvlsi
https://lists.libre-soc.org/pipermail/libre-soc-dev/2022-March/004548.html
[Libre-soc-dev] microwatt booting linux-5.7 under verilator
libresocdevbootinglinux