【技術實現步驟摘要】
本申請涉及芯片，尤其涉及一種時鐘樹驗證方法及裝置、計算機可讀存儲介質、計算設備。
技術介紹
1、片上系統(system?on?chip，soc)中通常設置時鐘樹，時鐘樹可以產生具有不同頻率的時鐘信號，以滿足不同器件對時鐘信號的需求?，F有的時鐘樹如圖1所示，是個由許多緩沖單元搭建的網狀結構，有一個源點，多個終點。時鐘樹的源點一般連接集成電路的時鐘輸入端。時鐘樹的終點一般連接集成電路內部模塊的寄存器的時鐘輸入端。時鐘樹的源點與終點由多級的緩沖單元搭建的樹型網狀結構連接。
2、片上系統中的時鐘設計十分復雜，一個時鐘節點的輸出有可能作為另一個或幾個時鐘節點的輸入，從而形成一種類似樹狀結構的時鐘樹。圖1示出了一種時鐘樹，其中，上游時鐘clkin可以選擇性連接時鐘切換器(mux)、分頻器(frequency?divider)或門控單元(clock?gate)組件后，得到下游時鐘clkout。現有技術中，時鐘樹驗證是soc驗證中重要的一環。
3、但是，傳統的時鐘樹驗證流程需要列出各模塊輸入端時鐘的參考周期和參考毛刺期望值，對復雜時鐘樹的中間時鐘節點通常不會做檢測，驗證流程復雜且檢測效率低。
技術實現思路
1、本申請提供了一種時鐘樹驗證方法及裝置，提供了一種提升時鐘樹驗證便捷性和準確性的方案。
2、為了達到上述目的，本申請提供了以下技術方案：
3、第一方面，提供了一種時鐘樹驗證方法，時鐘樹驗證方法包括：構建連接參考模型，所述連接參考模型包括時鐘樹中各
4、可選的，所述至少一個控制信號包括以下至少一項：選擇信號、分頻控制信號以及使能信號，其中，所述選擇信號用于指示父時鐘，所述分頻控制信號用于指示分頻方式，所述使能信號用于指示對應的時鐘是否有效。
5、可選的，所述隨機更新至少一個控制信號的值，并根據所述至少一個控制信號更新后的更新參考周期和參考毛刺期望值包括：隨機更新至少一個選擇信號和/或至少一個分頻控制信號的值；更新參考周期和參考毛刺期望值。
6、可選的，所述根據所述至少一個控制信號更新后的更新參考周期和參考毛刺期望值包括：根據更新的選擇信號以及更新的分頻控制信號確定相關的第一子時鐘，并暫停第一子時鐘的檢測；根據所述更新的選擇信號指示的父時鐘的參考周期，以及所述更新的分頻控制信號計算各個時鐘的參考周期和參考毛刺期望值；恢復所有時鐘的檢測。
7、可選的，時鐘樹驗證方法還包括：響應于更新所述使能信號為控制門控單元關斷，暫停所述使能信號相關時鐘的檢測；響應于更新所述使能信號為控制所述門控單元導通，恢復所述使能信號相關時鐘的檢測，以檢測所述門控單元的工作狀態。
8、可選的，所述構建連接參考模型包括：構建數組，所述數組包括以下至少一項：子時鐘隊列、父時鐘隊列、選擇信號、分頻控制信號、使能信號、參考周期和參考毛刺期望值；根據所述時鐘樹的結構以及輸入信息為所述數組賦值。
9、可選的，所述構建數組包括：將各個輸入時鐘源連接的下游子時鐘的信息添加到各個輸入時鐘源的子時鐘隊列中；在各個子時鐘的父時鐘隊列中添加對應的父時鐘的信息。
10、可選的，所述構建數組包括：根據時鐘上游連接中存在的選擇器和分頻器組件，更新所述選擇信號以及所述分頻控制信號；設置所有輸入時鐘源對應參考周期和參考毛刺期望值；對于每個層級的子時鐘，根據所述選擇信號從父時鐘隊列中獲取對應父時鐘的參考周期，再根據所述分頻控制信號更新各個子時鐘對應的參考周期和參考毛刺期望值。
11、第二方面，提供了一種時鐘樹驗證裝置，時鐘樹驗證裝置包括：構建模塊，用于構建連接參考模型，所述連接參考模型包括時鐘樹中各個時鐘的信息、各個時鐘之間的連接關系以及控制信號的初始值，所述時鐘的信息包括時鐘的參考周期和參考毛刺期望值，每個控制信號用于控制至少一個時鐘之間的連接關系；更新模塊，用于隨機更新至少一個控制信號的值，并根據所述至少一個控制信號更新后的值更新參考周期和參考毛刺期望值；驗證模塊，用于根據更新后的參考周期和參考毛刺期望值進行各個時鐘的檢測。
12、第三方面，提供了一種計算機可讀存儲介質，其上存儲有計算機程序，計算機程序被處理器運行以執行第一方面提供的任意一種方法。
13、第四方面，提供了一種時鐘樹驗證裝置，包括存儲器和處理器，存儲器上存儲有可在處理器上運行的計算機程序，處理器運行計算機程序以執行第一方面提供的任意一種方法。
14、第五方面，提供了一種計算機程序產品，其上存儲有計算機程序，計算機程序被處理器運行以執行第一方面提供的任意一種方法。
15、第六方面，本申請實施例還提供一種芯片，該芯片上存儲有計算機程序，在計算機程序被芯片執行時，實現上述方法的步驟。
16、第七方面，本申請實施例還提供一種系統芯片，應用于終端中，所述芯片系統包括至少一個處理器和接口電路，所述接口電路和所述至少一個處理器通過線路互聯，所述至少一個處理器用于執行指令，以執行第一方面提供的任意一種方法。
17、與現有技術相比，本申請技術方案具有以下有益效果：
18、本申請技術方案中，構建連接參考模型，連接參考模型包括時鐘樹中各個時鐘的信息、各個時鐘之間的連接關系以及控制信號的初始值，時鐘的信息包括時鐘的參考周期和參考毛刺期望值，每個控制信號用于控制至少一個時鐘之間的連接關系；隨機更新至少一個控制信號的值，并根據至少一個控制信號更新后的值更新參考周期和參考毛刺期望值；根據更新后的參考周期和參考毛刺期望值進行各個時鐘的檢測。本申請技術方案通過構建連接參考模型，將芯片中時鐘樹中各個節點的信息作為輸入，完成復雜時鐘樹中所有時鐘節點的自動化監控比對；并在驗證過程中自動更新時鐘頻率和毛刺期望值等信息，保證芯片時鐘樹符合設計意圖，驗證流程簡單。
19、進一步地，本申請技術方案能夠根據控制信號的更新，例如使能信號為控制門控單元關斷，選擇信號或分頻控制信號的更新，及時關閉時鐘周期和毛刺的檢測，等待更新參考時鐘周期和參考毛刺期望值后，再恢復時鐘周期和毛刺檢測，保證時鐘樹驗證的正確性。
本文檔來自技高網...【技術保護點】
1.一種時鐘樹驗證方法，其特征在于，包括：
2.根據權利要求1所述的時鐘樹驗證方法，其特征在于，所述至少一個控制信號包括以下至少一項：選擇信號、分頻控制信號以及使能信號，其中，所述選擇信號用于指示父時鐘，所述分頻控制信號用于指示分頻方式，所述使能信號用于指示對應的時鐘是否有效。
3.根據權利要求2所述的時鐘樹驗證方法，其特征在于，所述隨機更新至少一個控制信號的值，并根據所述至少一個控制信號更新后的更新參考周期和參考毛刺期望值包括：
4.根據權利要求2所述的時鐘樹驗證方法，其特征在于，所述根據所述至少一個控制信號更新后的更新參考周期和參考毛刺期望值包括：
5.根據權利要求2所述的時鐘樹驗證方法，其特征在于，還包括：
6.根據權利要求1所述的時鐘樹驗證方法，其特征在于，所述構建連接參考模型包括：
7.根據權利要求6所述的時鐘樹驗證方法，其特征在于，所述構建數組包括：將各個輸入時鐘源連接的下游子時鐘的信息添加到各個輸入時鐘源的子時鐘隊列中；
8.根據權利要求6所述的時鐘樹驗證方法，其特征在于，所述構建數
9.一種時鐘樹驗證裝置，其特征在于，包括：
10.一種計算機可讀存儲介質，其上存儲有計算機程序，其特征在于，所述計算機程序被處理器運行時執行權利要求1至8中任一項所述時鐘樹驗證方法的步驟。
11.一種計算機程序產品，包括計算機程序/指令，其特征在于，該計算機程序/指令被處理器執行時實現權利要求1至8中任一項所述時鐘樹驗證方法的步驟。
12.一種計算設備，包括存儲器和處理器，所述存儲器上存儲有可在所述處理器上運行的計算機程序，其特征在于，所述處理器運行所述計算機程序時執行權利要求1至8中任一項所述時鐘樹驗證方法的步驟。
...【技術特征摘要】
1.一種時鐘樹驗證方法，其特征在于，包括：
2.根據權利要求1所述的時鐘樹驗證方法，其特征在于，所述至少一個控制信號包括以下至少一項：選擇信號、分頻控制信號以及使能信號，其中，所述選擇信號用于指示父時鐘，所述分頻控制信號用于指示分頻方式，所述使能信號用于指示對應的時鐘是否有效。
3.根據權利要求2所述的時鐘樹驗證方法，其特征在于，所述隨機更新至少一個控制信號的值，并根據所述至少一個控制信號更新后的更新參考周期和參考毛刺期望值包括：
4.根據權利要求2所述的時鐘樹驗證方法，其特征在于，所述根據所述至少一個控制信號更新后的更新參考周期和參考毛刺期望值包括：
5.根據權利要求2所述的時鐘樹驗證方法，其特征在于，還包括：
6.根據權利要求1所述的時鐘樹驗證方法，其特征在于，所述構建連接參考模型包括：
7.根據權利要求6所述的時鐘樹驗證方法，其特征在于，所...
【專利技術屬性】
技術研發人員：薛茂盛，高嘉琪，
申請(專利權)人：黑芝麻智能科技有限公司，
類型：發明
國別省市：
還沒有人留言評論。發表了對其他瀏覽者有用的留言會獲得科技券。