[bem94]

This is really cool - I hope people will start offering companion courses: "Verifying a RISC-V processor". If you've done both, it's a real multiplier for your understanding of CPUs and hardware generally.

[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...