一、现象
最近使用赛灵思的FPGA设计项目时,出现时序约束失效问题。
点进去发现如下:
一个始终约束没有生效,有多处报错。
二、原因
出现这个问题的原因是,建立时间不满足。
时序违例的主要原因是建立时间和保持时间不满足要求,那么什么情况下会出现建立时间和保持时间不满足要求呢?
- 建立时间不满足要求通常是因为组合逻辑处理时间太长!
- 保持时间不满足要求通常是因为组合逻辑处理时间太短!
建立时间和保持时间都不满足往往出现在异步时钟域中!
三、解决办法
- 加强约束,重新进行综合,对违规的路径进行进一步的优化,但是一般效果可能不是很明显
- 降低时钟的频率,但是这个一般是在项目最初的时候决定的,这个时候很难再改变
- 拆分组合逻辑,插入寄存器,增加流水线,这个是****常用 的方法
- 优化布局布线,减小传输的延时
- 更改Place and Route Effort Level,overall,把Standard模式(通过最少的布局布线努力,给出最快的运行时间,适用于不太复杂的设计)更改为High模式(有最好的布局布线结果,运行实际也长,适用于复杂设计(默认设置))
四、实际项目更改
更改前:
cs
reg [31:0]suma;
wire [16:0]sumb;
wire [15:0]sumc;
//将以太网报文数据部分长度参数寄存
always @(posedge clk or negedge rst_n) begin
if(!rst_n)
suma <= 32'd0;
else if(cal_en)
suma <= {IP_ver,IP_hdr_len,IP_tos}+IP_total_len+IP_id+
{IP_rsv,IP_df,IP_mf,IP_frag_offset}+{IP_ttl,IP_protocol}+
src_ip[31:16]+src_ip[15:0]+dst_ip[31:16]+dst_ip[15:0];
else
suma <= suma;
end
assign sumb = suma[31:16]+suma[15:0];
assign sumc = sumb[16]+sumb[15:0];
assign checksum = ~sumc;
更改后:
cs
reg [31:0]suma;
reg [31:0]suma_1;
wire [16:0]sumb;
wire [15:0]sumc;
//将以太网报文数据部分长度参数寄存
always @(posedge clk or negedge rst_n) begin
if(!rst_n)
suma <= 32'd0;
else if(cal_en)begin
suma_1<={IP_ver,IP_hdr_len,IP_tos}+IP_total_len+IP_id+{IP_rsv,IP_df,IP_mf,IP_frag_offset}+{IP_ttl,IP_protocol};
suma <= /*{IP_ver,IP_hdr_len,IP_tos} 16'h4500+*/
/*IP_total_len+*/
/*IP_id 16'h0000+*/
/*{IP_rsv,IP_df,IP_mf,IP_frag_offset} 16'h0000+*/
/*{IP_ttl,IP_protocol} 16'h4011+*/
suma_1+
src_ip[31:16]+
src_ip[15:0]+
dst_ip[31:16]+
dst_ip[15:0];
end
else
suma <= suma;
end
assign sumb = suma[31:16]+suma[15:0];
assign sumc = sumb[16]+sumb[15:0];
assign checksum = ~sumc;
分析:根据报错的路径,找到对于的代码,拆分组合逻辑,插入寄存器,增加流水线,这个是****常用 的方法。