最全时序分析、时序约束和时序收敛（3）--基础概念（下(1)，2024年最新大数据开发事件体系全面总结+实践分析-CSDN博客

本文链接：https://blog.csdn.net/2401_84183451/article/details/138936830

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上大数据知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

其可以划分为4条基本的数据路径，这4条路径也是需要进行时序约束的最基本路径。

（1）寄存器到寄存器

路径2，FPGA内部的寄存器到另一个寄存器，即reg2reg（寄存器到寄存器），需要对其进行约束以满足FPGA端寄存器的建立时间和保持时间要求。

路径2约束的是FPGA内部源寄存器（起点）和FPGA内部目的寄存器（终点）的数据路径，其目的是要通过提供要求的方式来使得综合工具vivado满足所有FPGA内部寄存器的建立时间要求和保持时间要求。

（2）管脚到寄存器

路径1，上游器件通过FPGA管脚到FPGA的寄存器的时序路径，即pin2reg（管脚到寄存器），需要对其进行约束以满足FPGA端寄存器的建立时间和保持时间要求。

路径1约束的是上游器件的源寄存器（起点）和FPGA内部的目的寄存器（终点）的数据路径，其目的是要满足后端即FPGA内部寄存器的建立时间要求和保持时间要求。

路径1可以视为是路径2的一种，只不过路径1的源寄存器和目的寄存器都在FPGA内部，而路径2的源寄存器在上游器件中。

（3）寄存器到管脚

路径3，FPGA管脚到下游器件的寄存器的时序路径，即reg2pin（寄存器到管脚），需要对其进行约束以满足下游器件的寄存器的建立时间和保持时间要求。

路径3约束的是FPGA内部的源寄存器（起点）和下游器件的目的寄存器（终点）的数据路径，其目的是要满足前端即FPGA内部寄存器的建立时间要求和保持时间要求。

路径3同样可以视为是路径2的一种，只不过路径1的源寄存器和目的寄存器都在FPGA内部，而路径3的目的寄存器在下游器件中。

（4）管脚到管脚

路径4，FPGA管脚到FPGA管脚的时序路径（不通过任何寄存器），其本质上是纯组合逻辑电路，仅仅需要将其值约束在一个指定范围，不需要满足建立时间和保持时间要求。

路径4中不存在任何寄存器，通常都是纯组合逻辑或者走线延迟等，所以也就不需要满足寄存器的建立时间要求和保持时间要求。需要的仅仅是根据开发需求约束其延迟的最小值和最大值。

2、发射沿（Launch Edge）与锁存沿（Latch Edge）

路径1、2、3实际上都是对寄存器到寄存器之间的数据路径之间的约束，而路径4则是约束纯组合逻辑。

由于寄存器的采样往往都发生在时钟的边沿，所以目的寄存器采样的值实际上是上个时钟周期的源寄存器的值，也就是说在源寄存器与目的寄存器之间其采样时间相差一个时钟周期。

发射沿（Launch Edge）：是源寄存器采样的时间点，也是时序分析路径的起点
锁存沿（Latch Edge）：是目的寄存器采样的时间点，也是时序分析路径的终点

3、数据到达时间（Data Arrival Time）

由于2个寄存器之间存在的组合逻辑和走线延迟等，使得在发射沿采样到的数据需要一定的时间才能到达后级的锁存沿，这个时间就被称为数据到达时间（Data Arrival Time）。

如上图，在计算数据到达时间时，存在3个时间参数：

Tclk1:时钟信号从起点到达源寄存器REG1的时钟端口的时钟网络延时，产生原因一般是走线延迟
Tco：源寄存器REG1内部的数据输出延迟，这个延迟时间是寄存器的固有属性，只和使用的FPGA芯片型号有关
Tdata：数据从源寄存器REG1输出Q端到下级目的寄存器REG2的数据输入D之间的延时，一般是组合逻辑器件产生的固有延时和走线延时

根据上图可以算出数据到达时间：Data Arrival Time = launch edge + Tclk1 + Tco +Tdata

4、数据需求时间–建立时间（Data Required Time - Setup）

时序约束的本质就是要满足所有寄存器的建立时间要求和保持时间要求，所以在数据经过一定的延迟从源寄存器到达目的寄存器后，同样需要满足目的寄存器的建立时间要求（Tsu）。

如上图，在计算数据需求时间–建立时间时，存在2个时间参数：

Tclk2：时钟信号从起点到达目的寄存器REG2的时钟端口的时钟网络延时，产生原因一般是走线延迟
Tsu ：在时钟有效边沿到达之间，输入数据必须保持不变的时间，这意味着上级寄存器的输入至少要在这之前就保持稳定

根据上图可以算出： Data Required Time + Tsu = latch edge + Tclk2 ，即 Data Required Time = latch edge + Tclk2 - Tsu

数据需求时间–建立时间，实际上是一种对数据到来之前数据保持稳定的最极端时间要求。比如为了满足目的寄存器的建立时间要求，计算得到上级寄存器的输出必须至少在3ns之前即保持稳定，这也就意味着上级数据能到达的最晚时间是3ns，那么1ns、2ns到达自然是可以的。

5、数据需求时间–保持时间（Data Required Time - Hold）

建立时间和保持时间是寄存器的2个固定需求属性，所以在数据经过一定的延迟从源寄存器到达目的寄存器后，同样需要满足目的寄存器的保持时间要求（Th）。

如上图，在计算数据需求时间–保持时间时，存在2个时间参数：

Tclk2：时钟信号从起点到达目的寄存器REG2的时钟端口的时钟网络延时，产生原因一般是走线延迟
Th：在时钟有效边沿到达之后，输入数据必须保持不变的时间，这意味着上级寄存器的输入至少要在这之后才能发生变化

所以可以算出： Data Required Time = latch edge + Tclk2 + Th

6、建立时间裕量（Setup Slack）

数据需求时间–建立时间实际上是一种对数据到来之前保持稳定的最极端的时间要求，比如为了满足目的寄存器的建立时间要求，计算得到上级寄存器的输出必须至少在时间刻度3ns之前即保持不变，这也就意味着上级数据能到达的最晚时间是3ns，那么1ns、2ns到达自然是可以的。

如果数据在1ns即到达了目的寄存器，那么建立时间裕量就是3ns-1ns = 2ns，那么这个裕量有什么作用呢或者说代表着什么？前面我们知道到寄存器之间可能会存在一段组合逻辑和走线延迟，如果你的设计中某2个寄存器之间的建立时间裕量是2ns，则意味着你还有空间去折腾，比如寄存器彼此之间还可以增加一些组合逻辑器件或者更长的走线。

根据上图，可以算出： Setup Slack = Data Required Time – Data Arrival Time，即Setup Slack = （latch edge + Tclk2 - Tsu ） – （launch edge + Tclk1 + Tco +Tdata ）= （latch edge - launch edge） +（Tclk2 - Tclk1 ）- （Tsu + Tco +Tdata）= Tperiod + Tskew - （Tsu + Tco +Tdata）。

如果Setup Slack为正，则说明数据在规定的时间内达到了目的寄存器；反之，则认为数据并没有在规定的时间达到目标，此时REG2锁存的数据很有可能是亚稳态状态。