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.

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.zdnet.com/article/amd-owns-up-to-cpu-bug/ , https://www.extremetech.com/computing/254750-amd-replaces-ryzen-cpus-users-affected-rare-linux-bug https://www.extremetech.com/computing/254750-amd-replaces-ry...