## arty-100t board set_property PACKAGE_PIN E3 [get_ports clk] set_property PACKAGE_PIN D9 [get_ports rst] set_property PACKAGE_PIN H5 [get_ports io_led[4]] set_property PACKAGE_PIN J5 [get_ports io_led[5]] set_property PACKAGE_PIN T9 [get_ports io_led[6]] set_property PACKAGE_PIN T10 [get_ports io_led[7]] set_property IOSTANDARD LVCMOS33 [get_ports clk] set_property IOSTANDARD LVCMOS33 [get_ports rst] set_property IOSTANDARD LVCMOS33 [get_ports io_led[4]] set_property IOSTANDARD LVCMOS33 [get_ports io_led[5]] set_property IOSTANDARD LVCMOS33 [get_ports io_led[6]] set_property IOSTANDARD LVCMOS33 [get_ports io_led[7]]