LMARV-1 reboot part 4: the sequencer
Channel: Robert Baruch
Date: 2020-11-27

This part explains and does a little bit of formal verification on the sequencer card.

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

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