Despite being faster than schematics entry, hardware design with Verilog and VHDL remains tedious and inefficient for several reasons. The event-driven model introduces issues and manual coding that are unnecessary for synchronous circuits, which represent the lion's share of today's logic designs. Counter-intuitive arithmetic rules result in steeper learning curves and provide a fertile ground for subtle bugs in designs. Finally, support for procedural generation of logic (metaprogramming) through "generate" statements is very limited and restricts the ways code can be made generic, reused and organized.
To address those issues, we have developed the Migen FHDL library that replaces the event-driven paradigm with the notions of combinatorial and synchronous statements, has arithmetic rules that make integers always behave like mathematical integers, and most importantly allows the design's logic to be constructed by a Python program. This last point enables hardware designers to take advantage of the richness of the Python language - object oriented programming, function parameters, generators, operator overloading, libraries, etc. - to build well organized, reusable and elegant designs.
Other Migen libraries are built on FHDL and provide various tools such as a system-on-chip interconnect infrastructure, a dataflow programming system, a more traditional high-level synthesizer that compiles Python routines into state machines with datapaths, and a simulator that allows test benches to be written in Python.
You can find the Migen source <ahref="http://github.com/m-labs/migen"target="_blank"rel="noopener noreferrer">here</a>, released under the permissive BSD license.
-<ahref="/docs/migen-tutorial.pdf"target="_blank"rel="noopener noreferrer">Tutorial</a> (outdated - in particular, the simulator has been rewritten and no longer uses Icarus)
-<ahref="https://www.wdj-consulting.com/blog/migen-port.html"target="_blank"rel="noopener noreferrer">Tutorial "Porting a New Board To Migen"</a> by cr1901
-<ahref="https://lab.whitequark.org/notes/2016-10-18/implementing-an-uart-in-verilog-and-migen/"target="_blank"rel="noopener noreferrer">"Implementing a UART in Verilog and Migen"</a> by whitequark
-<ahref="https://lab.whitequark.org/notes/2016-10-19/implementing-a-simple-soc-in-migen/"target="_blank"rel="noopener noreferrer">"Implementing a simple SoC in Migen"</a> by whitequark
-<ahref="https://web.archive.org/web/20210416131215/http://blog.lambdaconcept.com/doku.php?id=migen:tutorial"target="_blank"rel="noopener noreferrer">Migen Step by Step Tutorial</a> by LambdaConcept