<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> (the cost function could be simply "max delay" or "area expressed in k-LUTs" and while it's not completely trivial to compute those, this is largely a solved problem; the logic synthesis people are kind of ahead of software people here)</p>
