今天我們要介紹的時序分析基本概念是 clock group，簡稱時鐘組。 定義完時鐘后，我們也需要通過設置clock group來確認各個時鐘之間的關系。

工具不會對處于不同clock group的時鐘檢查時序。這是很重要的一步，因為通常我們還需要做cross domain check， 如果clock group設錯了， 會導致整個STA檢查錯誤。一般有三種類型的clock group屬性選擇：

asynchronous

physically_exclusive

logically_exclusive

asynchronous代表兩個異步的clock group，工具會做正常的SI分析。

logically_exclusive代表兩個clock group在邏輯上相互排斥，比如兩個clock經過MUX選擇器。工具分析SI時，采用 infinite window（信號全部翻轉），而不是看具體的timing window，較為悲觀。

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

一個簡單的例子：

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