DSP

时序分析的基本概念和术语

2019-07-13 15:44发布

  1. 发起沿和捕获沿(Launch edge & Capture edge)
    1. Launch edge是发送数据的时钟边沿,通常选择上升沿。
    2. Capture edge是捕获段捕获到该数据的时钟边沿。
    3. 通常情况下这两个边沿会有一个时钟周期的差别。
  2. 时序路径(Timing path典型时序路径有四种)
    1. 第一类时序路径(红 {MOD})
      1. 从device A的时钟到FPGA的第一级寄存器的输入端口。
    2. 第二类时序路径
      1. 两个同步元件之间的路径(rega到regb蓝 {MOD})
    3. 第三类时序路径
      1. 最后一集寄存器到device B数据端口的路径(黄 {MOD})
    4. 第四类时序路径
      1. 端口到端口的路径(dinb到dinb绿 {MOD})
    5. 我们要关注的是这些路径的
      1. 起始点(start point)记作S
      2. 终止点(end point)记作E
      3. 前三条路径的起始点,都是发送寄存器的时钟端口,终止点都是接收寄存器的数据端口。
    6. 常规时序路径的组成
      1. 我们给出基本模型(可看出rega 和 regb时钟是不同的)
      2. 源端时钟路径(红 {MOD}) 数据路径(蓝 {MOD}) 和目的段时钟路径(黄 {MOD})
  3. 数据到达时间和数据需求时间。
    1. 数据到达时间
      1. 数据在发送沿发送之后,经过多长时间会到达接收寄存器的数据端口,即到达regb的D端口的时刻,这个时刻就是数据到达时间。
      2. 我们需要选择一个参考(基准)时间点。通常选择launch edge作为零时刻基准点。
      3. 数据经过Tco时间,到达Q端口。
      4. 数据从Q端口,要经过组合逻辑,以及布线的线延时才能到达接收短的D端口(Tdata)。
      5. 故有公式如下:
      6. 选择launch edge作为零时刻基准点。
    2. 时钟到达时间(clock Arrival Time)
      1. 观察捕获寄存器的时钟。
      2. 选择launch edge作为零时刻基准点。其实是launch edge加上一个时钟周期。
  4. 建立时间的裕量和保持时间的裕量(Setup slack & Hold Slack)
    1. 建立时间(数据需求时间:Tsu)
      1. 数据可以被稳定的捕获到的最小时间。
      2. 我们仍然关注捕获寄存器。
      3. 数据需要在时钟捕获沿到达之前的一段时间,必须到达。相当于是数据到达regb的时钟端口 和 regb的时钟处于capture edge这两个情况同时满足的时候,才可以进行接收数据。
      4. 换句话就是说,数据至少提前时钟Tsu的时间到达捕获寄存器的数据端口。
      5. 数据所需要的时间是
      6. 其中Set up Uncertainty(一般是时间抖动造成的Uncertainty时间)。
    2. 保持时间情况下的数据需求时间(Data Request Time-Hold)
      1. 当我们捕获到数据之后,数据还应该稳定的存在一定时间。
      2. 除了有Tlckb的时钟延时之外,还要看到捕获寄存器本身的保持时间需求。
      3. Tclkb时钟延时,然后数据到达后,至少还需要Th的保持时间。
    3. Tsu和Th确定了数据的有效窗口。
      1. 数据有效窗口的起始沿就是Tsu
      2. 终止端口就是Th。
    4. 建立时间裕量(Setup Slack)
      1. 在做时序分析时,我们的建立时间的需求可以满足,那么这条路径上发送的数据,就可以被目的寄存器稳定的捕获到。
      2. 我们来看一下我们的模型:
        1. Tclka
        2. Tco
        3. Tdata
        4. Tclkb
        5. Tsu
        6. 数据需求时间(Tsu)-当前数据到达时间
    5. 保持时间的裕量(Hold Slack)新的数据不能太早的到达,否则就破坏了原来的数据
      1. Tclka
      2. Tco
      3. Tdata
      4. Tclkb
      5. Th
      6. 新的数据到达时间-数据需求时间(Th)
    6. 如果Slack为正,说明我们的时序是满足的。
    7. 为什么会出现Slack为负的情况?
      1. 对于Set up Slack为负的情况
        1. 数据延时太大,导致数据建立时间Tsu不够了,见下图:
      2. Hold Slack为负
        1. 时钟的延迟太大,导致当前data的Capture time到来的时候,已经在传下一个data了。
    8. Tdata = Tlogic(组合逻辑,逻辑门的延时)+Tnet(布线,线的延时)
      1. Tlogic:主要和我们的代码风格有关。
      2. Tnet:可能跟我们的布局布线的策略有关。
    9. 系统的时钟频率Ts >= Tco + Tdata + Tsu这三者决定了系统的时钟的最高频率。
  5. 总结:
    1. 通常我们都是以Launch edge作为零时刻点(参考时刻点)
    2. 通常Capture edge time = Launch edge time + 1 clock  cycle
    3. Tsu和Th是芯片决定的。