<p><span class="h-card" translate="no"><a href="https://types.pl/@wren6991" class="u-url mention">@<span>wren6991</span></a></span> I have toggle coverage as a cxxrtl 'plugin' I can share with you, and block coverage as a Yosys modification that I haven't upstreamed yet; expression coverage I haven't looked into</p>
