* <http://www.clifford.at/papers/2016/yosys-synth-formal/slides.pdf>
* <http://blog.lambdaconcept.com/doku.php?id=migen:tutorial>
* <http://chiselapp.com/user/kc5tja/repository/kestrel-3/dir?ci=6c559135a301f321&name=cores/cpu>
+* <https://chips4makers.io/blog/>
+* <https://hackaday.io/project/7817-zynqberry>