<p><span class="h-card" translate="no"><a href="https://ioc.exchange/@azonenberg" class="u-url mention">@<span>azonenberg</span></a></span> <span class="h-card" translate="no"><a href="https://chaos.social/@dlharmon" class="u-url mention">@<span>dlharmon</span></a></span> I suppose more accurately what I want to build would be described as "timing check during synthesis"</p><p>rather than merely considering CDCs it uses a more abstract model than P&R to conservatively avoid violations</p>
