An Introduction to Migen [pdf]
m-labs.hk