<p><span class="h-card" translate="no"><a href="https://recurse.social/@jleigh" class="u-url mention">@<span>jleigh</span></a></span> right now prjunnamed does:</p><p>- ingestion of UIR netlists with decision trees (basically Yosys processes), or else Yosys JSON<br />- simplification of combinational and sequential expressions, FF control inference<br />- merging of equivalent cells (think GVN)<br />- splitting of coarse cells with partially unused outputs<br />- lowering of arithmetics (except adders), shifts, multipliers, etc into simpler logic<br />- lowering of memories into FF+MUX<br />- if requested, LUT/FF synthesis for iCE40</p>