set_property PACKAGE_PIN J3 [get_ports {z[2]}]
set_property PACKAGE_PIN J2 [get_ports {z[1]}]
set_property PACKAGE_PIN K2 [get_ports {z[0]}]
set_property PACKAGE_PIN P5 [get_ports a]
set_property PACKAGE_PIN P4 [get_ports b]
set_property IOSTANDARD LVCMOS33 [get_ports {z[2]}]
set_property IOSTANDARD LVCMOS33 [get_ports {z[1]}]
set_property IOSTANDARD LVCMOS33 [get_ports {z[0]}]
set_property IOSTANDARD LVCMOS33 [get_ports b]
set_property IOSTANDARD LVCMOS33 [get_ports a]