I am trying to program the PYNQ-Z1 board through Vivado. I am having trouble finding documentation on the pin numbers for certain signals like clk and uart tx/rx. The document I was referring to was the schematic:
For example, the PS_CLK pin says it is connected to pin E7. But, Vivado does not recognize this as a valid pin. Is there better documentation for me to reference?