Xilinx Arty Board Pin Assignment

Hallo,

ich habe mal eine Anfängerfrage: Ich kann mit tcl Befehlen und dem 
Pinnamen aus dem Reference Manual vom Arty Board auf einen bestimmten 
Pin mappen.

https://reference.digilentinc.com/reference/programmable-logic/arty/reference-manual

Beispiel:
Ich will auf den Pmod Connector JA, Pin 1
Im Manual steht: G13
Also lautet mein tcl Befehl in den Constraints:
set_property -dict { PACKAGE_PIN G13    IOSTANDARD LVCMOS33 } [get_ports 
{ myPin[0] }];

Jetzt würde ich gerne genauso die Pins vom SPI Header erreichen.
Wie finde ich den richtigen Pincode heraus?