xilinx/xc7/tests/multixdc_counter/arty_2.xdc

# led[7:0] corresponds to {LD7-0} in arty.
# only green components of RGB leds
set_property LOC F6  [get_ports {led[0]}]
set_property LOC J4  [get_ports {led[1]}]
set_property LOC J2  [get_ports {led[2]}]
set_property LOC H6  [get_ports {led[3]}]
set_property LOC H5  [get_ports {led[4]}]
set_property LOC J5  [get_ports {led[5]}]
set_property LOC T9  [get_ports {led[6]}]
set_property LOC T10 [get_ports {led[7]}]