本說明書實施例涉及硬件設(shè)計開發(fā)的，特別涉及一種驗證方法、計算設(shè)備及驗證系統(tǒng)。

背景技術(shù)：

1、隨著硬件設(shè)計開發(fā)技術(shù)的發(fā)展，在硬件設(shè)計開發(fā)過程中，需要待驗證處理單元進行數(shù)據(jù)通路驗證(data?path?validation，簡稱dpv)，即先利用高級程序語言，如c語言或者c++語言進行處理單元建模，得到建模代碼如cmodel，之后，再利用邏輯設(shè)計工具如verilog等開發(fā)工具，得到邏輯代碼如寄存器傳輸級(register?transfer?level，簡稱rtl)代碼。

2、目前，為了保證邏輯代碼的行為與建模代碼一致，需要以建模代碼為參考，對待驗證處理單元進行數(shù)據(jù)通路驗證，編寫驗證用例來提供激勵輸入和環(huán)境搭建，進而驗證待驗證處理單元。這樣的驗證過程不完善，且驗證效率較低。以形式性(formal)驗證的方式，通過窮舉的激勵輸入和快速的環(huán)境搭建，提高了數(shù)據(jù)通路驗證的質(zhì)量和效率。

3、然而，待驗證處理單元由越來越復(fù)雜的處理算子組成，如何針對性地確定收斂異常算子來完成驗證收斂優(yōu)化，進而提升驗證質(zhì)量和效率，是一個亟需解決的問題。

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

1、有鑒于此，本說明書實施例提供了一種驗證方法。本說明書一個或者多個實施例同時涉及一種驗證裝置，一種計算設(shè)備，一種驗證系統(tǒng)，一種計算機可讀存儲介質(zhì)以及一種計算機程序產(chǎn)品，以解決現(xiàn)有技術(shù)中存在的技術(shù)缺陷。

2、根據(jù)本說明書實施例的第一方面，提供了一種驗證方法，包括：

3、獲取待驗證處理單元的運算信息；

4、對運算信息進行收斂異常分析，確定待驗證處理單元中收斂異常算子；

5、基于收斂異常算子的算子類型，調(diào)用算子類型對應(yīng)的目標驗證工具對收斂異常算子進行驗證，獲得驗證結(jié)果，其中，目標驗證工具基于算子類型對應(yīng)的收斂約束構(gòu)建，收斂約束用于約束對收斂異常算子進行驗證的復(fù)雜度。

6、根據(jù)本說明書實施例的第二方面，提供了一種驗證裝置，包括：

7、獲取模塊，被配置為獲取待驗證處理單元的運算信息；

8、分析模塊，被配置為對運算信息進行收斂異常分析，確定待驗證處理單元中收斂異常算子；

9、驗證模塊，被配置為基于收斂異常算子的算子類型，調(diào)用算子類型對應(yīng)的目標驗證工具對收斂異常算子進行驗證，獲得驗證結(jié)果，其中，目標驗證工具基于算子類型對應(yīng)的收斂約束構(gòu)建，收斂約束用于約束對收斂異常算子進行驗證的復(fù)雜度。

10、根據(jù)本說明書實施例的第三方面，提供了一種計算設(shè)備，包括處理器；

11、該處理器根據(jù)上述驗證方法驗證通過。

12、根據(jù)本說明書實施例的第四方面，提供了一種驗證系統(tǒng)，包括存儲器、處理器和驗證端；

13、該存儲器用于存儲計算機程序/指令，該驗證端用于執(zhí)行該計算機程序/指令，該計算機程序/指令被該驗證端執(zhí)行時實現(xiàn)上述驗證方法方法對該處理器進行驗證。

14、根據(jù)本說明書實施例的第五方面，提供了一種計算機可讀存儲介質(zhì)，其存儲有計算機程序/指令，該計算機程序/指令被處理器執(zhí)行時實現(xiàn)上述驗證方法的步驟。

15、根據(jù)本說明書實施例的第六方面，提供了一種計算機程序產(chǎn)品，包括計算機程序/指令，該計算機程序/指令被處理器執(zhí)行時實現(xiàn)上述驗證方法的步驟。

