关于书中的疑惑

yao

今晚抽空读了时序这本书，但鄙人理解有限，有一些不理解的地方，所以发到论坛来请教一下大家。
1、在书中第24页第一段中，如图1，提到：选择时间差最大的那一对触发沿作为该路径的保持关系。按照我的理解，应该是选择时间差最小的吧。
2、书中第27页中，如图2，提到：create_clock -name src_clk -period 5 -waveform {1,4} [get_ports clk1_in]，说这个时钟的占空比为50%，按照我的理解应该是60%。

yao

后续书中在28页举例的时候，也是说：“第二种情况中保持关系的时间差较小，使得这种情况的时序更难满足”

ausiren

方便解释下为什么是60%吗？初始相位对于占空比的影响是？我理解的是时钟周期5ns，高电平:低电平是1:4，为什么不是20%占空比

yao

ausiren 发表于 2025-3-27 01:01
方便解释下为什么是60%吗？初始相位对于占空比的影响是？我理解的是时钟周期5ns，高电平:低电平是1:4，为什 ...

我的理解是这样的：1、-period 5 指定周期为 5 纳秒。2、-waveform {1,4} 表示第一个上升沿在 1 单位时间，下降沿在 4 单位时间。初始相位指第一个上升沿相对于周期起点（0 时刻）的延迟，因此初始相位为 72°，即 (1/5) × 360°。3、占空比：高电平持续时间 = 下降沿时间 - 上升沿时间 = 4 - 1 = 3 单位时间。占空比 = 高电平时间 / 周期 × 100% = 3/5 × 100% = 60%。

CrazyTiming

多谢指正，第一个问题：
结合36页的建立时序裕量计算公式可知：Tslack与 [  T(capture_edge) - T(launch_edge) ] 正相关，
结合38页的保持时序裕量计算公式可知：Tslack与 [  T(capture_edge) - T(launch_edge) ] 负相关，
在第27页图2.13的例子中，
第一种情况建立关系中 [  T(capture_edge) - T(launch_edge) ] = 1ns
第一种情况保持关系中 [  T(capture_edge) - T(launch_edge) ] = -1ns
第二种情况建立关系中 [  T(capture_edge) - T(launch_edge) ] = 2ns
第二种情况保持关系中 [  T(capture_edge) - T(launch_edge) ] = 0ns
所以建立关系中最难满足的是第一种情况，因为是正相关，所以值小的难满足。
保持关系中最难满足的是第二种情况，因为是负相关，所以值大的难满足。
当时写书时，想的把发送沿与捕获沿时间差当绝对值，如果是绝对值那么第28页总结地方说的“第二种情况中保持关系的时间差较小，使得这种情况的时序更难满足”就是对的。
如果不是绝对值，那么第24页第二行的“选择时间差最大的那一对触发捕获沿作为改路径的保持关系”就是对的。
从严谨角度来讲，发送沿与捕获沿时间差应该为 [  T(capture_edge) - T(launch_edge) ]，所以应该是第24页“选择时间差最大的那一对触发捕获沿作为改路径的保持关系”说法正确。第28页说法错误，应改为时间差较大才对。
后续把错误统一放在时序分析勘误专栏里。

GET

yao 发表于 2025-3-27 09:20
我的理解是这样的：1、-period 5 指定周期为 5 纳秒。2、-waveform {1,4} 表示第一个上升沿在 1 单位时间 ...

我觉得也是60%

CrazyTiming

第二个问题：
占空比确实是60%

CrazyTiming

多谢指正，勘误专栏已修正。
https://www.crazyfpga.com/forum. ... &extra=page%3D1

CrazyTiming

yao 发表于 2025-3-27 09:20
我的理解是这样的：1、-period 5 指定周期为 5 纳秒。2、-waveform {1,4} 表示第一个上升沿在 1 单位时间 ...

对的  思路清晰

yao

CrazyTiming 发表于 2025-3-27 11:27
多谢指正，第一个问题：
结合36页的建立时序裕量计算公式可知：Tslack与 [  T(capture_edge) - T(launch_ed ...

谢谢解惑，非常详细了