Pynq-Z1, from Digilent

The PYNQ-Z1 SBC is designed to be used with PYNQ, an open-source framework for exploiting the capabilities of Xilinx Zynq SoCs without having to design programmable logic circuits. Instead, the Zynq SoC is programmed using Python, and the code is developed and tested directly on the PYNQ-Z1.