Migen is a Python-based tool that aims at automating further the VLSI design process.
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.
Migen is the foundation for MiSoC, and is also used in the Rhino software-defined radio platform.
You can find the Migen source here, released under the permissive BSD license.
Documentation
Try Migen in your web browser: provides an online interface to many server-side tools, including Migen.
Built on Migen, MiSoC provides a high performance, flexible and lightweight solution to build system-on-chips for various applications.
MiSoC source is here, mostly covered by the permissive BSD license. Here is a simple example of how to customize MiSoC.