[發(fā)明專利]跨多個(gè)驗(yàn)證域的驗(yàn)證系統(tǒng)、驗(yàn)證方法、驗(yàn)證設(shè)備

有效

• 申請(qǐng)?zhí)枺?/td>: 202011147430.8
• 申請(qǐng)日: 2020-10-23
• 公開（公告）號(hào): CN112232000B
• 公開（公告）日: 2021-08-10
• 發(fā)明（設(shè)計(jì)）人: 張劍峰;張君威;王斌;鄢傳欽
• 申請(qǐng)（專利權(quán)）人: 海光信息技術(shù)股份有限公司
• 主分類號(hào): G06F30/33
• 分類號(hào): G06F30/33;G06F30/3308;G06F30/3312;G06F30/3315;G06F30/3323;G06F30/398;G06F115/02;G06F115/08;G06F117/08;G06F119/12;G06F119/16
• 代理公司: 北京市柳沈律師事務(wù)所 11105
• 代理人: 王娟

1.一種跨多個(gè)驗(yàn)證域的驗(yàn)證系統(tǒng)，包括可移植激勵(lì)層、后端平面層和多個(gè)外語(yǔ)層，其中，

所述可移植激勵(lì)層被配置為：

獲取用于驗(yàn)證待驗(yàn)證對(duì)象的跨多個(gè)驗(yàn)證域的測(cè)試激勵(lì)，所述跨多個(gè)驗(yàn)證域的測(cè)試激勵(lì)包括指示用于執(zhí)行所述測(cè)試激勵(lì)的多個(gè)驗(yàn)證域的驗(yàn)證域標(biāo)識(shí)；所述多個(gè)驗(yàn)證域至少包括硬件驗(yàn)證域和軟件驗(yàn)證域；

解析所述測(cè)試激勵(lì)，并創(chuàng)建與所述待驗(yàn)證對(duì)象相關(guān)的驗(yàn)證事務(wù)；

將所述驗(yàn)證域標(biāo)識(shí)和所述驗(yàn)證事務(wù)發(fā)送至所述后端平面層；

所述后端平面層，用于隔離所述可移植激勵(lì)層和所述多個(gè)外語(yǔ)層，其被配置為：

從所述可移植激勵(lì)層接收所述驗(yàn)證域標(biāo)識(shí)和所述驗(yàn)證事務(wù)；和

基于所述多個(gè)外語(yǔ)層與所述多個(gè)驗(yàn)證域的關(guān)聯(lián)關(guān)系，將所述驗(yàn)證事務(wù)轉(zhuǎn)發(fā)至與所述驗(yàn)證域標(biāo)識(shí)相對(duì)應(yīng)的外語(yǔ)層；

所述多個(gè)外語(yǔ)層包括硬件域外語(yǔ)層和軟件域外語(yǔ)層；所述多個(gè)外語(yǔ)層中的每個(gè)外語(yǔ)層，所述每個(gè)外語(yǔ)層用于一個(gè)驗(yàn)證域，其被配置為：

從所述后端平面層接收與該外語(yǔ)層相對(duì)應(yīng)的所述驗(yàn)證事務(wù)；

解析并執(zhí)行所述驗(yàn)證事務(wù)。

2.如權(quán)利要求1所述的跨多個(gè)驗(yàn)證域的驗(yàn)證系統(tǒng)，其中，

所述待驗(yàn)證對(duì)象為與圖形處理單元GPU相關(guān)聯(lián)的芯片設(shè)計(jì)；

所述驗(yàn)證域標(biāo)識(shí)包括以下各項(xiàng)中的至少一項(xiàng)：指示在硬件域中進(jìn)行驗(yàn)證的驗(yàn)證域標(biāo)識(shí)、在軟件域中進(jìn)行驗(yàn)證的驗(yàn)證域標(biāo)識(shí)、在硬件域和軟件域中進(jìn)行共同驗(yàn)證的驗(yàn)證域標(biāo)識(shí)。

3.如權(quán)利要求1所述的跨多個(gè)驗(yàn)證域的驗(yàn)證系統(tǒng)，其中，所述解析測(cè)試激勵(lì)，并創(chuàng)建與所述待驗(yàn)證對(duì)象相關(guān)的驗(yàn)證事務(wù)還包括：

在所述測(cè)試激勵(lì)中定義了基本數(shù)據(jù)類型的數(shù)據(jù)的情況下，創(chuàng)建包括所述基本數(shù)據(jù)類型的數(shù)據(jù)的驗(yàn)證事務(wù)；

