帮我写一个sdc，内容为创建一个时钟，时钟引脚为core_clk，名字为core_clk，周期是1.25ns

下面是一个简单的SDC文件示例，可以创建一个时钟，时钟引脚为core_clk，时钟名称为core_clk，时钟周期为1.25ns：

create_clock -name core_clk -period 1.25 [get_ports {core_clk}]

该命令使用create_clock命令创建了一个时钟，-name选项用于指定时钟名称为core_clk，-period选项用于指定时钟周期为1.25ns，[get_ports {core_clk}]用于获取时钟引脚。注意，SDC文件中的端口名称需要与设计中的端口名称一致。