3 ms·
sci-hub.se/10.1038/s41586-019-1493-8
by 3SunSyzygy 7y ago
sci-hub.se/10.1038/s41586-019-1493-8
- rwmj 7y agoNice! This should really be the article link in my opinion. Anyway I was wrong about the design. It looks like they implemented their own very simple finite state machine, but did use Clifford Wolfe's riscv-formal to specify it: https://github.com/SymbioticEDA/riscv-formal https://github.com/SymbioticEDA/riscv-formal