本技術(shù)涉及芯片驗證，特別是涉及一種檢查工具生成方法、裝置、設(shè)備、存儲介質(zhì)和程序產(chǎn)品。

背景技術(shù)：

1、芯片驗證過程中，對芯片中當(dāng)前的驗證對象的一些測試階段中需要使用檢查工具checker來保證驗證對象的內(nèi)部狀態(tài)都回到期望值。

2、相關(guān)技術(shù)中，針對每個驗證對象，需要開發(fā)人員編寫對應(yīng)的檢查工具，以作用在驗證過程中，然而，編寫檢查工具的過程耗時久，導(dǎo)致效率較低。

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

1、基于此，有必要針對上述技術(shù)問題，提供一種高效率的得到芯片驗證所需的檢查工具的檢查工具生成方法、裝置、設(shè)備、存儲介質(zhì)和程序產(chǎn)品。

2、第一方面，本技術(shù)提供了一種檢查工具生成方法。該方法包括：

3、獲取目標(biāo)驗證芯片的驗證信息集，驗證信息集中包括目標(biāo)驗證芯片中需驗證的各驗證對象的功能驗證信息；

4、根據(jù)驗證信息集中各驗證對象的功能驗證信息，生成各驗證對象對應(yīng)的測試結(jié)束檢查器和重置結(jié)束檢查器中的至少一個，作為各驗證對象的檢查工具；

5、其中，測試結(jié)束檢查器用于在驗證對象驗證結(jié)束的情況下控制驗證對象的功能狀態(tài)為預(yù)設(shè)狀態(tài)，重置結(jié)束檢查器用于在驗證對象驗證重置的情況下控制驗證對象的功能狀態(tài)為預(yù)設(shè)狀態(tài)。

6、在其中一個實施例中，功能驗證信息包括以下至少一種：

7、對象標(biāo)識；對象標(biāo)識為驗證對象的名稱；

8、第一信號名稱；第一信號名稱為驗證對象對應(yīng)的功能信號的信號名稱；

9、信號期望值；信號期望值為驗證對象對應(yīng)的功能信號的期望值；期望值用于表征正確實現(xiàn)功能信號對應(yīng)的目標(biāo)功能時期望功能信號實現(xiàn)的信號值；

10、第二信號名稱；第二信號名稱為驗證對象對應(yīng)的功能信號所對應(yīng)的復(fù)位信號的信號名稱；復(fù)位信號用于復(fù)位對應(yīng)的功能信號的信號值。

11、在其中一個實施例中，根據(jù)驗證信息集中各驗證對象的功能驗證信息，生成各驗證對象對應(yīng)的測試結(jié)束檢查器和重置結(jié)束檢查器中的至少一個，包括：

12、對于各驗證對象，根據(jù)對象標(biāo)識判斷是否已為驗證對象生成檢查工具；其中，已生成的檢查工具與對應(yīng)的對象標(biāo)識已進行關(guān)聯(lián)；

13、若未為驗證對象生成檢查工具，則根據(jù)驗證對象對應(yīng)的第一信號名稱和信號期望值，生成驗證對象對應(yīng)的測試結(jié)束檢查器；以及，在確定需要生成驗證對象對應(yīng)的重置結(jié)束檢查器的情況下，根據(jù)驗證對象對應(yīng)的第一信號名稱、信號期望值和第二信號名稱，生成驗證對象對應(yīng)的重置結(jié)束檢查器。

14、在其中一個實施例中，該方法還包括：

15、確定第二信號名稱包含的復(fù)位信號的信號名稱是否為空；

16、若確定所述第二信號名稱包含的復(fù)位信號的信號名稱不為空，則確定需要生成驗證對象對應(yīng)的重置結(jié)束檢查器。

17、在其中一個實施例中，

18、測試結(jié)束檢查器用于在驗證對象驗證結(jié)束的情況下，確定第一信號名稱對應(yīng)的功能信號的信號值與信號期望值是否相等，并在不相等的情況下輸出第一報錯信息，第一報錯信息用于指示驗證對象驗證結(jié)束時第一信號名稱對應(yīng)的功能信號的信號值與信號期望值不相等；

19、重置結(jié)束檢查器用于在根據(jù)第二信號名稱對應(yīng)的復(fù)位信號確定驗證對象驗證重置的情況下，確定第一信號名稱對應(yīng)的功能信號的信號值與信號期望值是否相等，并在不相等的情況下輸出第二報錯信息，第二報錯信息用于指示驗證對象驗證重置時第一信號名稱對應(yīng)的功能信號的信號值與信號期望值不相等。

20、在其中一個實施例中，該方法還包括：

21、生成實例化代碼；

22、利用實例化代碼，將檢查工具實例化至各驗證對象中。

23、第二方面，本技術(shù)還提供了一種檢查工具生成裝置。該裝置包括：

24、信息獲取模塊，用于獲取目標(biāo)驗證芯片的驗證信息集，驗證信息集中包括目標(biāo)驗證芯片中需驗證的各驗證對象的功能驗證信息；

