笔者这段时间在找工作中发现，关于时序分析的基础概念，时序关系表达式及时序违例计算几乎是每个IC/FPGA岗位笔试面试的必考内容。就此，从建立保持时间裕量出发，夯实基础。本文主要是对之前转载博客【时序约束学习笔记1】Vivado入门与提高--第12讲 时序分析中的基本概念和术语 做一些总结和个人理解。
还是直接用之前转载博客中图片：
图中的两个寄存器中间加一段组合逻辑电路是时序分析的经典模型，主时钟clk前后两个上升沿分别叫启动沿和锁存沿，是时序分析的起点和终点。下边一步步推导出建立时间和保持时间裕量及常用通式。要注意，下边的“时间”均表示一个时刻。且为了方便，将启动沿时刻定义为0时刻，故锁存沿为T时刻。
1 时钟到达时间：时钟有效沿到达带二个寄存器的时刻。
Tcd = capature Edge + Tclkb = T + Tclkb
2 数据到达时间：数据到达第二个寄存器的时刻。
Tdd = launch Edge + Tclka + Tco + Tdata = Tclka + Tco + Tdata
3 数据需求时间（建立时间需求）：为满足建立时间要求，数据最晚到达的时刻。
Tsu,req = Tcd - Tsu = T+ Tclkb - Tsu
4 数据需求时间（保持时间需求）：为了满足保持时间要求，数据最早更新的时刻。
Th,req = Tcd + Th = T + Tclkb + Th
5 建立时间裕量：为满足建立时间要求，富余出来的时间段长度。
setup slack = 建立时间需求 - 数据到达时间
= Tdd - Tsu,req = T+ Tclkb - Tsu - Tclka - Tco - Tdata
= T + T△ - Tco - Tdata - Tsu
6 保持时间裕量：为了满足保持时间要求，富余出来的时间长度。
hold slack = 数据到达时间（下一次）- 保持时间需求
= Tdd' - Th,req = Tclka + Tco + Tdata + T - T - Tclkb - Th
= -T△ + Tco + Tdata - Th
同步数字电路就系统中，每条时序路径必须满足建立时间裕量和保持时间裕量 ≥ 0，否则无法满足建立与保持时间要求，引起系统不稳定甚至无法正常工作。常用通式（不考虑时钟偏抖）：
1 通过建立时间裕量引出系统最高时钟频率
setup slack≥0：T - Tco - Tdata - Tsu ≥ 0 -->T ≥ Tco + Tdata + Tsu
2 通过保持时间裕量得到保持时间与时序参数关系
hold slack≥0：-T△ + Tco + Tdata - Th ≥ 0 --> Th ≤ Tco + Tdata
还不赶紧背下来！