Installation
============

.. todo: explain the setup of vivado & nmigen & pipenv