建立保持表征与透明窗
Setup/Hold Characterization and Transparency Windows
把采样窗口落实为参考边沿、转换方向、延迟判据及透明期预算。
速览
约 1 分钟静态时序节点说明如何传播整条路径,本页追问单元的建立保持参数如何从波形和内部状态得到,以及脉冲参考和时间借用如何换算。
系统理解
约 2 分钟建立保持不是脱离波形的两个常数。相同单元在不同输入方向、时钟斜率、环境和延迟判据下可有不同窗口;数据靠近采样沿时,仍能捕获不代表输出延迟合格。透明锁存器围绕关闭沿采样,脉冲锁存器改用开启沿建模时必须同时变换建立和保持。借用时间只重新分配相邻逻辑段的预算,不创造反馈回路总时间。
承接锁存器与触发器的内部电路,为静态时序、时钟树及跨域采样提供单元层约束。
关键参数
| 参数 | 单位 | 含义 |
|---|---|---|
| 参考边沿 | — | 区分开放沿、关闭沿及外部时钟脚的测量点 |
| 建立与保持窗口 | s | 按输入状态及转换方向给出的有效区间 |
| D到Q与时钟到Q | s | 不同起算事件的输出延迟 |
| 最大借用时间 | s | 扣掉关闭约束和相位空隙后的边界 |
常见误区
- 负保持等于不需要检查保持。
- 满足建立保持就自动满足全部时钟脉宽要求。
- 每一级都能独立借到额外半周期而不影响后级。
工程深入
12 条结论 · 2 道例题用于理解单元库表征、脉冲锁存器模型、时序借用和短路径修复,避免把参数定义与整条路径签核混为一谈。
窗口参考与观测量
表征方法与边界
建立时间与时钟到Q延迟必须联合选择
数据逐渐靠近采样边沿时,元件可能仍捕获正确值,但时钟到Q延迟已经增大。表征不能只寻找最后一个不出逻辑错误的位置,还应声明可接受的输出延迟标准,并联合比较建立时间与传播延迟形成的总开销。2
成立条件 书中给出基于总D到Q开销的表征方法,不把某个增幅阈值规定成全行业唯一标准。;库表征与签核必须使用一致的延迟和失效判据。
负保持时间表示参考脚之间的允许关系
某些元件表征出的保持时间为负,表示按指定输入与时钟测量阈值,D可以在外部时钟参考沿之前的一小段时间发生变化而仍捕获原值。这不表示内部状态不需要稳定,也不能取消连接路径的最小延迟检查。2
成立条件 只使用该单元、转换方向和环境下的有符号保持参数。;负号不能脱离时钟参考脚、数据边沿和传播判据独立解释。
上升与下降数据应分别形成窗口
捕获0与捕获1、以及在窗口两侧分别发生的上升或下降跳变,可对应不同建立与保持界限。只给一个最差参数是摘要,不能据此认定四种转换情形具有相同波形和延迟。2
成立条件 采用单元实际的状态及转换方向表征。;不把一个极性的最小延迟与另一极性的最大窗口随意拼成物理波形。
满足建立保持仍需检查最小脉宽
数据或时钟脉冲过窄时,即使某个边沿附近看似满足建立保持,内部节点也可能来不及完成所需转换。单元的最小高低脉宽或数据脉宽约束是独立检查项,不能由一个建立裕量替代。2
成立条件 具体检查项取决于库模型,不能假设所有单元都有相同数据脉宽限制。;本条不把理想数学脉冲当成可被真实电路可靠捕获的信号。
脉冲参考变换
改变脉冲参考沿必须同步变换建立与保持参数
对高电平脉冲锁存器,若把原来相对下降沿定义的建立保持改为相对上升沿,脉冲宽度应同时进入两个参数:有效建立时间减少一个脉宽,有效保持时间增加一个脉宽。只平移其中一个参数会错误描述同一透明窗。12
- tsetup,r
- 相对开放上升沿的有效建立时间,单位 s
- tsetup,f
- 相对关闭下降沿的建立时间,单位 s
- thold,r
- 相对开放上升沿的有效保持时间,单位 s
- thold,f
- 相对关闭下降沿的保持时间,单位 s
- tpw
- 透明脉冲宽度,单位 s
成立条件 脉冲从上升沿开放、下降沿关闭,脉宽tpw>0。;这里只改变参考沿;不声称改变脉冲宽度后电路本身参数不变。
例题:动手算一次教学假设,可复算
教学假设:脉冲宽度120ps,相对关闭沿的建立时间30ps、保持时间10ps,换算为相对开放沿的参数。
已知
- tpw=120ps;tsetup,f=30ps;thold,f=10ps。
- 仅作同一电路窗口的参考沿变换,未改变脉冲发生器。
步骤
- tsetup,r = 30−120 = −90 ps,建立要求从关闭沿向前数30ps,等价于开放后90ps之前有效。
- thold,r = 10+120 = 130 ps,关闭后再保持10ps,等价于开放后130ps。
- 窗口 = [90, 130] ps,相对开放沿的同一数据稳定窗口,不是负的稳定时间。
负建立与长保持可以同时出现,它们只是同一关闭沿窗口的参考变换。
不能外推到 数值均为教学假设,不是任何单元库实测值;不得把换算后参数与另一脉宽的模型混用。
时序借用与预算
两相路径的半周期预算还要扣除非重叠窗口
对对称两相透明系统,跨越名义半周期边界的借用上限受关闭前建立时间与不重叠间隔限制。借用能力小于理想半周期,不能只按50%占空比直接宣称能借走半个周期。2
- tborrow,max
- 对称两相模型的最大允许借用时间,单位 s
- T
- 时钟周期,单位 s
- tsetup
- 关闭沿前建立时间,单位 s
- tnonoverlap
- 两相之间不重叠时间,单位 s
成立条件 采用书中对称半周期、无额外偏斜的模型。;不重叠时间与建立时间必须采用相同相位和测量口径;有偏斜时另扣相应预算。
例题:动手算一次教学假设,可复算
教学假设:对称两相周期1.00ns,关闭沿建立时间40ps,不重叠时间60ps。最大可借用时间是多少?
已知
- T=1.00ns=1000ps。
- tsetup=40ps,tnonoverlap=60ps;忽略额外偏斜和抖动。
步骤
- T/2 = 1000/2 = 500 ps,先得到理想名义半周期。
- tborrow,max = 500−40−60 = 400 ps,扣掉关闭前建立和不重叠间隔。
- 400 ps = 0.400 ns,统一单位并保留合理有效位。
这不是每一级额外增加0.400ns的全局预算,后续逻辑仍要偿还。
不能外推到 数值为教学假设,仅适用于声明的对称两相模型,不替代完整多角锁存时序分析。
出处
2 本教材 · 19 处引用- 1
数字集成电路:电路、系统与设计(第2版)
- 第 7 章图7.3;;PDF pp.261,第 239 页 支持:透明锁存器的建立保持应参照关闭沿
- 第 7 章图7.3、7.11–7.12;;PDF pp.261、266–267,第 239、244–245 页 支持:D到Q延迟与时钟到Q延迟不是同一个观测量
- 第 7 章§7.2.3;;PDF pp.266,第 244 页 支持:建立时间可以从内部需要稳定的节点解释
- 第 7 章图7.28、7.33;;PDF pp.275–276、279,第 253–254、257 页 支持:时钟斜率会改变内部竞争窗口
- 第 7 章式(7.1)–(7.2);;PDF pp.260,第 238 页 支持:增加数据端延迟会同时改变两类窗口预算
- 第 7 章§7.4.1,图7.35–7.36;;PDF pp.281,第 259 页 支持:改变脉冲参考沿必须同步变换建立与保持参数
- 第 10 章§10.3.4,图10.28–10.30;;PDF pp.399–401,第 377–379 页 支持:透明期借用会压缩后续路径的可用时间
- 2
CMOS超大规模集成电路设计(第4版)
- 第 10 章图10.4(c)、10.37;;PDF pp.630、656,第 322、346 页 支持:透明锁存器的建立保持应参照关闭沿
- 第 10 章图10.4、10.37;;PDF pp.630、656,第 322、346 页 支持:D到Q延迟与时钟到Q延迟不是同一个观测量
- 第 10 章图10.17–10.19;;PDF pp.642–644,第 332–334 页 支持:建立时间可以从内部需要稳定的节点解释
- 第 10 章§10.4.2,图10.35–10.36;;PDF pp.654–655,第 344–345 页 支持:建立时间与时钟到Q延迟必须联合选择
- 第 10 章图10.36;;PDF pp.655,第 345 页 支持:负保持时间表示参考脚之间的允许关系
- 第 10 章图10.36,式(10.20);;PDF pp.655–656,第 345–346 页 支持:上升与下降数据应分别形成窗口
- 第 10 章§10.4.2;;PDF pp.656,第 346 页 支持:满足建立保持仍需检查最小脉宽
- 第 10 章图10.19–10.20;;PDF pp.644,第 334 页 支持:时钟斜率会改变内部竞争窗口
- 第 10 章图10.38;;PDF pp.657,第 347 页 支持:增加数据端延迟会同时改变两类窗口预算
- 第 10 章§10.4.2,图10.37;;PDF pp.656–657,第 346–347 页 支持:改变脉冲参考沿必须同步变换建立与保持参数
- 第 10 章§10.2.4,图10.12–10.14;;PDF pp.638–640,第 328–330 页 支持:透明期借用会压缩后续路径的可用时间
- 第 10 章式(10.10),图10.13;;PDF pp.638–639,第 328–329 页 支持:两相路径的半周期预算还要扣除非重叠窗口
本页结论均已对照来源核对,其中 5 条目前只有一个来源,尚未经过同行专家审阅。发现不准确的地方,请告诉我们。
报告这一页的问题