FPGA设计时序约束八、others类约束之Set_Case_Analysis

目录

一、序言

二、Set Case Analysis

2.1 基本概念

2.2 设置界面

2.3 命令语法

2.4 命令示例

三、工程示例

四、参考资料

---

一、序言

    在Vivado的时序约束窗口中，存在一类特殊的约束，划分在others目录下，可用于设置忽略或修改默认的时序路径分析，以Vivado2022.1版本为例，主要包括以下4类

 

二、Set Case Analysis

2.1 基本概念

    Set case analysis（设置案例分析）命令通常通过对逻辑如配置寄存器设置常数值来描述功能模块，设置对象可为端口，线net，层级引脚或子模块输入引脚，常数值通过约束的逻辑单元传输，从而关闭该单元的任何时序分析，功能和设置set false path类似。约束可以在SDC、XDC文件中使用。

    使用set case analysis可以减少分析的空间，运行时间和内存消耗，将信号是一个常量值的信息告知时序分析工具是很重要的，对于保证不去报告非功能路径和不相关的路径也是至关重要的。因此，一个引脚pin带有set_case_anlaysis约束时,上面传输的信号是不活跃信号，和引脚相关的时序arc是关闭的。

    最常见的使用场景是对一个多路选择器选择引脚设置为0或1，使得两个多路选择器中一个输入来传输，以关闭从mux/s到mux/I1引脚的时序分析路径为例，约束命令如下

set_case_analysis 0 [get_pins mux/S]

    再看一个例子，将一个AND门 的一个输入通过set_case_analysis设为0，AND门的输出也为0，即0传输到了下一逻辑，时序分析工具不会去计算对应的时序arch也不会展示在时序报告中。但是，布局布线中仍会去修复这些引脚上的最大切换，最大扇出违例。

2.2 设置界面

    进入Timing Constraints界面，在左侧Others栏中选中Set Case Analysis，右侧即显示Set Case Analysis界面，双击空白位置

 

    在Find names of type的下拉框显示可设置的对象，有Port和Cell pins两类

 

可约束的值有4个：0，1，rising，falling，约束为0或1时，对应的时序路径将不存在，设置为切换边沿时，只有信号为设置的边沿切换时才进行时序分析。

 

2.3 命令语法

命令格式如下

set_case_analysis [‑quiet] [‑verbose] <value> <objects>

参数含义如下表

2.4 命令示例

约束两个主时钟到CLKBUFGMUX的两个输入引脚上，将set_case_analysis约束选择引脚clock_sel/S的值为1，此时将只有clk_B会传输到输出端口，clk_A被阻断了，效果和将对应的pin连接到VDD或VSS相同。。

create_clock -name clk_A -period 10.0 [get_pins clock_sel/I0]
create_clock -name clk_B -period 15.0 [get_pins clock_sel/I1]
set_case_analysis 1 [get_pins clock_sel/S]

三、工程示例

工程代码：

module timing_analysis(d1,d2,clk1,clk2,clk3,clk4,rst,out1,out2);
input d1,d2,clk1,clk2,clk3,clk4,rst;
output out1,out2;
reg ff1,ff2,ff3,ff4,ff5;
always @(posedge clk1)if(!rst)ff1<=0;elseff1<=d1;
always @(posedge clk2)if(!rst)ff2<=0;elseff2<=ff1;
always @(posedge clk3)if(!rst)ff3<=0;elseff3<=ff2;
assign out1=ff3&ff2;always @(posedge clk4)if(!rst)ff4<=0;elseff4<=d2;
always @(posedge clk4)if(!rst)ff5<=0;elseff5<=ff4;
assign out2=ff5;
endmodule

综合后网表连接图

 

未添加set_case_analysis时的时序报告，同步时钟报告中只有clk4，异步时钟报告中有clk1到clk2，clk2到clk3的时序路径，根据综合网表连接图，符合预期。

 

对clk1设置set_case_analysis值为fall，clk4设置set_case_analysis值为1，同步时钟路径中已不存在clk4，异步时钟路径中存在clk1到clk2。因为clk1设置的analysis clk为下降沿，而实际为上升沿，clk4设置为常量1，不存在切换

 

四、参考资料

1、用户手册《ug835-vivado-tcl-commands-en-us-2023.1.pdf》

文档链接：https://pan.baidu.com/s/1Su_w9CDHR7R9_tt_in_arQ?pwd=7w4f 

提取码：7w4f

2、Vivado的command reference