Pin Assignment in Vivado

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?

Maybe give some background so we know what you are trying to do? Are you trying to bring up your own board?