Writing VHDL or Verilog on Microzed Zynq XC7Z020 FPGA

Hello,

I recently came across the MicroZed Zynq board (link), and would really like to learn about VHDL or Verilog using the MicroZed.
I know that it quite old now, but this is what I have at hand.
From all the documents and examples I could find, the code is written in C using the Processor in the FPGA.

My question is how to get started writing a simple AND gate using VHDL or Verilog and upload the design to the MicroZed. I have Digilent programmer that I purchased with the board.

I really appreciate your help.

Thanks
Sandra

I think you have to install vivado from here: Downloads
And write the code using the IEEE library: