# Create a clock
set_property PACKAGE_PIN L16     [get_ports clock]
set_property IOSTANDARD LVCMOS33 [get_ports clock]

create_clock -period 8.00 [get_ports  clock]

# Buttons
set_property PACKAGE_PIN G15     [get_ports io_a]
set_property IOSTANDARD LVCMOS33 [get_ports io_a]
set_property PACKAGE_PIN P15     [get_ports io_b]
set_property IOSTANDARD LVCMOS33 [get_ports io_b]
set_property PACKAGE_PIN W13     [get_ports io_c]
set_property IOSTANDARD LVCMOS33 [get_ports io_c]

# LEDs
set_property PACKAGE_PIN M14     [get_ports io_s]
set_property IOSTANDARD LVCMOS33 [get_ports io_s]
set_property PACKAGE_PIN M15     [get_ports io_co]
set_property IOSTANDARD LVCMOS33 [get_ports io_co]