<p><span class="h-card" translate="no"><a href="https://mastodon.social/@andydemski" class="u-url mention">@<span>andydemski</span></a></span> yosys, abc, and nextpnr; we are already able to replace much of yosys but not the rest of the tools yet (and not the Verilog frontend)</p>