在芯片設(shè)計(jì)中，我們常用PPA（Power, Performance, Area）來衡量一塊芯片的指標(biāo)。Performace直接取決于Timing參數(shù)。由此可見，時(shí)序設(shè)計(jì)在后端設(shè)計(jì)中占有舉足輕重的地位。那今天我們就來介紹下，時(shí)序分析中的最重要概念——STA。

我們現(xiàn)在生活中其實(shí)存在著不少時(shí)序問題，比如以下兩個(gè)例子：

?我打電話給張三，李四卻接了電話

這就代表著數(shù)據(jù)傳輸過程中出現(xiàn)問題，導(dǎo)致芯片不工作

?我想要一輛法拉利，你卻給我的是裝著QQ引擎的法拉利

這就代表著芯片沒有工作在正常的頻率之下

同樣在芯片設(shè)計(jì)過程中，存在著很多時(shí)序的違例。這就需要我們?cè)谠O(shè)計(jì)中去驗(yàn)證時(shí)序的正確與否。

通常，我們有以下兩種驗(yàn)證方法：

(1) 動(dòng)態(tài)時(shí)序分析（Dynamic timing simulation）

(2) 靜態(tài)時(shí)序分析（Static Timing Analysis, 簡稱STA）

動(dòng)態(tài)時(shí)序分析，主要是通過輸入向量作為激勵(lì)，來驗(yàn)證整個(gè)設(shè)計(jì)的時(shí)序功能。動(dòng)態(tài)時(shí)序分析的精確與否取決于輸入激勵(lì)的覆蓋率，它最大的缺點(diǎn)就是速度非常慢，通常百萬門的設(shè)計(jì)想全部覆蓋測試的話，時(shí)間就是按月來計(jì)算了。
而靜態(tài)時(shí)序分析呢？

Static timing Analysis is a method for determining if a circuit meets timing constraints without having to simulate clock cycles.

翻成中文的話： 套用特定的時(shí)序模型（Timing Model），針對(duì)特定電路分析其是否違反設(shè)計(jì)者給定的時(shí)序限制（Timing Constraint）。

和動(dòng)態(tài)時(shí)序分析相比，它不需要輸入激勵(lì)，因此速度會(huì)很快，并且它是Path Based分析，采用窮舉型邏輯，如下圖所示，理論上能分析到所有同步邏輯是否違反約束。

那么如何去做STA，需要準(zhǔn)備些什么文件呢？簡單的可以用下圖表示：

我們需要準(zhǔn)備設(shè)計(jì)的libarary data (包括cell的lib和operating condition等等)，Timing constraints(包括clock的描述，design boundry的約束等其他sdc)，Gate-level-netlist，sdf/spef等rc信息文件； 然后需要指定時(shí)序分析模式，最后會(huì)產(chǎn)生設(shè)計(jì)中的詳細(xì)時(shí)序分析報(bào)告。