[發明專利]一種電路驗證方法、裝置、電子設備及存儲介質

有效

• 申請號: 202011299234.2
• 申請日: 2020-11-19
• 公開（公告）號: CN112417795B
• 公開（公告）日: 2023-07-07
• 發明（設計）人: 王芳
• 申請（專利權）人: 海光信息技術股份有限公司
• 主分類號: G06F30/33
• 分類號: G06F30/33
• 代理公司: 北京市廣友專利事務所有限責任公司 11237
• 代理人: 張仲波

1.一種電路驗證方法，其特征在于，包括：

獲取待驗證電路的時鐘分布信息；所述時鐘分布信息包括：所述待驗證電路中需要加載時鐘的電路模塊或元件；

加載預先設置的時鐘模型，并根據所述時鐘分布信息將所述時鐘模型實例化為所述待驗證電路的時鐘實例；

至少根據第一配置指令配置所述時鐘實例，以利用所述時鐘實例產生的時鐘信號對所述待驗證電路進行驗證；

其中，所述至少根據第一配置指令配置所述時鐘實例包括：

若所述待驗證電路中設置有時鐘發生器，則獲取所述時鐘發生器輸出的第一時鐘頻率；

根據所述第一時鐘頻率以及所述第一配置指令，配置所述時鐘實例；

若所述待驗證電路中未設置時鐘發生器，則根據第二配置指令，生成第二時鐘頻率；

根據所述第二時鐘頻率以及所述第一配置指令，配置所述時鐘實例。

2.根據權利要求1所述的方法，其特征在于，所述加載預先設置的時鐘模型，并根據所述時鐘分布信息將所述時鐘模型實例化為所述待驗證電路的時鐘實例包括：

將所述時鐘模型加載至所述待驗證電路的驗證環境中；

根據所述時鐘分布信息，檢測所述待驗證電路中是否設置有時鐘發生器；

根據檢測結果對所述時鐘模型進行實例化。

3.根據權利要求2所述的方法，其特征在于，所述根據檢測結果對所述時鐘模型進行實例化包括：

若所述檢測結果為所述待驗證電路中設置有時鐘發生器，則截斷所述時鐘發生器與所述待驗證電路的信號連接，并將所述時鐘模型的時鐘信號輸出端與所述待驗證電路的時鐘輸入端連接；

若所述檢測結果為所述待驗證電路中未設置所述時鐘發生器，則直接將所述時鐘模型產生的時鐘信號與所述待驗證電路的時鐘輸入端連接。

4.根據權利要求2所述的方法，其特征在于，所述配置所述時鐘實例包括：根據所述檢測結果配置所述時鐘實例。

5.根據權利要求1所述的方法，其特征在于，所述第一配置指令包括分頻配置指令，包括分頻比例，以根據所述分頻比例得到具有目標頻率的時鐘。

6.根據權利要求5所述的方法，其特征在于，所述第一配置指令包括漂移配置指令，所述漂移配置指令用于對目標頻率進行頻率漂移，所述漂移配置指令包括對頻漂范圍的配置和對頻漂方式的配置。

7.根據權利要求5所述的方法，其特征在于，所述第一配置指令還包括抖動配置指令，所述抖動配置指令用于對目標頻率的時鐘，做時鐘沿的抖動處理；所述抖動包括單沿抖動有效或雙沿抖動有效，所述抖動的方式包括周期性抖動或隨機抖動，所述抖動的數值為固定值或指定范圍內的隨機值。

8.根據權利要求1所述的方法，其特征在于，所述第二配置指令包括發生配置指令，所述發生配置指令為用戶配置的、用于產生第二時鐘頻率的指令，所述第二時鐘頻率為根據用戶配置的目標頻率而產生的固定頻率，或預定范圍內的隨機時鐘頻率。

9.根據權利要求1所述的方法，其特征在于，所述時鐘分布信息還包括以下至少一項：所述電路模塊或元件中用于加載時鐘的引腳、所述電路模塊或元件所接入的時鐘、各所述時鐘的時鐘類型。

10.根據權利要求1所述的方法，其特征在于，所述配置所述時鐘實例之后，所述方法還包括：

利用所述時鐘實例產生的時鐘信號對所述待驗證電路進行驗證；

在驗證過程中，通過所述時鐘實例收集所述待驗證電路的時鐘性能參數；

根據所述時鐘性能參數生成時鐘覆蓋率報告。