Alternatively, if you really want to try Verilog first (not a bad idea), I enjoyed reading a book "Designing Video Game Hardware in Verilog" ([6]).
2. https://m-labs.hk/gateware/nmigen/
3. http://www.clifford.at/yosys/
4. https://github.com/RobertBaruch/nmigen-tutorial
5. https://www.youtube.com/watch?v=85ZCTuekjGA&list=PLEeZWGE3Pw...
6. https://www.amazon.com/gp/product/1728619440/ref=ppx_yo_dt_b...
https://github.com/nmigen/nmigen
It's a fork, made for reasons, but more actively developed. whitequark (long time author/contributor) works on this fork, and no longer the M-Labs version.
I'd first go through the HDLbits online tutorials for Verilog (https://hdlbits.01xz.net/wiki/Problem_sets). They're a nice interactive intro to Verilog (and HDLs in general) and can be simulated directly in your browser without having to download any software. Even if you only plan to write nMigen, learning Verilog will be helpful when you inevitably need to inspect the nMigen generated Verilog.
There's some good resources to look if you're trying to get into nmigen.
Here's a 6502 written in Nmigen.