静态时序分析——单周期

一、建立时间的检查 建立时间的检查是指检查电路里每一个触发器的数据和时钟的关系是否满足建立时间的要求。 我们以上图为例进行建立时间检查。由图可知,我们主要针对第二个触发器UFF1进行检查。我们可以梳理时序关系如下: 通过这个图,我们可以得到满足建立时间需要达成以下目标 即我们之前说到的Setup slack = Data Required Time(setup) - Data Arrival Ti
相关文章
相关标签/搜索