LMARV-1 reboot part 2: the register card.
Channel: Robert Baruch
Date: 2020-11-13

This part codes and formally verifies an async memory and the register card.

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

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