我們先看UG949中舉的例子：

時序場景如下圖所示，clk0和clk1兩個時鐘輸入，經(jīng)過BUFGMUX后，輸出到后面的邏輯，但同時clk0和clk1還分別驅(qū)動了其他邏輯。

此時，如果路徑A/B/C都不存在，其中A路徑表示clk0與選擇器輸出的時鐘之間的數(shù)據(jù)交互，B路徑表示clk1與選擇器輸出的時鐘之間的數(shù)據(jù)交互，C路徑表示clk0和clk1之間的數(shù)據(jù)交互，那么使用下面的約束就可以了：

set_clock_groups-logically_exclusive-groupclk0-groupclk1

如果clk0和clk1之間有數(shù)據(jù)交互，則需要使用下面的約束：

create_generated_clock-nameclk0mux-divide_by1
-source[get_pinsmux/I0][get_pinsmux/O]
create_generated_clock-nameclk1mux-divide_by1
-add-master_clockclk1
-source[get_pinsmux/I1][get_pinsmux/O]
set_clock_groups-physically_exclusive-groupclk0mux-groupclk1mux

這里我們解釋一下logically_exclusive和physically_exclusive的區(qū)別：

-logical_exclusive

logical_exclusiveisusedfortwoclocksthataredefinedondifferentsourceroots.
Logicallyexclusiveclocksdonothaveanyfunctionalpathsbetweenthem,butmighthavecouplinginteractionswitheachother.
Anexampleoflogicallyexclusiveclocksismultipleclocks,whichareselectedbyaMUXbutcanstillinteractthroughcouplingupstreamoftheMUXcell.
Whentherearephysicallyexistingbutlogicallyfalsepathsbetweenthetwoclocks,use"set_clock_groups-logical_exclusive".

-physical_exclusive

physical_exclusiveisusedfortwoclocksthataredefinedonthesamesourcerootby"create_clock-add".
Timingpathsbetweenthesetwoclocksdonotphysicallyexist.
Asaresultyouwillneedtouse"set_clock_groups-physical_exclusive"tosetthemasfalsepaths.

簡而言之，logical_exclusive用于選擇器的電路，兩個時鐘的source不一樣；而physical_exclusive兩個時鐘的source是一樣，比如在同一個時鐘輸入口，但可能會輸入兩個不同的時鐘。

下面我們來看下為什么要這樣約束。

我們先來復(fù)習(xí)一下set_clock_groups的用法，set_clock_groups后面可以加的參數(shù)有三個，除了logically_exclusive和physically_exclusive，還有我們最常用的-asynchronous，無論后面是哪個參數(shù)，set_clock_groups就是讓工具不去分析我們后面約束的時鐘組，只是這三個參數(shù)的應(yīng)用場景略有不同。

在第一個場景中，clk0和clk1之間沒有數(shù)據(jù)交互，因此工具不需要分析它們之間的路徑，而且它們后面有時鐘選擇器，符合logical_exclusive的使用場景，因此約束是

set_clock_groups-logically_exclusive-groupclk0-groupclk1

在第二個場景中，clk0和clk1之間是有數(shù)據(jù)交互的，就不能直接把這個時鐘設(shè)置clock group，但經(jīng)過MUX之后的時鐘，只會有一個存在，這兩個時鐘之間肯定是不存在交互的，所以這兩個時鐘需要設(shè)置clock group，而這兩個時鐘有same source root，因此使用的參數(shù)是physical_exclusive。

有同學(xué)可能會問，對于第一個場景，MUX之后的時鐘也是只存在一個，為什么不需要再分別generate clock，然后設(shè)置physical_exclusive呢？

我個人理解，這就跟時鐘傳播有關(guān)系，什么情況下時鐘不向后傳播：

Thesourcelatencypathsdonotflowthroughsequentialelementclockpins,transparentlatchdatapins,orsourcepinsofothergeneratedclocks.

選擇器既不是sequential element，也不是latch，因此只要我們后面沒有create generated clock，那么時序路徑就可以繼續(xù)向后傳播，我們已經(jīng)設(shè)置了前面的兩個時鐘的logically_exclusive，因此后面的電路，只要時鐘路徑?jīng)]有斷，那就都存在logically_exclusive。

需要注意一點：create_clock或者create_generated_clock之后，原來在當(dāng)前點傳播的clk不在向后傳播

因此，針對上面的電路，假設(shè)clk0和clk1之間有數(shù)據(jù)交互，我們還可以用下面的方法約束：

在pinI0和pinI1處，我們create一個generated_clock，這樣clk0和clk1就不再向mux傳播，但FD0和FD1仍然是clk0和clk1所在的時鐘路徑。(下面默認(rèn)clk0和clk1已經(jīng)create)

create_generated_clock-nameclk_I0
[get_pinsmux/I0]
-master_clockclk0
-divide_by1
-source[get_portspinclk0]
-add
create_generated_clock-nameclk_I1
[get_pinsmux/I1]
-master_clockclk1
-divide_by1
-source[get_portspinclk1]
-add

set_clock_groups-logically_exclusive-groupclk_I0-groupclk_I1

在網(wǎng)上還看到有個說法，而且已經(jīng)經(jīng)過了DC工具的驗證：set_clock_groups的三個參數(shù)asynchronous、logically_exclusive和physically_exclusive的實際作用是一樣的，都是設(shè)成異步，因此上面的約束中，這三個參數(shù)可以隨便用。

但是既然工具給出了三種參數(shù)的使用場景，那我們就應(yīng)該按照場景來使用這三個參數(shù)。

審核編輯：湯梓紅