Скачать
LMARV-1 reboot part 5: formal verification of the CPU
Автор: Robert Baruch
Загружено: 2020-12-04
Просмотров: 3118
Описание:
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...
RISC-V specs: https://riscv.org/technical/specifica...
nMigen tutorial: https://github.com/RobertBaruch/nmige...
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
