本發(fā)明涉及計算機，特別涉及一種數(shù)字電路的同步單元驗證方法、裝置、設(shè)備及介質(zhì)。

背景技術(shù)：

1、在數(shù)字電路設(shè)計中，同步單元（sync?cell）是一種非常重要且常用的電路結(jié)構(gòu)，主要用于實現(xiàn)跨時鐘域（clock?domain?crossing，cdc）的數(shù)據(jù)同步。其作用是確保數(shù)據(jù)能夠從一個時鐘域安全、準(zhǔn)確地傳輸?shù)搅硪粋€時鐘域，即使這兩個時鐘域的時鐘頻率和相位可能不同。同步單元的主要功能包括：消除亞穩(wěn)態(tài)：通過引入兩個或多個觸發(fā)器，解決觸發(fā)器在預(yù)定時間內(nèi)無法達(dá)到確定狀態(tài)（0或1）的問題；數(shù)據(jù)同步：確保輸入數(shù)據(jù)在目標(biāo)時鐘域的時鐘邊沿時已經(jīng)穩(wěn)定，避免因時鐘不確定性導(dǎo)致的數(shù)據(jù)錯誤；時鐘域隔離：通過獨立的觸發(fā)器對數(shù)據(jù)進(jìn)行采樣，實現(xiàn)兩個時鐘域之間的邏輯隔離；提高系統(tǒng)穩(wěn)定性：減少跨時鐘域傳輸引起的系統(tǒng)不穩(wěn)定性和數(shù)據(jù)不一致性。

2、同步單元是確保數(shù)據(jù)在不同時鐘域之間正確傳輸?shù)年P(guān)鍵手段，因此對其驗證尤為重要。傳統(tǒng)前端驗證方法主要依賴功能驗證，通過撰寫針對跨時鐘域信號的測試用例進(jìn)行覆蓋。然而，這種方法存在局限性，無法實時監(jiān)測同步單元的輸入輸出信號，尤其是信號可能多次翻轉(zhuǎn)的情況，容易遺漏驗證點。

技術(shù)實現(xiàn)思路

1、有鑒于此，本發(fā)明的目的在于提供一種數(shù)字電路的同步單元驗證方法、裝置、設(shè)備及介質(zhì)，能夠降低因驗證不全面而遺漏問題的可能性，提高執(zhí)行覆蓋率，其具體方案如下：

2、第一方面，本技術(shù)公開了一種數(shù)字電路的同步單元驗證方法，包括：

3、在同步單元中嵌入斷言語句規(guī)則與斷言覆蓋率評估規(guī)則；其中，斷言語句規(guī)則用于監(jiān)測同步單元在數(shù)據(jù)同步過程中的運行狀態(tài)和信號特征，并且斷言語句規(guī)則采用參數(shù)化實現(xiàn)方式，以適配不同電路單元的功能需求，斷言覆蓋率評估規(guī)則用于統(tǒng)計斷言語句規(guī)則的執(zhí)行情況；

4、利用多個測試用例執(zhí)行同步單元的前端仿真驗證，得到用例執(zhí)行結(jié)果，判斷用例執(zhí)行結(jié)果中是否存在與斷言語句規(guī)則不符的違例情況：

5、若用例執(zhí)行結(jié)果中不存在與斷言語句規(guī)則不符的違例情況，則基于斷言覆蓋率評估規(guī)則，計算斷言語句規(guī)則的執(zhí)行覆蓋率，并根據(jù)執(zhí)行覆蓋率評估同步單元是否通過前端仿真驗證。

6、可選的，每一測試用例包含一組輸入數(shù)據(jù)、時鐘信號和復(fù)位信號，斷言語句規(guī)則包括同步穩(wěn)定性檢查與同步毛刺檢查，則利用多個測試用例執(zhí)行同步單元的前端仿真驗證，得到用例執(zhí)行結(jié)果，包括：

