nmigen-tutorial A tutorial for using nmigen WORK IN PROGRESS Installing Values Modules Basic operations Branching Splitting and combining signals Simulation Formal Verification with Yosys Synthesis for supported devices