Agreed. The bugs seem logical. It doesn&#x27;t reflect well on the Intel verification effort if they were logical though. It means they didn&#x27;t verify properly.<p>One possible guess&#x2F;excuse-for-stuffing-up is that tools don&#x27;t always simulate correctly. There can be weird gotchas where simulation models and reality don&#x27;t match.