在所述測(cè)試激勵(lì)中定義了復(fù)雜數(shù)據(jù)類型的數(shù)據(jù)的情況下，將所述復(fù)雜數(shù)據(jù)類型的數(shù)據(jù)打包成二進(jìn)制數(shù)據(jù)，并創(chuàng)建包括所述二進(jìn)制數(shù)據(jù)的驗(yàn)證事務(wù)；

在所述測(cè)試激勵(lì)中定義了指針類型的數(shù)據(jù)的情況下，提取所述指針類型的數(shù)據(jù)所指向的內(nèi)存中的地址中的內(nèi)存數(shù)據(jù)，將所述內(nèi)存數(shù)據(jù)打包成所述內(nèi)存數(shù)據(jù)對(duì)應(yīng)的二進(jìn)制數(shù)據(jù)，并創(chuàng)建包括所述內(nèi)存數(shù)據(jù)對(duì)應(yīng)的二進(jìn)制數(shù)據(jù)的驗(yàn)證事務(wù)。

4.如權(quán)利要求2所述的跨多個(gè)驗(yàn)證域的驗(yàn)證系統(tǒng)，其中，所述測(cè)試激勵(lì)是以測(cè)試描述語(yǔ)言編寫的，所述可移植激勵(lì)層還包括測(cè)試描述語(yǔ)言庫(kù)和開放計(jì)算語(yǔ)言庫(kù)，其中，

所述測(cè)試描述語(yǔ)言庫(kù)包括以下各項(xiàng)中的至少一項(xiàng)：與至少一個(gè)基本數(shù)據(jù)類型相關(guān)聯(lián)的關(guān)鍵詞、用于描述驗(yàn)證事務(wù)的功能的關(guān)鍵詞、用于描述驗(yàn)證事務(wù)的功能的限制條件的關(guān)鍵詞和用于描述驗(yàn)證事務(wù)的功能的執(zhí)行順序的關(guān)鍵詞；

所述開放計(jì)算語(yǔ)言庫(kù)包括以下各項(xiàng)中的至少一項(xiàng)：與所述至少一個(gè)基本數(shù)據(jù)類型相關(guān)聯(lián)的關(guān)鍵詞、用于實(shí)現(xiàn)以開放計(jì)算語(yǔ)言編寫的程序的功能的關(guān)鍵詞、用于實(shí)現(xiàn)壓縮復(fù)雜數(shù)據(jù)類型的變量的功能的關(guān)鍵詞和用于實(shí)現(xiàn)傳輸驗(yàn)證事務(wù)的功能的關(guān)鍵詞。

5.如權(quán)利要求2所述的跨多個(gè)驗(yàn)證域的驗(yàn)證系統(tǒng)，其中，所述后端平面層還被配置為：

從所述可移植激勵(lì)層接收可移植激勵(lì)層注冊(cè)函數(shù)，其中，所述可移植激勵(lì)層注冊(cè)函數(shù)包括所述可移植激勵(lì)層的標(biāo)識(shí)以及所述可移植激勵(lì)層期望調(diào)用的后端平面層相關(guān)的函數(shù)；

從所述多個(gè)外語(yǔ)層接收外語(yǔ)層注冊(cè)函數(shù)，其中，所述外語(yǔ)層注冊(cè)函數(shù)包括與所述外語(yǔ)層相關(guān)的驗(yàn)證域標(biāo)識(shí)。

6.如權(quán)利要求2所述的跨多個(gè)驗(yàn)證域的驗(yàn)證系統(tǒng)，其中，所述硬件域外語(yǔ)層包括硬件外語(yǔ)層適配器和硬件驗(yàn)證模擬環(huán)境，其中，

所述硬件外語(yǔ)層適配器被配置為：

接收所述驗(yàn)證事務(wù)；

將所述驗(yàn)證事務(wù)轉(zhuǎn)換為總線事務(wù)相關(guān)的序列項(xiàng)；

將所述序列項(xiàng)發(fā)送至所述硬件驗(yàn)證模擬環(huán)境；

所述硬件驗(yàn)證模擬環(huán)境被配置為：

接收所述序列項(xiàng)；

在定序器上啟動(dòng)所述序列項(xiàng)，以觸發(fā)所述序列項(xiàng)相關(guān)驅(qū)動(dòng)。