You should check out Robert Baruch[1] on YouTube, he has a very interesting series on designing a RISC-V cpu where he also uses nMigen.

[1] https://youtube.com/playlist?list=PLEeZWGE3PwbZTypHq00G-yEX8...