<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@GeneralShaw" class="u-url mention">@<span>GeneralShaw</span></a></span> no plans to add verilator/iverilog support, sorry! this is fundamentally tied to CXXRTL. that said, you could in principle reimplement the CXXRTL server</p>