Toolchains for simple Verilog on PYNQ board?

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