本文介绍了时序分析中的Setup检查，解释了数据传输必须在Require Time内到达目的寄存器，以确保正确锁存。通过举例说明了reg2reg路径中Setup Slack的计算方式，强调其必须大于等于0以满足时序要求。同时提到其他类型的timing path计算类似。文章还提及了IC行业对工程师的需求，并提供了简历投递邮箱。
setup检查是为了检查数据传输不能太慢，否则，在目的寄存器的capture edge不能正确的锁存数据。因此数据传输所用的时间Arrival Time就必须要求在Require Time内传输到目的寄存器，因此slack(松弛时间)=Require time- Arrival time。
那对于四种不同类型的timing path, setup slack的表示方式有所不一样，但本质其实是相同的，我们以最普遍的reg2reg path为例：
在上述图中,
Data Require Time = Clock Arrival Time - Tsetup - uncertainty = Capture Edge +network latency - Tsetup - uncertainty
Data Arrival Time = Launch Edge + source latency + Tck2q+ Tdp
所以setup的slack = Data Require Time - Data Arrival Time = Capture Edge
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
