create_clock -period 80MHz -name {clk_80mhz} [get_ports {clk}]