7、若復(fù)位信號為低電平，則禁用同步穩(wěn)定性檢查；

8、若復(fù)位信號為高電平，則啟用同步穩(wěn)定性檢查；

9、其中，同步穩(wěn)定性檢查，包括：

10、若檢查到輸入數(shù)據(jù)不穩(wěn)定，則在輸入數(shù)據(jù)在后續(xù)時鐘周期內(nèi)未保持穩(wěn)定時生成穩(wěn)定性違例信息，否則判定輸入數(shù)據(jù)滿足穩(wěn)定性要求；

11、若復(fù)位信號為低電平，則禁用同步毛刺檢查

12、若復(fù)位信號為高電平，則啟用同步毛刺檢查；

13、其中，同步毛刺檢查，包括：

14、若檢查到輸入數(shù)據(jù)發(fā)生變化，則將輸入數(shù)據(jù)取反后賦值給數(shù)據(jù)變量，在下一個時鐘信號的上升沿檢查輸入數(shù)據(jù)是否等于數(shù)據(jù)變量；

15、若輸入數(shù)據(jù)不等于數(shù)據(jù)變量，則判定存在毛刺，并生成毛刺違例信息，否則判定輸入數(shù)據(jù)不存在毛刺；

16、在仿真完成后，生成用例執(zhí)行結(jié)果；其中，用例執(zhí)行結(jié)果包括每個測試用例的仿真結(jié)果與斷言違例的匯總信息。

17、可選的，判斷用例執(zhí)行結(jié)果中是否存在與斷言語句規(guī)則不符的違例情況之后，還包括：

18、若用例執(zhí)行結(jié)果中存在與斷言語規(guī)則不符的違例情況，則對違例情況的仿真日志進(jìn)行預(yù)分析，以提取違例信息，并判斷違例情況是否滿足允許通過判斷條件，以便根據(jù)判斷結(jié)果選擇相匹配的處理方式。

19、可選的，判斷違例情況是否滿足允許通過判斷條件，以便根據(jù)判斷結(jié)果選擇相匹配的處理方式，包括：

20、若違例情況滿足允許通過判斷條件，則將違例情況添加至過濾文件，以便在下次前端仿真驗證時，基于過濾文件過濾允許通過的違例。

21、可選的，判斷違例情況是否滿足允許通過判斷條件，以便根據(jù)判斷結(jié)果選擇相匹配的處理方式，包括：

22、若違例情況不滿足允許通過判斷條件，則基于違例信息生成錯誤報告，并根據(jù)錯誤報告對各個違例進(jìn)行優(yōu)先級排序；

