# set_property PACKAGE_PIN Y9 [get_ports {clk}];  # "GCLK"

set_property PACKAGE_PIN T22 [get_ports {ledOut[0]}];  # "LD0"
set_property PACKAGE_PIN T21 [get_ports {ledOut[1]}];  # "LD1"
set_property PACKAGE_PIN U22 [get_ports {ledOut[2]}];  # "LD2"
set_property PACKAGE_PIN U21 [get_ports {ledOut[3]}];  # "LD3"
set_property PACKAGE_PIN V22 [get_ports {ledOut[4]}];  # "LD4"
set_property PACKAGE_PIN W22 [get_ports {ledOut[5]}];  # "LD5"
set_property PACKAGE_PIN U19 [get_ports {ledOut[6]}];  # "LD6"
set_property PACKAGE_PIN U14 [get_ports {ledOut[7]}];  # "LD7"

# set_property PACKAGE_PIN P16 [get_ports {negResetIn}];  # "BTNC"
# set_property PACKAGE_PIN R16 [get_ports {BTND}];  # "BTND"
# set_property PACKAGE_PIN N15 [get_ports {BTNL}];  # "BTNL"
# set_property PACKAGE_PIN R18 [get_ports {BTNR}];  # "BTNR"
# set_property PACKAGE_PIN T18 [get_ports {ibit}];  # "BTNU"

# set_property PACKAGE_PIN F22 [get_ports {SW0}];  # "SW0"
# set_property PACKAGE_PIN G22 [get_ports {SW1}];  # "SW1"
# set_property PACKAGE_PIN H22 [get_ports {SW2}];  # "SW2"
# set_property PACKAGE_PIN F21 [get_ports {SW3}];  # "SW3"
# set_property PACKAGE_PIN H19 [get_ports {SW4}];  # "SW4"
# set_property PACKAGE_PIN H18 [get_ports {SW5}];  # "SW5"
# set_property PACKAGE_PIN H17 [get_ports {SW6}];  # "SW6"
# set_property PACKAGE_PIN M15 [get_ports {SW7}];  # "SW7"

# Note that the bank voltage for IO Bank 33 is fixed to 3.3V on ZedBoard. 
set_property IOSTANDARD LVCMOS33 [get_ports -of_objects [get_iobanks 33]];

# Set the bank voltage for IO Bank 34 to 1.8V by default.
# set_property IOSTANDARD LVCMOS33 [get_ports -of_objects [get_iobanks 34]];
# set_property IOSTANDARD LVCMOS25 [get_ports -of_objects [get_iobanks 34]];
set_property IOSTANDARD LVCMOS18 [get_ports -of_objects [get_iobanks 34]];

# Set the bank voltage for IO Bank 35 to 1.8V by default.
# set_property IOSTANDARD LVCMOS33 [get_ports -of_objects [get_iobanks 35]];
# set_property IOSTANDARD LVCMOS25 [get_ports -of_objects [get_iobanks 35]];
set_property IOSTANDARD LVCMOS18 [get_ports -of_objects [get_iobanks 35]];

# Note that the bank voltage for IO Bank 13 is fixed to 3.3V on ZedBoard. 
set_property IOSTANDARD LVCMOS33 [get_ports -of_objects [get_iobanks 13]];
