https://www.controlpaths.com/2022/11/07/writing-verilog-code-using-python-with-migen/