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

lib中定義的min period如下：

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

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

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

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

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