【第八章 时序检查 下】静态时序分析圣经翻译计划

本文由知乎赵俊军授权转载，知乎主页为https://www.zhihu.com/people/zhao-jun-jun-19

8.9 举例

在本节中，我们将介绍发起和捕获时钟的不同情况，并分别说明如何执行建立时间和保持时间检查。图8-28为所举例子的示意图：

半周期路径——情况1

在此示例中，两个时钟具有相同的周期，但相位相反。以下是时钟定义，其波形如图8-29所示。

• create_clock -name CLKM -period 20 -waveform {0 10} [get_ports CLKM]

• create_clock -name CLKP -period 20 -waveform {10 20} [get_ports CLKP]

建立时间检查是从发起沿(0ns)到下一个捕获沿(10ns)的。半个时钟周期的裕量可用于保持时间检查，以验证在20ns处发起的数据是否在10ns处未被捕获沿所捕获。以下是建立时间检查的路径报告：

以下是保持时间检查的路径报告：

半周期路径——情况2

此示例与情况1类似，不过发起时钟和捕获时钟的相位相反。以下是时钟定义，其波形如图8-30所示。

• create_clock -name CLKM -period 10 -waveform {5 10} [get_ports CLKM]

• create_clock -name CLKP -period 10 -waveform {0