LMARV-1 reboot part 5: formal verification of the CPU
Channel: Robert Baruch
Date: 04/12/2020

This part explains a bit about a more rigorous version of the formal verification that I've been doing -- prove mode. And we build the CPU by hooking up all the cards, and then formally verifying it.

Also, for some reason at the end I channel Cody's Lab.

github repo for code: https://github.com/RobertBaruch/riscv-reboot

RISC-V specs: https://riscv.org/technical/specifications/

nMigen tutorial: https://github.com/RobertBaruch/nmigen-tutorial/blob/master/README.md