Robert Baruch on Youtube is building a (relatively simple) RISC-V CPU core using nMigen and it looks like a very nice tool to work with relative to other HDLs I

Robert Baruch on Youtube is building a (relatively simple) RISC-V CPU core using nMigen and it looks like a very nice tool to work with relative to other HDLs I've seen (though I've never had to actually use an HDL myself before so I may not be the best judge). Here's a playlist of the video series, with the earlier videos basically being an introduction to nMigen: https://www.youtube.com/watch?v=YgXJf8c5PLo&list=PLEeZWGE3PwbZTypHq00G-yEX8TEI95lw4 https://www.youtube.com/watch?v=YgXJf8c5PLo&list=PLEeZWGE3Pw... His use-case is a bit unusual in that his ultimate target is discrete ICs instead of an FPGA, but he's using it to do formal verification of his core before he commits the time to building the schematics and laying out the PCBs.