时序余量（Negative Slack） 和 理论最大频率（Fmax）
https://www.cnblogs.com/lilto/p/9581143.html
建立时间就是在clk上升沿前必须保持稳定的时间，保持时间就是clk上升沿过后必须保持稳定的时间，这是触发器器件能稳定锁存的条件
所以，不考虑时钟偏移时，即认为前后两级寄存器的clk是完全一样的，
器件延迟 + 线路延迟 + 建立时间 + 建立时序余量 = 一个周期
器件延迟 + 线路延迟 = 保持时间 + 保持时序余量
http://blog.sina.com.cn/s/blog_677db1cb0100phtb.html
https://www.cnblogs.com/winkle/p/3151422.html
https://wenku.baidu.com/view/fffc9adb5022aaea998f0f56.html
一、 建立时间（Setup Time）检查：
遵循的原则是信号从Launch edge开始计时，经过一系列的时序路径，到达后级寄存器的数据输入Pin的速度不能太慢，时间不能太长，否则会侵占后级寄存器数据输入Pin相对于Latch edge的建立时间。刚好满足后级寄存器建立时间的数据到达时间是Data Required Time（相对于Latch edge计算），实际的数据到达时间是Data Arrival Time（相对于Launch edge计算）。显然，在建立时间检查中，Data Arrival Time要小于Data Required Time，否则就会造成建立时间违规。也就是说，Data Required Time是Data Arrival Time的最大值。二者之差就是建立时间的时序余量。
图1
二、 保持时间（Hold Time）检查：
遵循的原则是信号从Launch edge开始计时，经过一系列的时序路径，到达后级寄存器的数据输入Pin的速度不能太快，时间不能太短，否则会侵占后级寄存器数据输入Pin相对于上一个Latch edge的保持时间。刚好满足后级寄存器保持时间的数据到达时间是Data Required Time（相对于Latch edge计算），实际的数据到达时间是Data Arrival Time（相对于Launch edge计算）。显然，在保持时间检查中，Data Arrival Time要大于Data Required Time，否则就会造成保持时间违规。也就是说，Data Required Time是Data Arrival Time的最小值。二者之差就是保持时间的时序余量。
相对于建立时间检查，保持时间检查稍微难懂一些。二者都是同步逻辑设计中对同一个规则的不同解释：当前时钟沿发出的数据要在下一个时钟沿被正确捕获，不能晚，也不能早。晚了，会造成下一个时钟沿的建立时间违规，当前时钟沿发送的数据不能被下一个时钟沿捕获；早了，会造成上一个时钟沿发送的数据保持时间违规，上一个时钟沿发送的数据不能被当前时钟沿正确捕获。
二者在计算公式上的区别在于Slack计算公式中减数与被减数关系
三， recovery/remove time
https://blog.csdn.net/celery1124/article/details/42773355
report timing constraints，这个就是最后时序分析的报告，这里面主要由三项，首先intra-clock paths是单时钟约束，其次inter-clock paths，这个是同步时钟的跨时钟路径，最后就是other path group，这里面的async_default就是异步时钟的跨时钟路径。
理论最大频率（Fmax）
Fmax = 1 / (set_up_time + clock_delay0 - clock_delay1 - clock_passimism - (-uTh) )
图一中
Fmax = 1 / (5.13 + 2.966 - 2.846 - 0.028 - ( +0.021) )ns = 192.270717 M
与显示值相同
Operating Conditions
xilinx vivado 中有一个 与器件相关的参数 worst pulse width slack(wpws),
参考https://blog.csdn.net/weixin_45825101/article/details/117865471?utm_medium=distribute.pc_relevant.none-task-blog-2%7Edefault%7EBlogCommendFromBaidu%7Edefault-5.control&depth_1-utm_source=distribute.pc_relevant.none-task-blog-2%7Edefault%7EBlogCommendFromBaidu%7Edefault-5.control
https://blog.csdn.net/weixin_45825101/article/details/117865871
