您现在的位置是:网站首页> 内容页

【原创】建立与保持时间裕量详细分析

  • 东京娱乐最新官网
  • 2019-09-27
  • 132人已阅读
简介  笔者这段时间在找工作中发现,关于时序分析的基础概念,时序关系表达式及时序违例计算几乎是每个IC/FPGA岗位笔试面试的必考内容。就此,从建立保持时间裕量出发,夯实基础。本文主要是对

  笔者这段时间在找工作中发现,关于时序分析的基础概念,时序关系表达式及时序违例计算几乎是每个IC/FPGA岗位笔试面试的必考内容。就此,从建立保持时间裕量出发,夯实基础。本文主要是对之前转载博客【时序约束学习笔记1】Vivado入门与提高--第12讲 时序分析中的基本概念和术语 做一些总结和个人理解。

    还是直接用之前转载博客中图片:

 

  图中的两个寄存器中间加一段组合逻辑电路是时序分析的经典模型,主时钟clk前后两个上升沿分别叫启动沿和锁存沿,是时序分析的起点和终点。下边一步步推导出建立时间和保持时间裕量及常用通式。要注意,下边的“时间”均表示一个时刻。且为了方便,将启动沿时刻定义为0时刻,故锁存沿为T时刻。

1 时钟到达时间:时钟有效沿到达带二个寄存器的时刻。

  Tcd = capature Edge + Tclkb = T + Tclkb

2 数据到达时间:数据到达第二个寄存器的时刻。

  Tdd = launch Edge + Tclka + Tco + Tdata = Tclka + Tco + Tdata

3 数据需求时间(建立时间需求):为满足建立时间要求,数据最晚到达的时刻。

  Tsu,req = Tcd - Tsu = T+ Tclkb - Tsu

4 数据需求时间(保持时间需求):为了满足保持时间要求,数据最早更新的时刻。

  Th,req = Tcd + Th = T + Tclkb + Th

5 建立时间裕量:为满足建立时间要求,富余出来的时间段长度。

  setup slack = 建立时间需求 - 数据到达时间

                          = Tdd - Tsu,req = T+ Tclkb - Tsu - Tclka - Tco - Tdata 

                                   =  T + T△ - Tco - Tdata - Tsu

6 保持时间裕量:为了满足保持时间要求,富余出来的时间长度。

  hold slack = 数据到达时间(下一次)- 保持时间需求

                        = Tdd" - Th,req = Tclka + Tco + Tdata + T - T - Tclkb - Th

                                                 = -T△ + Tco + Tdata - Th

  同步数字电路就系统中,每条时序路径必须满足建立时间裕量和保持时间裕量 ≥ 0,否则无法满足建立与保持时间要求,引起系统不稳定甚至无法正常工作。常用通式(不考虑时钟偏抖):

1 通过建立时间裕量引出系统最高时钟频率

  setup slack≥0:T - Tco - Tdata - Tsu  ≥ 0 -->T ≥ Tco + Tdata + Tsu 

2 通过保持时间裕量得到保持时间与时序参数关系

  hold slack≥0:-T△ + Tco + Tdata - Th ≥ 0 --> Th ≤ Tco + Tdata

  还不赶紧背下来!

文章评论

Top