<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mwk" class="u-url mention">@<span>mwk</span></a></span> I don't doubt that, but it seems whatever ABC does gets the best results as far as yosys is concerned. It's twice as good as flowmap on e.g. Sentinel. That's why I say "if the AIG/whatever stuff has to still exist b/c it's the best we can do thus far, at least make it accessible".</p>
