#____________________________________________________________________________display led
set_property VCCAUX_IO DONTCARE [get_ports led_state]
set_property IOSTANDARD LVCMOS33 [get_ports led_state]
set_property PACKAGE_PIN C20 [get_ports led_state]

set_property VCCAUX_IO DONTCARE [get_ports led_wifi]
set_property IOSTANDARD LVCMOS33 [get_ports led_wifi]
set_property PACKAGE_PIN F16 [get_ports led_wifi]

set_property VCCAUX_IO DONTCARE [get_ports led_stim]
set_property IOSTANDARD LVCMOS33 [get_ports led_stim]
set_property PACKAGE_PIN G14 [get_ports led_stim]


#____________________________________________________________________________debug led
set_property VCCAUX_IO DONTCARE [get_ports {led_pl[0]}]
set_property IOSTANDARD LVCMOS33 [get_ports {led_pl[0]}]
set_property PACKAGE_PIN A20 [get_ports {led_pl[0]}]

set_property VCCAUX_IO DONTCARE [get_ports {led_pl[1]}]
set_property IOSTANDARD LVCMOS33 [get_ports {led_pl[1]}]
set_property PACKAGE_PIN B20 [get_ports {led_pl[1]}]