[MaxBarraclough]

Not something I know a lot about, but modern CPUs tend to be too complex for current formal verification techniques, and often have bugs, no?

e.g. https://www.zdnet.com/article/amd-owns-up-to-cpu-bug/ , https://www.extremetech.com/computing/254750-amd-replaces-ry...