[發(fā)明專利]處理器驗(yàn)證方法及相關(guān)產(chǎn)品

在審

• 申請(qǐng)?zhí)枺?/td>: 201910257926.1
• 申請(qǐng)日: 2019-04-01
• 公開（公告）號(hào): CN110134580A
• 公開（公告）日: 2019-08-16
• 發(fā)明（設(shè)計(jì)）人: 田守政
• 申請(qǐng)（專利權(quán)）人: 深圳云天勵(lì)飛技術(shù)有限公司
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 廣州三環(huán)專利商標(biāo)代理有限公司 44202
• 代理人: 郝傳鑫;熊永強(qiáng)

1.一種處理器驗(yàn)證方法，其特征在于，包括：

獲取預(yù)設(shè)指令集；

對(duì)所述指令集進(jìn)行解析，得到驗(yàn)證代碼；

基于預(yù)設(shè)約束配置關(guān)系對(duì)所述驗(yàn)證代碼進(jìn)行編譯，得到匯編代碼；

將所述匯編代碼分別輸入到預(yù)設(shè)參考模型和處理器，得到第一運(yùn)算結(jié)果和第二運(yùn)算結(jié)果；

將所述第一運(yùn)算結(jié)果與所述第二運(yùn)算結(jié)果進(jìn)行比對(duì)；

在所述第一運(yùn)算結(jié)果與所述第二運(yùn)算結(jié)果之間的比對(duì)結(jié)果滿足第一預(yù)設(shè)條件時(shí)，生成覆蓋率報(bào)告；

在所述覆蓋率報(bào)告滿足第二預(yù)設(shè)條件時(shí)，確認(rèn)所述處理器驗(yàn)證成功。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述將所述匯編代碼分別輸入到預(yù)設(shè)參考模型和所述處理器，包括：

通過匯編器對(duì)所述匯編代碼進(jìn)行編譯，得到機(jī)器碼；

將所述機(jī)器碼分別輸入到所述預(yù)設(shè)參考模型和所述處理器。

3.根據(jù)權(quán)利要求1或2所述的方法，其特征在于，所述將所述第一運(yùn)算結(jié)果與所述第二運(yùn)算結(jié)果進(jìn)行比對(duì)，包括：

將所述第一運(yùn)算結(jié)果與所述第二運(yùn)算結(jié)果進(jìn)行指令序列分析，得到比對(duì)結(jié)果。

4.根據(jù)權(quán)利要求1-3任一項(xiàng)所述的方法，其特征在于，所述方法還包括：

在所述第一運(yùn)算結(jié)果與所述第二運(yùn)算結(jié)果之間的比對(duì)結(jié)果不滿足所述第一預(yù)設(shè)條件時(shí)，對(duì)所述預(yù)設(shè)約束配置關(guān)系進(jìn)行調(diào)整。

5.根據(jù)權(quán)利要求1-4任一項(xiàng)所述的方法，其特征在于，所述方法還包括：

在所述覆蓋率報(bào)告不滿足所述第二預(yù)設(shè)條件時(shí)，根據(jù)所述覆蓋率報(bào)告對(duì)所述預(yù)設(shè)約束配置關(guān)系進(jìn)行調(diào)整。

6.根據(jù)權(quán)利要求4所述的方法，其特征在于，所述對(duì)所述預(yù)設(shè)約束配置關(guān)系進(jìn)行調(diào)整，包括：

通過所述比對(duì)結(jié)果確定所述第二運(yùn)算結(jié)果中的目標(biāo)差異化參數(shù)；

按照預(yù)設(shè)的差異化參數(shù)與約束配置關(guān)系調(diào)整參數(shù)之間的映射關(guān)系，確定所述目標(biāo)差異化參數(shù)對(duì)應(yīng)的目標(biāo)約束配置關(guān)系調(diào)整參數(shù)；

根據(jù)所述目標(biāo)約束配置關(guān)系調(diào)整參數(shù)對(duì)所述預(yù)設(shè)約束配置關(guān)系進(jìn)行調(diào)整。

7.一種處理器驗(yàn)證裝置，其特征在于，包括:

獲取單元，用于獲取預(yù)設(shè)指令集；

解析單元，用于對(duì)所述指令集進(jìn)行解析，得到驗(yàn)證代碼；

編譯單元，用于基于預(yù)設(shè)約束配置關(guān)系對(duì)所述驗(yàn)證代碼進(jìn)行編譯，得到匯編代碼；

運(yùn)算單元，用于將所述匯編代碼分別輸入到預(yù)設(shè)參考模型和處理器，得到第一運(yùn)算結(jié)果和第二運(yùn)算結(jié)果；

比對(duì)單元，用于將所述第一運(yùn)算結(jié)果與所述第二運(yùn)算結(jié)果進(jìn)行比對(duì)；

生成單元，用于在所述第一運(yùn)算結(jié)果與所述第二運(yùn)算結(jié)果之間的比對(duì)結(jié)果滿足第一預(yù)設(shè)條件時(shí)，生成覆蓋率報(bào)告；

確定單元，用于在所述覆蓋率報(bào)告滿足第二預(yù)設(shè)條件時(shí)，確認(rèn)所述處理器驗(yàn)證成功。

8.根據(jù)權(quán)利要求7所述的裝置，其特征在于，在所述將所述匯編代碼分別輸入到預(yù)設(shè)參考模型和所述處理器方面，所述運(yùn)算單元具體用于：

通過匯編器對(duì)所述匯編代碼進(jìn)行編譯，得到機(jī)器碼；

將所述機(jī)器碼分別輸入到所述預(yù)設(shè)參考模型和所述處理器。

9.一種電子設(shè)備，其特征在于，包括目標(biāo)處理器、存儲(chǔ)器，所述存儲(chǔ)器用于存儲(chǔ)一個(gè)或多個(gè)程序，并且被配置由所述目標(biāo)處理器執(zhí)行，所述程序包括用于執(zhí)行如權(quán)利要求1-6任一項(xiàng)所述的方法中的步驟的指令。

10.一種計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)，存儲(chǔ)有計(jì)算機(jī)程序，所述計(jì)算機(jī)程序被目標(biāo)處理器執(zhí)行以實(shí)現(xiàn)如權(quán)利要求1-6任一項(xiàng)所述的方法。