[發(fā)明專利]一種指令的相關(guān)性驗(yàn)證方法、裝置、電子設(shè)備及存儲(chǔ)介質(zhì)

有效

• 申請(qǐng)?zhí)枺?/td>: 201911421715.3
• 申請(qǐng)日: 2019-12-31
• 公開（公告）號(hào): CN111209199B
• 公開（公告）日: 2023-05-09
• 發(fā)明（設(shè)計(jì)）人: 蘇東閣;孫成璐;楊寒雪;劉紅紅;紀(jì)楠;薛凌藝
• 申請(qǐng)（專利權(quán)）人: 西安翔騰微電子科技有限公司
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 西安嘉思特知識(shí)產(chǎn)權(quán)代理事務(wù)所(普通合伙) 61230
• 代理人: 王海棟

1.一種指令的相關(guān)性驗(yàn)證方法，其特征在于，應(yīng)用于電子設(shè)備，所述電子設(shè)備包含有圖形處理器，所述方法包括：

分別執(zhí)行預(yù)設(shè)的多個(gè)第一驗(yàn)證程序，得到第一驗(yàn)證結(jié)果；其中，任一所述第一驗(yàn)證程序由從預(yù)設(shè)的多個(gè)激勵(lì)測(cè)試程序中選取的一個(gè)或多個(gè)激勵(lì)測(cè)試程序構(gòu)成；每個(gè)所述激勵(lì)測(cè)試程序均包含一組數(shù)據(jù)相關(guān)、結(jié)構(gòu)相關(guān)或控制相關(guān)的指令，且構(gòu)成任一第一驗(yàn)證程序的激勵(lì)測(cè)試程序所包含指令的個(gè)數(shù)總和不大于所述圖形處理器的指令發(fā)射窗口的大小所指示的指令發(fā)射個(gè)數(shù)；

分別執(zhí)行預(yù)設(shè)的多個(gè)第二驗(yàn)證程序，得到第二驗(yàn)證結(jié)果；其中，任一所述第二驗(yàn)證程序由從所述多個(gè)激勵(lì)測(cè)試程序中選取的一個(gè)或多個(gè)激勵(lì)測(cè)試程序構(gòu)成，且構(gòu)成任一所述第二驗(yàn)證程序的激勵(lì)測(cè)試程序所包含指令的個(gè)數(shù)總和大于所述圖形處理器的指令發(fā)射窗口的大小所指示的指令發(fā)射個(gè)數(shù)；

分別執(zhí)行預(yù)設(shè)的多個(gè)第三驗(yàn)證程序，得到第三驗(yàn)證結(jié)果；其中，任一所述第三驗(yàn)證程序，由隨機(jī)選取的至少一個(gè)第一驗(yàn)證程序和至少一個(gè)第二驗(yàn)證程序構(gòu)成；

所述分別執(zhí)行預(yù)設(shè)的多個(gè)第二驗(yàn)證程序，得到第二驗(yàn)證結(jié)果的步驟，包括：

針對(duì)每個(gè)第二驗(yàn)證程序，按照所述指令發(fā)射窗口的大小所指示的指令發(fā)射個(gè)數(shù)，將該第二驗(yàn)證程序所包含的激勵(lì)測(cè)試程序中的指令，成組的發(fā)射到所述圖形處理器的指令執(zhí)行單元中執(zhí)行，得到每組指令的執(zhí)行結(jié)果；

根據(jù)每組非第一組的指令的執(zhí)行結(jié)果，確定該組指令中的指令與上一組指令中未執(zhí)行寫回操作的指令與是否相關(guān)的驗(yàn)證信息，得到多個(gè)驗(yàn)證信息，并將所述多個(gè)驗(yàn)證信息作為第二驗(yàn)證結(jié)果；

任一所述激勵(lì)測(cè)試程序?yàn)橐灶A(yù)設(shè)的多種參考信息中的至少一種作為參考所構(gòu)建的程序；

其中，所述多種參考信息包括：所述圖形處理器的寄存器讀寫通路、所述圖形處理器包含的各個(gè)指令執(zhí)行單元的種類、每種類型的指令執(zhí)行單元的數(shù)量、每種類型的指令執(zhí)行單元的處理流水結(jié)構(gòu)、每種類型的指令執(zhí)行單元的指令執(zhí)行周期，以及每種類型的指令執(zhí)行單元讀寫指令的讀寫操作類型。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，當(dāng)構(gòu)建包含有數(shù)據(jù)相關(guān)的指令的激勵(lì)測(cè)試程序時(shí)，作為參考的參考信息包括：

指令執(zhí)行單元讀寫指令的讀寫操作類型、指令執(zhí)行單元的流水處理結(jié)構(gòu)，以及指令執(zhí)行單元的指令執(zhí)行周期。

3.根據(jù)權(quán)利要求2所述的方法，其特征在于，包含有結(jié)構(gòu)相關(guān)的指令的激勵(lì)測(cè)試程序包括：包含有指令執(zhí)行單元相關(guān)的指令的激勵(lì)測(cè)試程序，以及包含有寄存器讀寫通路相關(guān)的指令的激勵(lì)測(cè)試程序；

其中，當(dāng)構(gòu)建包含有指令執(zhí)行單元相關(guān)的指令的激勵(lì)測(cè)試程序時(shí)，作為參考的參考信息包括：

所述圖形處理器包含的各個(gè)指令執(zhí)行單元的種類、每種類型的指令執(zhí)行單元的數(shù)量、每種類型的指令執(zhí)行單元的處理流水結(jié)構(gòu)，以及每種類型的指令執(zhí)行單元的指令執(zhí)行周期；

當(dāng)構(gòu)建包含有寄存器讀寫通路相關(guān)的指令的激勵(lì)測(cè)試程序時(shí)，作為參考的參考信息包括：

所述圖形處理器的寄存器讀寫通路、每種類型的指令執(zhí)行單元讀寫指令的讀寫操作類型以及每種類型的指令執(zhí)行單元的指令執(zhí)行周期。

4.根據(jù)權(quán)利要求1所述的方法，其特征在于，當(dāng)構(gòu)建包含有控制相關(guān)的指令的激勵(lì)測(cè)試程序時(shí)，作為參考的參考信息包括：每個(gè)指令執(zhí)行單元的處理流水結(jié)構(gòu)和每個(gè)指令執(zhí)行單元的指令執(zhí)行周期。

5.根據(jù)權(quán)利要求1-4任一項(xiàng)所述的方法，其特征在于，所述指令具體為所述圖形處理器中的染色器指令。