在 Synopsys Primetime 工具中可以檢查.lib 文件中時(shí)鐘輸入的最小周期。想象這樣一個(gè)場景，有一個(gè)設(shè)計(jì) A，它有一個(gè)名為 clk 的時(shí)鐘，并且該設(shè)計(jì)的 clk 周期被設(shè)定為一個(gè)值，比如 2 納秒，即 500MHz。假設(shè)我們?cè)谶M(jìn)行靜態(tài)時(shí)序分析時(shí)在頂層讀取這個(gè)設(shè)計(jì) A 的.lib 文件，而連接到 A 的 clk 的頂層時(shí)鐘周期被定義為 1 納秒，即 1GHz。顯然，設(shè)計(jì) A 將無法正常工作。為了找出這樣的差異，我們可以檢查最小周期違規(guī)情況。為此，clk 的最小周期約束應(yīng)該在設(shè)計(jì) A 的.lib 文件中指定。

lib中定義的min period如下：

這表明到達(dá) CP 引腳的時(shí)鐘應(yīng)該具有 2 納秒的最小周期。如果不是，那么在 “report_constraint min_period -verbose report” 報(bào)告中將會(huì)顯示違反了多少余量。這也將是 “report_constraint -all_violators report” 報(bào)告的一部分。

命令 “report_analysis_coverage” 也涵蓋最小周期檢查?？梢匀缦逻M(jìn)行檢查：“report_analysis_coverage -check_type min_period”。

當(dāng)看到最小周期違規(guī)時(shí)需要做什么？

這些違規(guī)應(yīng)該在設(shè)計(jì)周期的初始init階段就進(jìn)行檢查和分析。首先，我們需要分析那個(gè)特定的時(shí)鐘是否應(yīng)該到達(dá)那個(gè)設(shè)計(jì)實(shí)例。有時(shí)由于一些缺失的情況分析，多個(gè)時(shí)鐘可能會(huì)到達(dá)同一個(gè)引腳。還要確認(rèn)特定引腳在.lib 設(shè)計(jì)內(nèi)部本身是否被用作時(shí)鐘。經(jīng)過分析，如果結(jié)果是有效的最小周期違規(guī)，我們需要通知頂層架構(gòu) / RTL 團(tuán)隊(duì)和設(shè)計(jì).lib 的所有者關(guān)于頻率差異，并讓他們進(jìn)行修復(fù)，例如選用LowVT的mem，split mem等

引用自：
https://tech.tdzire.com/what-is-minimum-period-check/