6 ms·
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
by bem94 6y ago
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 6y agoNot 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...