VIVADO时序约束之时序例外（set_false_path）

前言

当FPGA设计中的逻辑行为不能满足默认的时序要求时，设计者需要使用时序例外语法对该逻辑行为进行处理，例如：有些结果只需每个一个或多个时钟周期捕获一次。
vivado开发工具支持4个时序例外约束的语法，如下表所示：

命令	功能
set_multicycle_path	表示从路径的开始到结束传播数据所需的时钟周期数。
set_false_path	表示不应分析设计中的逻辑路径。
set_max_delay	设置最大路径延迟值。 这将使用用户指定的最大和最小延迟值覆盖默认的建立和保持约束。
set_min_delay	设置最小路径延迟值。 这将使用用户指定的最大和最小延迟值覆盖默认的建立和保持约束。

基于运行时间的考虑，vivado工具不支持冲突时序例外的实时分析，可以使用命令report_exceptions对整个工程进行时序例外进行分析和报告。

false路径

false路径指设计中存在的，但是1、不起作用，2、不需要关心时序的路径。因此，false路径常常不做时序分析。常见的false路径包括：
1、跨时钟域信号经两级同步逻辑处理的；
2、上电后，只需要被写一次；
3、复位或者测试逻辑；
4、异步分布式RAM的写入时钟和异步读取时钟之间的路径；

移除false路径的约束的好处

1、减少编译时间：当false路径已从时序分析中移除时，该工具不需要计时或优化那些非功能性路径。 使时序和优化引擎满足的非功能性路径的时序要求，会浪费大量的运行时间；
2、可以提高编译结果的质量：一些时序问题，会极大的影响工具对工程的综合、布局和优化质量；例如，某些非功能性路径存在时序违规，该工具可能会尝试修复这些路径，而不是处理真正的功能性路径。 不仅可能会不必要地增加设计的大小（例如逻辑克隆），而且该工具可能会跳过修复实际问题，因为非功能性路径具有更大的违规，掩盖了其他实际违规。

set_false_path

set_false_path 	[-setup] [-hold] [-rise] [-fall] [-reset_path] 
				[-from <args>] [-rise_from <args>] [-fall_from <args>]
				[-to <args>] [-rise_to <args>] [-fall_to <args>]
				[-through <args>] [-rise_through <args>] [-fall_through <args>]
				[-quiet] [-verbose] 

选项	含义
-setup	排除路径上的setup分析;
-hold	排除路径上的hold分析；
-rise/fall	排除路径上的上升沿/下降沿延迟；
-reset_path	复位之前该路径上的约束；
-from <args>	起始点或时钟列表；
-rise_from <args>	作用于路径上上升沿开始的起始点或时钟列表；
–fall_from <args>	作用于路径上下降沿开始的起始点或时钟列表；
-to <args>	终端点或时钟列表；
-rise_to <args>	作用于路径上上升沿接收的终端点或时钟列表；
-fall_to <args>	作用于路径上下降沿接收的终端点或时钟列表；
-through <args>	pins、cell、nets列表，所有经过该列表的路径均受约束作用；
-rise_through <args>	pins、cell、nets列表，所有经过该列表的上升沿路径均受约束作用；
-fall_through <args>	pins、cell、nets列表，所有经过该列表的下降沿路径均受约束作用；
-quiet	忽略命令错误

使用不带 -from 和 -to 的 -through 选项时要小心，因为它会从时序分析中删除通过此引脚或端口列表的任何路径。 当时序约束是为 IP 或子块设计的，但随后用于不同的环境或更大的项目时，要特别小心。 当单独使用 -through 时，可以删除比预期更多的路径。

实例说明：

1、删除从端口reset到所有寄存器的所有路径的时序分析：

set_false_path -from [get_port reset] -to [all_registers]

2、禁止工具对两个异步时钟域CLKA和CLKB之间，从CLKA到CLKB的路径的时序分析：

set_false_path -from [get_clocks CLKA] -to [get_clocks CLKB]

3、非功能路径的约束可以使用-through替代-from -to的选项完成约束：

set_false_path -through [get_pins MUX1/a0] -through [get_pins MUX2/a1]

注意：
-through选项的顺序很重要，下面例子的命令是完全不相同的

set_false_path -through cell1/pin1 -through cell2/pin2
set_false_path -through cell2/pin2 -through cell1/pin1

4、公共的例子：异步双端口分布式RAM。写操作与RAM时钟域是同步的，但是读操作与RAM时钟域是异步的，这种情况下，写时钟域和读时钟域设置false路径是安全的。两种方式实现以上约束：
a、定义RAM前端的写寄存器到RAM后端的读时钟域下寄存器之间的路径为false路径：

set_false_path -from [get_cells <write_registers>] -to [get_cells <read_registers>]
set_false_path -from [get_cells -hier -filter {NAME =~ *gntv_or_sync_fifo.gl0.wr*reg[*]}] -to [get_cells -hier -filter {NAME=~ *gntv_or_sync_fifo.mem*gpr1.dout_i_reg[*]}]

b、定义以写引脚WE为起始点的所有路径为false路径：

set_false_path -from [get_cells -hier -filter {REF_NAME =~ RAM* && IS_SEQUENTIAL && NAME =~ <PATTERN_FOR_DISTRIBUTED_RAMS>}]
set_false_path -from [get_cells -hier -filter {REF_NAME =~ RAM* && IS_SEQUENTIAL && NAME =~ *char_fifo*}]

特别说明：

对于有些同步时钟下的路径，可以适当放松约束，但这些路径仍然必须满足一定的时序要求，可以使用多路径约束替代set_false_path约束。