16、本說明書一個實施例中，獲取待驗證處理單元的運算信息；對運算信息進行收斂異常分析，確定待驗證處理單元中收斂異常算子，通過深度解析待驗證處理單元的運算信息，能夠準確識別出在驗證過程中出現(xiàn)收斂異常算子，是后續(xù)針對性驗證的基礎(chǔ)，確保了驗證資源的高效分配，避免了對所有算子進行無差別的驗證，從而顯著減少了不必要的驗證工作量?；谑諗慨惓Ｋ阕拥乃阕宇愋停{(diào)用算子類型對應(yīng)的目標驗證工具對收斂異常算子進行驗證，獲得驗證結(jié)果，其中，目標驗證工具基于算子類型對應(yīng)的收斂約束構(gòu)建，收斂約束用于約束對收斂異常算子進行驗證的復(fù)雜度。實現(xiàn)了基于算子類型的針對性驗證，每種類型的收斂異常算子將采用對應(yīng)的目標驗證工具進行驗證，有效避免驗證過程中使用通用驗證工具進行驗證，提升了驗證的質(zhì)量，還能通過優(yōu)化收斂異常算子的驗證復(fù)雜度，加快了驗證過程的收斂速度，從而縮短驗證周期，提升了驗證效率。

技術(shù)特征：

1.一種驗證方法，包括：

2.根據(jù)權(quán)利要求1所述的方法，所述運算信息包括運算架構(gòu)；

3.根據(jù)權(quán)利要求2所述的方法，所述對所述運算架構(gòu)進行收斂異常分析，確定所述待驗證處理單元中收斂異常的異構(gòu)算子，包括：

4.根據(jù)權(quán)利要求2所述的方法，所述對所述運算架構(gòu)進行收斂異常分析，確定所述待驗證處理單元中收斂異常的異構(gòu)算子，包括：

5.根據(jù)權(quán)利要求2所述的方法，所述對所述運算架構(gòu)進行收斂異常分析，確定所述待驗證處理單元中收斂異常的異構(gòu)算子，包括：

6.根據(jù)權(quán)利要求1所述的方法，所述運算信息包括多個處理算子；

7.根據(jù)權(quán)利要求1所述的方法，所述運算信息包括多個順序連接的處理算子；

8.根據(jù)權(quán)利要求7所述的方法，所述以各引理檢查為收斂約束，對各收斂異常分析區(qū)間進行收斂異常分析，確定所述待驗證處理單元中收斂異常算子，包括：

9.根據(jù)權(quán)利要求1-8任一項所述的方法，在所述對所述運算信息進行收斂異常分析，確定所述待驗證處理單元中收斂異常算子之前，還包括：

10.根據(jù)權(quán)利要求1所述的方法，其中，所述待驗證處理單元為risc-v處理器。

11.一種計算設(shè)備，包括處理器；

12.根據(jù)權(quán)利要求11所述的計算設(shè)備，其中，所述處理器為risc-v處理器。

13.一種驗證系統(tǒng)，包括存儲器、處理器和驗證端；

14.根據(jù)權(quán)利要求13所述的系統(tǒng)，其中，所述處理器為risc-v處理器。

技術(shù)總結(jié)
本說明書實施例提供驗證方法、計算設(shè)備及驗證系統(tǒng)，其中所述驗證方法包括：獲取待驗證處理單元的運算信息；對運算信息進行收斂異常分析，確定待驗證處理單元中收斂異常算子；基于收斂異常算子的算子類型，調(diào)用算子類型對應(yīng)的目標驗證工具對收斂異常算子進行驗證，獲得驗證結(jié)果，其中，目標驗證工具基于算子類型對應(yīng)的收斂約束構(gòu)建，收斂約束用于約束對收斂異常算子進行驗證的復(fù)雜度。有效提升了驗證的質(zhì)量，還能通過優(yōu)化收斂異常算子的驗證復(fù)雜度，加快驗證過程的收斂速度，從而縮短驗證周期，提升了驗證效率。另外，本說明書實施例提出的創(chuàng)新方案可用于RISC?V處理器。

技術(shù)研發(fā)人員：李浩然,江滔
受保護的技術(shù)使用者：阿里巴巴達摩院（杭州）科技有限公司
技術(shù)研發(fā)日：
技術(shù)公布日：2025/1/9