深圳龙华新区住房和建设局网站,北京网站开发哪家专业,苏州的网络公司网站建设,手机端seo一、建立时间的检查
建立时间的检查是指检查电路里每一个触发器的数据和时钟的关系是否满足建立时间的要求。 我们以上图为例进行建立时间检查。由图可知#xff0c;我们主要针对第二个触发器UFF1进行检查。我们可以梳理时序关系如下#xff1a; 通过这个图#xff0c;我们…一、建立时间的检查
建立时间的检查是指检查电路里每一个触发器的数据和时钟的关系是否满足建立时间的要求。 我们以上图为例进行建立时间检查。由图可知我们主要针对第二个触发器UFF1进行检查。我们可以梳理时序关系如下 通过这个图我们可以得到满足建立时间需要达成以下目标 即我们之前说到的Setup slack Data Required Timesetup - Data Arrival Time 0 12367-5
在考虑skew和jitter的偏差的情况下上述的式子可以修改为 其时序报告一般如下 注意在setup check中为考虑最差情况取所有延迟最大故path type为max。
二、保持时间的检查
保持时间的检查与建立时间的检查具有以下的区别
1、保持时间的检查是在同一个时钟边沿进行的即数据的发射路径和数据的捕获路径是同一时钟边沿
2、保持时间与时钟周期是没有任何关系的
我们依旧以上面的时序路径图进行分析其时序关系如下 通过这个图我们可以得到满足保持时间需要达成以下目标 即我们之前说到的Hold slack Data Arrival Time - Data Required Time hold 0 1236Thold
考虑skew和jitter的偏差的情况下上述的式子可以修改为 其时序报告一般如下 注意在setup check中为考虑最差情况取所有延迟最小故path type为min。
一般来说setup可以通过时钟频率来调整而hold time是不行的是一定要满足的。
