Toolchains for simple Verilog on PYNQ board?

[mattroos]

PS: The older post I referred to above is this one: Create overlay for PYNQ LSTM network