create_clock -period 2.50 [get_ports clk]