1 Verilog client libraries indexed from GitHub — with install commands, star counts, and API coverage.
You can run it on pynq z1. The repository contains the relevant Verilog code, Vivado confi