Robert Baruch recently re-booted his "Build a RISC-V Processor without using an FPGA" series[1]. His approach is heavily dependent on nmigen and formal verific

Robert Baruch recently re-booted his "Build a RISC-V Processor without using an FPGA" series[1]. His approach is heavily dependent on nmigen and formal verification. Check it out. [1] https://www.youtube.com/watch?v=YgXJf8c5PLo&list=PLEeZWGE3PwbZTypHq00G-yEX8TEI95lw4 https://www.youtube.com/watch?v=YgXJf8c5PLo&list=PLEeZWGE3Pw...