25、工具生成模塊，用于根據(jù)驗證信息集中各驗證對象的功能驗證信息，生成各驗證對象對應(yīng)的測試結(jié)束檢查器和重置結(jié)束檢查器中的至少一個，作為各驗證對象的檢查工具；

26、其中，測試結(jié)束檢查器用于在驗證對象驗證結(jié)束的情況下控制驗證對象的功能狀態(tài)為預(yù)設(shè)狀態(tài)，重置結(jié)束檢查器用于在驗證對象驗證重置的情況下控制驗證對象的功能狀態(tài)為預(yù)設(shè)狀態(tài)。

27、在其中一個實施例中，功能驗證信息包括以下至少一種：

28、對象標(biāo)識；對象標(biāo)識為驗證對象的名稱；

29、第一信號名稱；第一信號名稱為驗證對象對應(yīng)的功能信號的信號名稱；

30、信號期望值；信號期望值為驗證對象對應(yīng)的功能信號的期望值；期望值用于表征正確實現(xiàn)功能信號對應(yīng)的目標(biāo)功能時期望功能信號實現(xiàn)的信號值；

31、第二信號名稱；第二信號名稱為驗證對象對應(yīng)的功能信號所對應(yīng)的復(fù)位信號的信號名稱；復(fù)位信號用于復(fù)位對應(yīng)的功能信號的信號值。

32、在其中一個實施例中，工具生成模塊，具體用于：

33、對于各驗證對象，根據(jù)對象標(biāo)識判斷是否已為驗證對象生成檢查工具；其中，已生成的檢查工具與對應(yīng)的對象標(biāo)識已進行關(guān)聯(lián)；

34、若未為驗證對象生成檢查工具，則根據(jù)驗證對象對應(yīng)的第一信號名稱和信號期望值，生成驗證對象對應(yīng)的測試結(jié)束檢查器；以及，在確定需要生成驗證對象對應(yīng)的重置結(jié)束檢查器的情況下，根據(jù)驗證對象對應(yīng)的第一信號名稱、信號期望值和第二信號名稱，生成驗證對象對應(yīng)的重置結(jié)束檢查器。

35、在其中一個實施例中，該裝置還包括確定模塊，用于：

36、確定第二信號名稱包含的復(fù)位信號的信號名稱是否為空；

37、若確定所述第二信號名稱包含的復(fù)位信號的信號名稱不為空，則確定需要生成驗證對象對應(yīng)的重置結(jié)束檢查器。

38、在其中一個實施例中，

39、測試結(jié)束檢查器用于在驗證對象驗證結(jié)束的情況下，確定第一信號名稱對應(yīng)的功能信號的信號值與信號期望值是否相等，并在不相等的情況下輸出第一報錯信息，第一報錯信息用于指示驗證對象驗證結(jié)束時第一信號名稱對應(yīng)的功能信號的信號值與信號期望值不相等；

40、重置結(jié)束檢查器用于在根據(jù)第二信號名稱對應(yīng)的復(fù)位信號確定驗證對象驗證重置的情況下，確定第一信號名稱對應(yīng)的功能信號的信號值與信號期望值是否相等，并在不相等的情況下輸出第二報錯信息，第二報錯信息用于指示驗證對象驗證重置時第一信號名稱對應(yīng)的功能信號的信號值與信號期望值不相等。

41、在其中一個實施例中，該裝置還包括實例化模塊，用于：

42、生成實例化代碼；利用實例化代碼，將檢查工具實例化至各驗證對象中。

43、第三方面，本技術(shù)還提供了一種計算機設(shè)備，包括存儲器和處理器，該存儲器存儲有計算機程序，該處理器執(zhí)行該計算機程序時實現(xiàn)上述第一方面任一項所述的方法的步驟。

44、第四方面，本技術(shù)還提供了一種計算機可讀存儲介質(zhì)，其上存儲有計算機程序，該計算機程序被處理器執(zhí)行時實現(xiàn)上述第一方面中任一項所述的方法的步驟。

45、第五方面，本技術(shù)還提供了一種計算機程序產(chǎn)品，該計算機程序產(chǎn)品，包括計算機程序，該計算機程序被處理器執(zhí)行時實現(xiàn)上述第一方面中任一項所述的方法的步驟。

46、上述檢查工具生成方法、裝置、設(shè)備、存儲介質(zhì)和程序產(chǎn)品，通過獲取目標(biāo)驗證芯片的包括目標(biāo)驗證芯片中需驗證的各驗證對象的功能驗證信息的驗證信息集，從而根據(jù)驗證信息集中各驗證對象的功能驗證信息，生成各驗證對象對應(yīng)的測試結(jié)束檢查器和重置結(jié)束檢查器中的至少一個，作為各驗證對象的檢查工具；其中，測試結(jié)束檢查器用于在驗證對象驗證結(jié)束的情況下控制驗證對象的功能狀態(tài)為預(yù)設(shè)狀態(tài)，重置結(jié)束檢查器用于在驗證對象驗證重置的情況下控制驗證對象的功能狀態(tài)為預(yù)設(shè)狀態(tài)。這樣，可以無需人工編寫，自動生成各驗證對象在測試階段和重置階段所需的檢查工具，提升了檢查工具生成的效率。