23、按照優(yōu)先級排序?qū)`例進(jìn)行波形仿真，并檢測仿真結(jié)果中是否存在異常情況，以便在檢測到仿真結(jié)果中存在異常情況時進(jìn)行相應(yīng)修復(fù)。

24、可選的，數(shù)字電路的同步單元驗證方法，還包括：

25、將對違例情況的仿真日志的預(yù)分析功能集成至目標(biāo)圖形化界面仿真工具中，并在相應(yīng)的界面上配置預(yù)分析啟動按鈕，以便通過預(yù)分析啟動按鈕自動執(zhí)行對違例情況的仿真日志的預(yù)分析功能。

26、可選的，根據(jù)執(zhí)行覆蓋率評估同步單元是否通過前端仿真驗證，包括：

27、若執(zhí)行覆蓋率達(dá)到目標(biāo)閾值，判定同步單元通過前端仿真驗證；

28、若執(zhí)行覆蓋率未達(dá)到目標(biāo)閾值，針對未達(dá)到的覆蓋率閾值的同步單元，增加測試用例，并跳轉(zhuǎn)至利用多個測試用例執(zhí)行同步單元的前端仿真驗證的步驟。

29、第二方面，本技術(shù)公開了一種數(shù)字電路的同步單元驗證裝置，包括：

30、規(guī)則嵌入模塊，用于在同步單元中嵌入斷言語句規(guī)則與斷言覆蓋率評估規(guī)則；其中，斷言語句規(guī)則用于監(jiān)測同步單元在數(shù)據(jù)同步過程中的運行狀態(tài)和信號特征，并且斷言語句規(guī)則采用參數(shù)化實現(xiàn)方式，以適配不同電路單元的功能需求，斷言覆蓋率評估規(guī)則用于統(tǒng)計斷言語句規(guī)則的執(zhí)行情況；

31、仿真驗證模塊，用于利用多個測試用例執(zhí)行同步單元的前端仿真驗證，得到用例執(zhí)行結(jié)果，判斷用例執(zhí)行結(jié)果中是否存在與斷言語句規(guī)則不符的違例情況：

32、結(jié)果評估模塊，用于若用例執(zhí)行結(jié)果中不存在與斷言語句規(guī)則不符的違例情況，則基于斷言覆蓋率評估規(guī)則，計算斷言語句規(guī)則的執(zhí)行覆蓋率，并根據(jù)執(zhí)行覆蓋率評估同步單元是否通過前端仿真驗證。

33、第三方面，本技術(shù)公開了一種電子設(shè)備，包括：

34、存儲器，用于保存計算機程序；

35、處理器，用于執(zhí)行計算機程序，以實現(xiàn)前述公開的數(shù)字電路的同步單元驗證方法。

36、第四方面，本技術(shù)公開了一種計算機可讀存儲介質(zhì)，用于保存計算機程序；其中，計算機程序被處理器執(zhí)行時實現(xiàn)前述公開的數(shù)字電路的同步單元驗證方法。

37、可見，本技術(shù)提出一種數(shù)字電路的同步單元驗證方法，包括：在同步單元中嵌入斷言語句規(guī)則與斷言覆蓋率評估規(guī)則；斷言語句規(guī)則用于監(jiān)測同步單元在數(shù)據(jù)同步過程中的運行狀態(tài)和信號特征，并且斷言語句規(guī)則采用參數(shù)化實現(xiàn)方式，以適配不同電路單元的功能需求，斷言覆蓋率評估規(guī)則用于統(tǒng)計斷言語句規(guī)則的執(zhí)行情況；利用多個測試用例執(zhí)行同步單元的前端仿真驗證，得到用例執(zhí)行結(jié)果，判斷用例執(zhí)行結(jié)果中是否存在與斷言語句規(guī)則不符的違例情況：若用例執(zhí)行結(jié)果中不存在與斷言語句規(guī)則不符的違例情況，則基于斷言覆蓋率評估規(guī)則，計算斷言語句規(guī)則的執(zhí)行覆蓋率，并根據(jù)執(zhí)行覆蓋率評估同步單元是否通過前端仿真驗證?？梢姡炯夹g(shù)在同步單元中嵌入采用參數(shù)化實現(xiàn)方式的斷言語句規(guī)則，此規(guī)則能夠根據(jù)不同電路單元的功能需求，通過靈活調(diào)整參數(shù)來適配各種情況。如此一來，只需開發(fā)一套斷言語句規(guī)則，便可以根據(jù)不同模塊的具體需求，傳遞不同的參數(shù)值，以實現(xiàn)在多個模塊間復(fù)用，極大的避免了多次開發(fā)斷言語句的繁瑣，顯著提升了斷言語句的開發(fā)效率。此外，本技術(shù)的驗證方法引入了斷言覆蓋率評估規(guī)則，該規(guī)則用于統(tǒng)計斷言語句規(guī)則的執(zhí)行情況。當(dāng)執(zhí)行覆蓋率達(dá)到較高水平時，意味著同步單元在各種可能情況下的運行狀態(tài)和信號特征都得到了較為充分的監(jiān)測和驗證，大大降低了因驗證不全面而遺漏問題的可能性，提高執(zhí)行覆蓋率。