怎樣通過(guò)設(shè)置clock group來(lái)確認(rèn)各個(gè)時(shí)鐘之間的關(guān)系？

今天我們要介紹的時(shí)序分析基本概念是 clock group，簡(jiǎn)稱時(shí)鐘組。 定義完時(shí)鐘后，我們也需要通過(guò)設(shè)置clock group來(lái)確認(rèn)各個(gè)時(shí)鐘之間的關(guān)系。

工具不會(huì)對(duì)處于不同clock group的時(shí)鐘檢查時(shí)序。這是很重要的一步，因?yàn)橥ǔＮ覀冞€需要做cross domain check， 如果clock group設(shè)錯(cuò)了， 會(huì)導(dǎo)致整個(gè)STA檢查錯(cuò)誤。一般有三種類型的clock group屬性選擇：

asynchronous

physically_exclusive

logically_exclusive

asynchronous代表兩個(gè)異步的clock group，工具會(huì)做正常的SI分析。

logically_exclusive代表兩個(gè)clock group在邏輯上相互排斥，比如兩個(gè)clock經(jīng)過(guò)MUX選擇器。工具分析SI時(shí)，采用 infinite window（信號(hào)全部翻轉(zhuǎn)），而不是看具體的timing window，較為悲觀。

physically_exclusive代表兩個(gè)clock group在物理意義上相互排斥，比如在一個(gè)source pin上定義了兩個(gè)時(shí)鐘。這時(shí)候，工具會(huì)禁止分析SI。

一個(gè)簡(jiǎn)單的例子：

set_clock_group -name groupA -physically_exclusive \\

-group "CLK1A" -group "CLK1B"

set_clock_group -name groupB -logically_exclusive \\

-group "CLK1A CLK1B CLK3" -group "CLK2" -group "CLK4"

set_clock_group -name aysnc_group -asynchronous \\

-group CLK1 -group CLK2