完善资料让更多小伙伴认识你,还能领取20积分哦, 立即完善>
扫一扫,分享给好友
reg2reg路径的时序分析 本文节选自特权同学的图书《FPGA设计实战演练(逻辑篇)》 配套例程下载链接:http://pan.baidu.com/s/1pJ5bCtt 我们可以先重点研究一下reg2reg的时序约束。如图8.18所示,一般的时序分析我们都可以来看看他们的数据路径(data path)和时钟路径(clock path)。所谓数据路径,就是数据在整个传输起点到传输终点所走过的路径;所谓时钟路径,则是指时钟从源端到达各个寄存器输入端的路径。(特权同学,版权所有)
图8.18 reg2reg的数据路径和时钟路径 如图8.19所示,为了便于后续的时序余量分析和计算,我们提出了data arrival path和data required path的概念。data arrival path是指数据在两个寄存器间传输的实际所需时间;data required path则是指为了确保稳定、可靠且有效的传输(即满足相应的建立时间和保持时间要求),数据在两个寄存器间传输的理论所需时间(也就是最基本的必须满足的传输时间要求,对于建立时间是最大值,对于保持时间则是最小值)。很明显,从图中,我们就可以看出data arrival path传输的起点是时钟源,达到源寄存器,然后是实际的数据从源寄存器到目的寄存器时间;而data required path的传输起点也是源时钟,但却是达到目的寄存器,然后再考虑目的寄存器的建立时间和保持时间要求(图中未示意)。(特权同学,版权所有)
图8.19 reg2reg的数据传输路径 如图8.20所示,对于上面所提出的data arrival path和data required path,我们做了一些细化,将实际的各个路径示意了出来。(特权同学,版权所有) ● Tc2t表示时钟源到源寄存器reg1所经过的时钟网络延时。(特权同学,版权所有) ● Tc2r表示时钟源到目的寄存器reg2所经过的时钟网络延时。(特权同学,版权所有) ● Tco表示数据在被锁存后在寄存器内所经过的延时。(特权同学,版权所有) ● Tr2r表示数据从上一级寄存器(源寄存器)的输出端到下一级寄存器(目的寄存器)的输入端所经过的延时。(特权同学,版权所有) ● Tsu表示目的寄存器的建立时间。(特权同学,版权所有) ● Th表示目的寄存器的保持时间。(特权同学,版权所有)
图8.20 reg2reg的详细路径分析 在开始这些路径公式的分析前,我们还需要了解Setup relationship和Hold relationship及其与launch edge和latch edge之间的关系。如图8.21所示,对于一个寄存器到寄存器的传输来说,正常情况下,各个寄存器都是在时钟的控制下,每个上升沿锁存一次数据,那么也就意味着,两个相邻的寄存器,后一级寄存器每次锁存的数据应该是前一级寄存器上一个时钟周期锁存过的数据。基于此,我们来讨论建立时间,即setup relationship时,源寄存器为lauch clock,目的寄存器为latch clock,而lauch edge从时间上看就要比latch edge早一个时钟周期,即他们之间通常是相差一个时钟周期的关系。反观保持时间则不然,即hold relationship实际上是同一个edge,也就是说后一级寄存器的保持时间很可能遭到上一级寄存器同一个时钟周期所传输数据的“侵犯”。我们的hold relationship分析就是为了防备这种情况的,因此这里的launch edge和latch edge实际上是同一个时钟沿,那么他们的关系通常只是Tc2t(源时钟传输到源寄存器的时间)和Tc2r(源时钟传输的目的寄存器的时间)的时间差。(特权同学,版权所有)
图8.21 基本的时钟分析概念 因此,对照上面给出的8.20的示意图,理想情况下,抛开什么时钟的抖动以及其他不确定时间,我们可以得到比较理想的reg2reg传输的建立时间和保持时间余量(slack)计算公式: 建立时间余量的计算公式: Setup time slack = Data Required Time– Data Arrival Time Data Arrival Time = Launch Edge +Tc2t + Tco + Tr2r Data Required Time = Latch Edge +Tc2r - Tsu 保持时间余量的计算公式: Hold time slack = Data Arrival Time –Data Required Time Data Arrival Time = Launch Edge +Tc2t + Tco + Tr2r Data Required Time = Latch Edge +Tc2r + Th reg2reg路径约束的实例大家可以参考第六章的第1节内容。(特权同学,版权所有) |
|
相关推荐
1个回答
|
|
顶一个
|
|
|
|
只有小组成员才能发言,加入小组>>
885个成员聚集在这个小组
加入小组4535 浏览 0 评论
特权同学 Verilog边码边学 Lesson01 Vivado下载与安装
2648 浏览 1 评论
玩转Zynq连载50——[ex69] FIR滤波器IP仿真实例
4333 浏览 2 评论
玩转Zynq连载49——[ex68] MT9V034摄像头的图像FFT滤波处理
5270 浏览 1 评论
玩转Zynq连载48——[ex67] Vivado FFT和IFFT IP核应用实例
5317 浏览 0 评论
1944浏览 0评论
小黑屋| 手机版| Archiver| 电子发烧友 ( 湘ICP备2023018690号 )
GMT+8, 2024-12-23 15:06 , Processed in 0.477067 second(s), Total 69, Slave 60 queries .
Powered by 电子发烧友网
© 2015 bbs.elecfans.com
关注我们的微信
下载发烧友APP
电子发烧友观察
版权所有 © 湖南华秋数字科技有限公司
电子发烧友 (电路图) 湘公网安备 43011202000918 号 电信与信息服务业务经营许可证:合字B2-20210191 工商网监 湘ICP备2023018690号