網(wǎng)絡課程《數(shù)字集成電路靜態(tài)時序分析基礎》的筆記

地址：https://www.iccollege.cn/portal/courseDetail/193.mooc

?

建立時間和保持時間檢查

建立時間檢查

最常見的路徑：CK-D。

區(qū)分 launch clk 和 capture clk

建立時間檢查表達式：

?

ck to d

下面是一個 timing report，起點是 UFF0，終點是 UFF1，path group 是按照終點時鐘分類的，所以是 CLKM。path type max 代表檢查最大的路徑延遲，point 表示途徑點，incr 代表經(jīng)過這個點的增量，path 代表累計延遲。r 和 f 代表 rise 和 fall。

data arrival time 代表總延遲，這是一個 launch path 的報告。

下面的是一個 capture path 的報告，首先經(jīng)過時鐘周期，時鐘網(wǎng)絡理想，建立時間 0.04，時鐘誤差 0.3，uncertainty 為了讓建立時間檢查更加嚴苛。最終得到一個 data required time，數(shù)據(jù)要求到達時間，必須要此之前，要求 slack>=0，才算是時序滿足要求。

?

input port to flip-flop

時序檢查之前，由于外部沒有時鐘設定，要先設定虛擬時鐘

時序報告如下

?

flipflop to output

要額外設定 load 約束

同樣設定了虛擬時鐘

時序報告，注意 path group 是虛擬時鐘，按照終點時鐘分類。

launch path，output delay 不在這里

captured path，output delay 在這里，這里的 5.1 包含了 setup time，所以要放在 captured path 這里。

?

input to output

時序報告：

這樣時序不滿足，需要修改

?

保持時間檢查

與建立時間一致，通過 launch path 和 captured path 進行檢查

但是存在一些區(qū)別，保持時間是在 launch flip-flop 和 captured flip-flop 的同一個時鐘邊沿進行檢查，因此保持時間檢查與時鐘周期無關。

路徑分析

保持時間檢查

?

reg to reg

保持時間檢查要使用 min delay 進行檢查

一個保持時間檢查報告，launch path

capture path

要求 required time

與 setup time 的區(qū)別

?

input to reg

時序報告

?

reg to output

時序報告

依然沒有 hold time，全部算在 output delay 里

?

input to output

外加約束

時序報告

?

總結

建立時間檢查

保持時間檢查

?