建立时间与保持时间

参考于B站up主“讲IC的邸老师”：
建立时间


时序报告

Point:时序路径上经过的每一个点。
Incr:增量代表每个点自己的延时。
Path:从路径起点开始累积的延时。
r与f:代表最小值和最大值。（不是很确定）

这里引入clock uncertainty为了使条件更严苛。
保持时间

无论是建立时间还是保持时间，只看slack是否大于零，就可以判断是否满足约束条件。