本發(fā)明涉及芯片設(shè)計(jì)的技術(shù)領(lǐng)域，尤其涉及一種邏輯電路設(shè)計(jì)的驗(yàn)證方法、裝置、電子設(shè)備及存儲(chǔ)介質(zhì)。

背景技術(shù)：

由于集成電路越來(lái)越復(fù)雜，數(shù)字ic設(shè)計(jì)工程師通過(guò)systemverilog編寫(xiě)的邏輯電路代碼，即被驗(yàn)設(shè)計(jì)(designundertest，dut)也越來(lái)越復(fù)雜，如何保證邏輯電路代碼的正確性就越來(lái)越重要。而數(shù)字ic驗(yàn)證工程師的工作，主要是基于電子設(shè)計(jì)自動(dòng)化(electronicsdesignautomation，eda)軟件編寫(xiě)測(cè)試程序驗(yàn)證邏輯代碼的功能。目前主流的測(cè)試程序是基于systemverilog語(yǔ)言，這種語(yǔ)言是verilog的超集，而且具有面向?qū)ο蟮墓δ埽梢院芊奖愕臉?gòu)造更高抽象層次的程序。

目前很多算法模型復(fù)雜，如人工智能算法(artificialintelligence，ai)，并且包含大量的矩陣運(yùn)算。在該算法的邏輯電路代碼的驗(yàn)證中，如果用仿真器實(shí)現(xiàn)包含大量的矩陣運(yùn)算的算法，需要使用較多的循環(huán)，運(yùn)行效率低，調(diào)試?yán)щy。一種解決的方法是使用直接編程接口(directprogramminginterface)調(diào)用參考模型(如c語(yǔ)言編寫(xiě)的算法模型)，由于仿真器的代碼語(yǔ)言與參考模型的代碼的語(yǔ)言不同，就會(huì)造成仿真器無(wú)法直接讀取參考模型的代碼，給調(diào)試造成了一定困難，例如，systemverilog仿真器無(wú)法直接讀取c代碼。

技術(shù)實(shí)現(xiàn)要素：

鑒于以上內(nèi)容，有必要提供一種邏輯電路設(shè)計(jì)的驗(yàn)證方法、裝置、電子設(shè)備及存儲(chǔ)介質(zhì)，通過(guò)將驗(yàn)證平臺(tái)與參考對(duì)象相結(jié)合，對(duì)作為待驗(yàn)對(duì)象的邏輯電路設(shè)計(jì)進(jìn)行準(zhǔn)確的驗(yàn)證。同時(shí)也能避免編寫(xiě)大量的測(cè)試代碼，提高邏輯電路設(shè)計(jì)的驗(yàn)證效率。

一種邏輯電路設(shè)計(jì)的驗(yàn)證方法，所述方法包括：

通過(guò)驗(yàn)證平臺(tái)生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)；

將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)存儲(chǔ)至目標(biāo)存儲(chǔ)器；

通過(guò)所述驗(yàn)證平臺(tái)將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至待驗(yàn)對(duì)象；

通過(guò)所述驗(yàn)證平臺(tái)控制參考對(duì)象從所述目標(biāo)存儲(chǔ)器中讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)，以使所述參考對(duì)象開(kāi)始仿真計(jì)算，所述待驗(yàn)對(duì)象是用第一語(yǔ)言實(shí)現(xiàn)算法的邏輯電路代碼，所述參考對(duì)象是用第二語(yǔ)言實(shí)現(xiàn)所述算法的代碼，所述第一語(yǔ)言與所述第二語(yǔ)言不同；

通過(guò)所述驗(yàn)證平臺(tái)控制所述參考對(duì)象結(jié)束仿真計(jì)算；

通過(guò)所述驗(yàn)證平臺(tái)獲取所述參考對(duì)象的輸出數(shù)據(jù)；

通過(guò)所述驗(yàn)證平臺(tái)獲取所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)；

根據(jù)所述參考對(duì)象的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象的驗(yàn)證結(jié)果。

根據(jù)本發(fā)明優(yōu)選實(shí)施例，所述將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)存儲(chǔ)至目標(biāo)存儲(chǔ)器包括：

以預(yù)設(shè)格式將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)保存成文本文檔，并存儲(chǔ)至所述目標(biāo)存儲(chǔ)器，所述文本文檔包括以下一種或多種的組合：純文本文檔、二進(jìn)制文檔、javascript對(duì)象標(biāo)記語(yǔ)言文檔。

根據(jù)本發(fā)明優(yōu)選實(shí)施例，所述驗(yàn)證平臺(tái)通過(guò)接口一與所述參考對(duì)象進(jìn)行通信，通過(guò)接口二與所述待驗(yàn)對(duì)象進(jìn)行通信，所述驗(yàn)證平臺(tái)包括：數(shù)據(jù)輸入模塊、參考模型模塊、數(shù)據(jù)輸出模塊及數(shù)據(jù)比對(duì)模塊；所述數(shù)據(jù)輸入模塊用于將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至待驗(yàn)對(duì)象；所述數(shù)據(jù)輸出模塊用于獲取所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)，所述參考模型模塊用于獲取所述參考對(duì)象的輸出數(shù)據(jù)，所述數(shù)據(jù)比對(duì)模塊用于根據(jù)所述參考對(duì)象的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象的驗(yàn)證結(jié)果。

根據(jù)本發(fā)明優(yōu)選實(shí)施例，所述通過(guò)所述驗(yàn)證平臺(tái)控制所述參考對(duì)象從所述目標(biāo)存儲(chǔ)器中讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)，以使所述參考對(duì)象開(kāi)始仿真計(jì)算包括：

當(dāng)所述驗(yàn)證平臺(tái)啟動(dòng)時(shí)，生成控制所述參考對(duì)象的進(jìn)程以啟動(dòng)所述參考對(duì)象，并使所述參考對(duì)象檢測(cè)存儲(chǔ)所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)的文本文檔；及/或

所述通過(guò)所述驗(yàn)證平臺(tái)控制所述參考對(duì)象結(jié)束仿真計(jì)算包括：

獲取所述驗(yàn)證平臺(tái)的運(yùn)行狀態(tài)數(shù)據(jù)；將所述運(yùn)行狀態(tài)數(shù)據(jù)以預(yù)設(shè)格式存儲(chǔ)至所述目標(biāo)存儲(chǔ)器中以供所述參考對(duì)象進(jìn)行檢測(cè)結(jié)束狀態(tài)數(shù)據(jù)；

當(dāng)所述參考對(duì)象檢測(cè)到所述包括結(jié)束狀態(tài)數(shù)據(jù)的運(yùn)行狀態(tài)數(shù)據(jù)時(shí)，所述參考對(duì)象結(jié)束仿真計(jì)算，并將所述參考對(duì)象的輸出數(shù)據(jù)以預(yù)設(shè)格式存儲(chǔ)至所述目標(biāo)存儲(chǔ)器中。

根據(jù)本發(fā)明優(yōu)選實(shí)施例，所述通過(guò)所述驗(yàn)證平臺(tái)獲取所述參考對(duì)象的輸出數(shù)據(jù)包括：

通過(guò)所述參考模型模塊，在所述目標(biāo)存儲(chǔ)器中檢測(cè)所述參考對(duì)象的輸出文件，以預(yù)設(shè)格式從所述參考對(duì)象的輸出文件中讀取所述參考對(duì)象的輸出數(shù)據(jù)。

根據(jù)本發(fā)明優(yōu)選實(shí)施例，所述根據(jù)所述參考對(duì)象的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象的驗(yàn)證結(jié)果包括：

當(dāng)所述參考對(duì)象的輸出數(shù)據(jù)與所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)相同時(shí)，確定所述待驗(yàn)對(duì)象驗(yàn)證通過(guò)；及/或

當(dāng)所述參考對(duì)象的輸出數(shù)據(jù)與所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)不相同時(shí)，確定所述待驗(yàn)對(duì)象驗(yàn)證不通過(guò)。

根據(jù)本發(fā)明優(yōu)選實(shí)施例，所述第二語(yǔ)言包括python語(yǔ)言。

一種邏輯電路設(shè)計(jì)的驗(yàn)證裝置，其特征在于，所述方法包括：

生成單元，用于通過(guò)驗(yàn)證平臺(tái)生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)；

存儲(chǔ)單元，用于將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)存儲(chǔ)至目標(biāo)存儲(chǔ)器；

發(fā)送單元，用于通過(guò)所述驗(yàn)證平臺(tái)將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至待驗(yàn)對(duì)象；

控制單元，用于通過(guò)所述驗(yàn)證平臺(tái)控制參考對(duì)象從所述目標(biāo)存儲(chǔ)器中讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)，以使所述參考對(duì)象開(kāi)始仿真計(jì)算，所述待驗(yàn)對(duì)象是用第一語(yǔ)言實(shí)現(xiàn)算法的邏輯電路代碼，所述參考對(duì)象是用第二語(yǔ)言實(shí)現(xiàn)所述算法的代碼；

控制單元，用于通過(guò)所述驗(yàn)證平臺(tái)控制所述參考對(duì)象結(jié)束仿真計(jì)算；

獲取單元，用于通過(guò)所述驗(yàn)證平臺(tái)獲取所述參考對(duì)象的輸出數(shù)據(jù)；

所述獲取單元還用于通過(guò)所述驗(yàn)證平臺(tái)獲取所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)；

比對(duì)單元，用于根據(jù)所述參考對(duì)象的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象的驗(yàn)證結(jié)果。

一種電子設(shè)備，所述電子設(shè)備包括存儲(chǔ)器及處理器，所述存儲(chǔ)器用于存儲(chǔ)至少一個(gè)指令，所述處理器用于執(zhí)行所述至少一個(gè)指令以實(shí)現(xiàn)任意實(shí)施例中邏輯電路設(shè)計(jì)的驗(yàn)證方法中。

一種計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)，所述計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)存儲(chǔ)有至少一個(gè)指令，所述至少一個(gè)指令被處理器執(zhí)行時(shí)實(shí)現(xiàn)邏輯電路設(shè)計(jì)的驗(yàn)證方法，所述邏輯電路設(shè)計(jì)的驗(yàn)證方法包括任意實(shí)施例中邏輯電路設(shè)計(jì)的驗(yàn)證方法中。

由以上技術(shù)方案可以看出，本發(fā)明通過(guò)驗(yàn)證平臺(tái)生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)；將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)存儲(chǔ)至目標(biāo)存儲(chǔ)器；通過(guò)所述驗(yàn)證平臺(tái)將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至待驗(yàn)對(duì)象；通過(guò)所述驗(yàn)證平臺(tái)控制所述參考對(duì)象從所述目標(biāo)存儲(chǔ)器中讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)，以使所述參考對(duì)象開(kāi)始仿真計(jì)算；通過(guò)所述驗(yàn)證平臺(tái)控制所述參考對(duì)象結(jié)束仿真計(jì)算；通過(guò)所述驗(yàn)證平臺(tái)獲取所述參考對(duì)象的輸出數(shù)據(jù)；通過(guò)所述驗(yàn)證平臺(tái)獲取所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)；根據(jù)所述參考對(duì)象的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象的驗(yàn)證結(jié)果。本發(fā)明通過(guò)將所述驗(yàn)證平臺(tái)與所述參考對(duì)象相結(jié)合，由于所述參考對(duì)象與所述待驗(yàn)證對(duì)象可以實(shí)現(xiàn)相同算法的功能，因此在保證所述參考對(duì)象與所述待驗(yàn)對(duì)象的輸入數(shù)據(jù)相同時(shí)，通過(guò)判斷所述參考對(duì)象的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象的輸出數(shù)據(jù)是否相同即實(shí)現(xiàn)對(duì)所述待驗(yàn)對(duì)象的驗(yàn)證。同時(shí)所述驗(yàn)證平臺(tái)具有良好的擴(kuò)展性、重用性。從而避免了大量的編碼工作，提高邏輯電路設(shè)計(jì)的驗(yàn)證效率。

附圖說(shuō)明

為了更清楚地說(shuō)明本發(fā)明實(shí)施例或現(xiàn)有技術(shù)中的技術(shù)方案，下面將對(duì)實(shí)施例或現(xiàn)有技術(shù)描述中所需要使用的附圖作簡(jiǎn)單地介紹，顯而易見(jiàn)地，下面描述中的附圖僅僅是本發(fā)明的實(shí)施例，對(duì)于本領(lǐng)域普通技術(shù)人員來(lái)講，在不付出創(chuàng)造性勞動(dòng)的前提下，還可以根據(jù)提供的附圖獲得其他的附圖。

圖1是本發(fā)明的實(shí)現(xiàn)邏輯電路設(shè)計(jì)的驗(yàn)證方法的較佳實(shí)施例的系統(tǒng)架構(gòu)圖。

圖2是本發(fā)明邏輯電路設(shè)計(jì)的驗(yàn)證方法的較佳實(shí)施例的流程圖。

圖3是本發(fā)明邏輯電路設(shè)計(jì)的驗(yàn)證裝置的較佳實(shí)施例的功能模塊圖。

圖4是本發(fā)明至少一個(gè)實(shí)例中電子設(shè)備的較佳實(shí)施例的結(jié)構(gòu)示意圖。

具體實(shí)施方式

下面將結(jié)合本發(fā)明實(shí)施例中的附圖，對(duì)本發(fā)明實(shí)施例中的技術(shù)方案進(jìn)行清楚、完整地描述，顯然，所描述的實(shí)施例僅僅是本發(fā)明一部分實(shí)施例，而不是全部的實(shí)施例?；诒景l(fā)明中的實(shí)施例，本領(lǐng)域普通技術(shù)人員在沒(méi)有做出創(chuàng)造性勞動(dòng)前提下所獲得的所有其他實(shí)施例，都屬于本發(fā)明保護(hù)的范圍。

為使本發(fā)明的上述目的、特征和優(yōu)點(diǎn)能夠更加明顯易懂，下面結(jié)合附圖和具體實(shí)施方式對(duì)本發(fā)明作進(jìn)一步詳細(xì)的說(shuō)明。

如圖1所示，圖1是本發(fā)明的實(shí)現(xiàn)邏輯電路設(shè)計(jì)的驗(yàn)證方法的較佳實(shí)施例的系統(tǒng)架構(gòu)圖。在本較佳實(shí)施例中，所述系統(tǒng)架構(gòu)圖包括，但不限于：驗(yàn)證平臺(tái)1，通過(guò)接口一10與所述驗(yàn)證平臺(tái)1相通信的參考對(duì)象2，及通過(guò)接口二15與所述驗(yàn)證平臺(tái)1相通信的待驗(yàn)對(duì)象3。

在本較佳實(shí)施例中，所述驗(yàn)證平臺(tái)1為通用驗(yàn)證方法學(xué)(universalverificationmethodology，uvm)驗(yàn)證平臺(tái)1。所述uvm總結(jié)了驗(yàn)證工作常用的步驟和功能，提供了一套完整的驗(yàn)證硬件邏輯的思路和框架。另外，uvm驗(yàn)證平臺(tái)還提供了豐富的類庫(kù)模塊，只需要通過(guò)擴(kuò)展這些類庫(kù)模塊，按照所述uvm驗(yàn)證平臺(tái)的框架組織起來(lái)，即可完成驗(yàn)證平臺(tái)1的搭建。然后再通過(guò)編寫(xiě)測(cè)試用例進(jìn)行仿真，完成驗(yàn)證邏輯代碼的工作。所述驗(yàn)證平臺(tái)1具有良好的擴(kuò)展性、重用性。因此，無(wú)需直接用systemveilog寫(xiě)測(cè)試程序，從而避免了大量的編碼工作。

所述驗(yàn)證平臺(tái)1包括，但不限于：數(shù)據(jù)輸入模塊13、參考模型模塊11、數(shù)據(jù)輸出模塊14及數(shù)據(jù)比對(duì)模塊12。所述數(shù)據(jù)輸入模塊13、參考模型模塊11、數(shù)據(jù)輸出模塊14及數(shù)據(jù)比對(duì)模塊12為類模塊，其不同于圖3中所示的單元功能模塊(如生成單元100等等)。所述數(shù)據(jù)輸入模塊13、參考模型模塊11、數(shù)據(jù)輸出模塊14及數(shù)據(jù)比對(duì)模塊12的功能將在后續(xù)實(shí)施例中詳述。

在本較佳實(shí)施例中，所述待驗(yàn)對(duì)象3是用第一語(yǔ)言實(shí)現(xiàn)算法(如人工智能算法)的邏輯電路代碼，即邏輯電路設(shè)計(jì)。所述參考對(duì)象2是用第二語(yǔ)言實(shí)現(xiàn)的所述算法的代碼。其中，所述第一語(yǔ)言與所述第二語(yǔ)言不同。例如，所述第二語(yǔ)言包括python語(yǔ)言，所述待驗(yàn)對(duì)象3是基于verilog編寫(xiě)的所述算法的邏輯電路。所述參考對(duì)象2是使用python語(yǔ)言實(shí)現(xiàn)的所述算法的代碼。即所述參考對(duì)象2與所述待驗(yàn)對(duì)象3能實(shí)現(xiàn)相同算法的功能，實(shí)現(xiàn)算法的編程語(yǔ)言不同。

在本較佳實(shí)施例中，所述接口一10為編程語(yǔ)言的系統(tǒng)函數(shù)。例如，verilog、python等編程語(yǔ)言的系統(tǒng)函數(shù)，所述接口二15是仿真器的接口，例如systemverilog的接口interface。其中，python語(yǔ)言可以很好的支持科學(xué)運(yùn)算，適合處理各種數(shù)學(xué)建模及運(yùn)算，不需要使用循環(huán)就可以對(duì)列表元素執(zhí)行操作，對(duì)矩陣的操作如同標(biāo)量，大大提高了運(yùn)行效率。

在本較佳實(shí)施例中，所述電子設(shè)備通過(guò)所述驗(yàn)證平臺(tái)1的生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)，并通過(guò)所述驗(yàn)證平臺(tái)1將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至待驗(yàn)對(duì)象3，所述待驗(yàn)對(duì)象3根據(jù)所述配置數(shù)據(jù)配置運(yùn)行環(huán)境，并根據(jù)所述激勵(lì)數(shù)據(jù)開(kāi)始仿真計(jì)算，當(dāng)仿真計(jì)算結(jié)束后，通過(guò)所述驗(yàn)證平臺(tái)1獲取所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)。

所述電子設(shè)備通過(guò)所述驗(yàn)證平臺(tái)1將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)存儲(chǔ)至目標(biāo)存儲(chǔ)器，通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2從所述目標(biāo)存儲(chǔ)器中讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)，所述參考對(duì)象2獲取所述配置數(shù)據(jù)后，根據(jù)所述配置數(shù)據(jù)配置運(yùn)行環(huán)境，并根據(jù)所述激勵(lì)數(shù)據(jù)開(kāi)始仿真計(jì)算，當(dāng)仿真計(jì)算結(jié)束后，通過(guò)所述驗(yàn)證平臺(tái)1獲取所述參考對(duì)象2的輸出數(shù)據(jù)。當(dāng)所述參考對(duì)象2的輸出數(shù)據(jù)與所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)相同時(shí)，確定所述待驗(yàn)對(duì)象3驗(yàn)證通過(guò)；當(dāng)所述參考對(duì)象2的輸出數(shù)據(jù)與所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)不相同時(shí)，確定所述待驗(yàn)對(duì)象3驗(yàn)證不通過(guò)。

如圖2所示，是本發(fā)明邏輯電路設(shè)計(jì)的驗(yàn)證方法的較佳實(shí)施例的流程圖。根據(jù)不同的需求，該流程圖中步驟的順序可以改變，某些步驟可以省略。

s10，所述電子設(shè)備通過(guò)驗(yàn)證平臺(tái)1生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)；

其中，所述驗(yàn)證平臺(tái)1可以包括數(shù)據(jù)生成函數(shù)或數(shù)據(jù)生成類模塊。通過(guò)調(diào)用所述驗(yàn)證平臺(tái)1的數(shù)據(jù)生成函數(shù)或數(shù)據(jù)生成類模塊生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)。

在優(yōu)選實(shí)施例中，所述配置數(shù)據(jù)包括，但不限于，以下一種或者多種：所述驗(yàn)證平臺(tái)1的配置數(shù)據(jù)、待驗(yàn)對(duì)象3的配置數(shù)據(jù)、參考對(duì)象2的配置數(shù)據(jù)，其中所述驗(yàn)證平臺(tái)1的配置數(shù)據(jù)用來(lái)初始化驗(yàn)證環(huán)境、測(cè)試模式等。所述待驗(yàn)對(duì)象3的配置數(shù)據(jù)主要用來(lái)初始化所述待驗(yàn)對(duì)象3，設(shè)置工作模式等。所述待驗(yàn)對(duì)象3的配置數(shù)據(jù)包括，但不限于，寄存器配置、接口初始狀態(tài)配置、工作模式配置等。所述參考對(duì)象2的配置數(shù)據(jù)主要用來(lái)初始化所述參考對(duì)象2，設(shè)置工作模式等，其包括，但不限于，寄存器配置、接口初始狀態(tài)配置、工作模式配置等。所述驗(yàn)證平臺(tái)1還會(huì)產(chǎn)生隨機(jī)的激勵(lì)數(shù)據(jù)，用于作為所述待驗(yàn)對(duì)象3及所述參考對(duì)象2中算法的輸入數(shù)據(jù)，所述激勵(lì)數(shù)據(jù)包括，但不限于，時(shí)鐘、復(fù)位、輸入數(shù)據(jù)等。因此，由于給所述參數(shù)對(duì)象2及所述待驗(yàn)對(duì)象3輸入的配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)相同，則所述參數(shù)對(duì)象2及所述待驗(yàn)對(duì)象3的輸入數(shù)據(jù)相同。

s11，所述電子設(shè)備將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)存儲(chǔ)至目標(biāo)存儲(chǔ)器。

在優(yōu)選實(shí)施例中，所述目標(biāo)存儲(chǔ)器可以是所述電子設(shè)備的至少一個(gè)存儲(chǔ)器，也可以是與所述電子設(shè)備相連的至少一個(gè)外部存儲(chǔ)器。

在優(yōu)選實(shí)施例中，所述電子設(shè)備通過(guò)所述驗(yàn)證平臺(tái)1，以預(yù)設(shè)格式將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)保存成文本文檔，并存儲(chǔ)至所述目標(biāo)存儲(chǔ)器，以供所述參考對(duì)象2能以預(yù)設(shè)格式解析所述文本文檔，并讀取所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)。這樣就能保證所述參考對(duì)象2與所述待驗(yàn)對(duì)象3的輸入數(shù)據(jù)的相同，保證了計(jì)算結(jié)果的正確性。

所述文本文檔包括以下一種或多種的組合：純文本文檔、二進(jìn)制文檔、javascript對(duì)象標(biāo)記語(yǔ)言文檔。

優(yōu)選地，預(yù)先配置所述預(yù)設(shè)格式，包括，但不限于：預(yù)先配置文本文檔中每一行的存儲(chǔ)內(nèi)容，例如每一行的起始信息、結(jié)束信息等等。

s12，所述電子設(shè)備通過(guò)所述驗(yàn)證平臺(tái)1將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至待驗(yàn)對(duì)象3。

在優(yōu)選實(shí)施例中，通過(guò)所述數(shù)據(jù)輸入模塊13，并利用所述接口二15將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至所述待驗(yàn)對(duì)象3。所述待驗(yàn)對(duì)象3根據(jù)所述配置數(shù)據(jù)配置運(yùn)行環(huán)境，并根據(jù)所述激勵(lì)數(shù)據(jù)，啟動(dòng)仿真運(yùn)算，然后輸出數(shù)據(jù)。

s13，所述電子設(shè)備通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2從所述目標(biāo)存儲(chǔ)器中讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)，以使所述參考對(duì)象2開(kāi)始仿真計(jì)算。

在優(yōu)選實(shí)施例中，所述驗(yàn)證平臺(tái)1可以包括進(jìn)程控制函數(shù)或進(jìn)程控制的類模塊。通過(guò)調(diào)用所述驗(yàn)證平臺(tái)1的生成控制函數(shù)或進(jìn)程控制的類模塊生成控制所述參考對(duì)象2的進(jìn)程。

在優(yōu)選實(shí)施例中，當(dāng)所述驗(yàn)證平臺(tái)1啟動(dòng)時(shí)，生成控制所述參考對(duì)象2的進(jìn)程以啟動(dòng)所述參考對(duì)象2，并使所述參考對(duì)象2檢測(cè)所述驗(yàn)證平臺(tái)1生成的所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)。

當(dāng)所述參考對(duì)象2啟動(dòng)后，通過(guò)內(nèi)置的函數(shù)會(huì)在所述目標(biāo)存儲(chǔ)器中持續(xù)檢測(cè)存儲(chǔ)的所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)的文本文檔，并以所述預(yù)設(shè)格式對(duì)所述文本文檔進(jìn)行解析，讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)以啟動(dòng)仿真計(jì)算。

s14，所述電子設(shè)備通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2結(jié)束仿真計(jì)算。

在優(yōu)選實(shí)施例中，所述通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2結(jié)束仿真計(jì)算包括：獲取所述驗(yàn)證平臺(tái)1的運(yùn)行狀態(tài)數(shù)據(jù)；將所述運(yùn)行狀態(tài)數(shù)據(jù)以所述預(yù)設(shè)格式存儲(chǔ)至所述目標(biāo)存儲(chǔ)器中以供所述參考對(duì)象2進(jìn)行檢測(cè)，當(dāng)所述參考對(duì)象2檢測(cè)到包括結(jié)束狀態(tài)數(shù)據(jù)的運(yùn)行狀態(tài)數(shù)據(jù)時(shí)，所述參考對(duì)象2結(jié)束仿真計(jì)算，并將所述參考對(duì)象2的輸出數(shù)據(jù)以預(yù)設(shè)格式存儲(chǔ)至所述目標(biāo)存儲(chǔ)器中。

s15，所述電子設(shè)備通過(guò)所述驗(yàn)證平臺(tái)1獲取所述參考對(duì)象2的輸出數(shù)據(jù)。

在優(yōu)選實(shí)施例中，所述電子設(shè)備通過(guò)所述參考模型模塊11，在所述目標(biāo)存儲(chǔ)器中檢測(cè)所述參考對(duì)象2的輸出文件，以預(yù)設(shè)格式從所述參考對(duì)象2的輸出文件中讀取所述參考對(duì)象2的輸出數(shù)據(jù)，并將所述參考對(duì)象2的輸出數(shù)據(jù)發(fā)送至所述數(shù)據(jù)比對(duì)模塊12。

s16，所述電子設(shè)備通過(guò)所述驗(yàn)證平臺(tái)1獲取所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)。

在優(yōu)選實(shí)施例中，所述電子設(shè)備通過(guò)所述數(shù)據(jù)輸出模塊14獲取所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)，并將所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)發(fā)送至所述數(shù)據(jù)比對(duì)模塊12。

s17，所述電子設(shè)備根據(jù)所述參考對(duì)象2的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象3的驗(yàn)證結(jié)果。

在優(yōu)選實(shí)施例中，所述電子設(shè)備通過(guò)所述數(shù)據(jù)比對(duì)模塊，根據(jù)所述參考對(duì)象2的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象3的驗(yàn)證結(jié)果。

當(dāng)所述參考對(duì)象2的輸出數(shù)據(jù)與所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)相同時(shí)，確定所述待驗(yàn)對(duì)象3驗(yàn)證通過(guò)。即所述待驗(yàn)對(duì)象3的邏輯電路代碼正確，能實(shí)現(xiàn)所述參考對(duì)象2中所表示的算法。

當(dāng)所述參考對(duì)象2的輸出數(shù)據(jù)與所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)不相同時(shí)，確定所述待驗(yàn)對(duì)象3驗(yàn)證不通過(guò)。即所述待驗(yàn)對(duì)象3的邏輯電路代碼不正確，不能實(shí)現(xiàn)所述參考對(duì)象2中所表示的算法，需要提醒開(kāi)發(fā)人員檢查所述待驗(yàn)對(duì)象3的邏輯電路代碼。

本發(fā)明通過(guò)驗(yàn)證平臺(tái)1生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)；將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)存儲(chǔ)至目標(biāo)存儲(chǔ)器；通過(guò)所述驗(yàn)證平臺(tái)1將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至待驗(yàn)對(duì)象3；通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2從所述目標(biāo)存儲(chǔ)器中讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)，以使所述參考對(duì)象2開(kāi)始仿真計(jì)算；通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2結(jié)束仿真計(jì)算；通過(guò)所述驗(yàn)證平臺(tái)1獲取所述參考對(duì)象2的輸出數(shù)據(jù)；通過(guò)所述驗(yàn)證平臺(tái)1獲取所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)；根據(jù)所述參考對(duì)象2的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象3的驗(yàn)證結(jié)果。本發(fā)明將所述驗(yàn)證平臺(tái)1與所述參考對(duì)象2相結(jié)合，由于所述參考對(duì)象2與所述待驗(yàn)對(duì)象3可以實(shí)現(xiàn)相同算法，且所述參考對(duì)象2及所述待驗(yàn)對(duì)象3的輸入數(shù)據(jù)相同，因此通過(guò)確定所述參考對(duì)象2的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)是否相同即可確定所述待驗(yàn)對(duì)象3的正確性。即所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)與所述參考對(duì)象2的輸出數(shù)據(jù)相同，則所述待驗(yàn)對(duì)象正確(邏輯電路設(shè)計(jì)正確)。若所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)與所述參考對(duì)象2的輸出數(shù)據(jù)不相同，則所述待驗(yàn)對(duì)象錯(cuò)誤(邏輯電路設(shè)計(jì)錯(cuò)誤)。同時(shí)，所述驗(yàn)證平臺(tái)1具有良好的擴(kuò)展性、重用性。無(wú)需直接用systemveilog寫(xiě)測(cè)試程序，從而避免了大量的編碼工作，提高邏輯電路設(shè)計(jì)的驗(yàn)證效率。

如圖3所示，本發(fā)明邏輯電路設(shè)計(jì)的驗(yàn)證裝置的較佳實(shí)施例的功能模塊圖。所述邏輯電路設(shè)計(jì)的驗(yàn)證裝置16包括生成單元100、存儲(chǔ)單元101、發(fā)送單元102、控制單元103、獲取單元104及比對(duì)單元105。本發(fā)明所稱的單元是指一種能夠被邏輯電路設(shè)計(jì)的驗(yàn)證裝置16的處理器所執(zhí)行并且能夠完成固定功能的一系列計(jì)算機(jī)程序段，其存儲(chǔ)在存儲(chǔ)器中。在本實(shí)施例中，關(guān)于各單元的功能將在后續(xù)的實(shí)施例中詳述。

所述生成單元100通過(guò)驗(yàn)證平臺(tái)1生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)。

在優(yōu)選實(shí)施例中，所述驗(yàn)證平臺(tái)1可以包括數(shù)據(jù)生成函數(shù)或數(shù)據(jù)生成類模塊。通過(guò)調(diào)用所述驗(yàn)證平臺(tái)1的數(shù)據(jù)生成函數(shù)或數(shù)據(jù)生成類模塊生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)。

在優(yōu)選實(shí)施例中，所述生成單元100通過(guò)驗(yàn)證平臺(tái)1隨機(jī)生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)。所述配置數(shù)據(jù)包括，但不限于，以下一種或者多種：所述驗(yàn)證平臺(tái)1的配置數(shù)據(jù)、待驗(yàn)對(duì)象3的配置數(shù)據(jù)、參考對(duì)象2的配置數(shù)據(jù)，其中所述驗(yàn)證平臺(tái)1的配置數(shù)據(jù)用來(lái)初始化驗(yàn)證環(huán)境、測(cè)試模式等。所述待驗(yàn)對(duì)象3的配置數(shù)據(jù)主要用來(lái)初始化所述待驗(yàn)對(duì)象3，設(shè)置工作模式等。所述待驗(yàn)對(duì)象3的配置數(shù)據(jù)包括，但不限于，寄存器配置、接口初始狀態(tài)配置、工作模式配置等。所述參考對(duì)象2的配置數(shù)據(jù)主要用來(lái)初始化所述參考對(duì)象2，設(shè)置工作模式等，其包括，但不限于，寄存器配置、接口初始狀態(tài)配置、工作模式配置等。所述生成單元100還通過(guò)驗(yàn)證平臺(tái)1產(chǎn)生隨機(jī)的激勵(lì)數(shù)據(jù)，用于作為所述待驗(yàn)對(duì)象3及所述參考對(duì)象2中算法的的輸入數(shù)據(jù)，所述激勵(lì)數(shù)據(jù)包括，但不限于，時(shí)鐘、復(fù)位、輸入數(shù)據(jù)等。因此，由于給所述參數(shù)對(duì)象2及所述待驗(yàn)對(duì)象3輸入的配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)相同，則所述參數(shù)對(duì)象2及所述待驗(yàn)對(duì)象3的輸入數(shù)據(jù)相同。

所述存儲(chǔ)單元101將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)存儲(chǔ)至目標(biāo)存儲(chǔ)器。

在優(yōu)選實(shí)施例中，所述目標(biāo)存儲(chǔ)器可以是所述電子設(shè)備的至少一個(gè)存儲(chǔ)器，也可以是與所述電子設(shè)備相連的至少一個(gè)外部存儲(chǔ)器。

在優(yōu)選實(shí)施例中，所述存儲(chǔ)單元101通過(guò)所述驗(yàn)證平臺(tái)1，以預(yù)設(shè)格式將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)保存成文本文檔，并存儲(chǔ)至所述目標(biāo)存儲(chǔ)器，以供所述參考對(duì)象2能以預(yù)設(shè)格式解析所述文本文檔，并讀取所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)。這樣就能保證所述參考對(duì)象2與所述待驗(yàn)對(duì)象3的輸入數(shù)據(jù)的相同，保證了計(jì)算結(jié)果的正確性。

所述文本文檔包括以下一種或多種的組合：純文本文檔、二進(jìn)制文檔、javascript對(duì)象標(biāo)記語(yǔ)言文檔。

優(yōu)選地，預(yù)先配置所述預(yù)設(shè)格式，包括，但不限于：預(yù)先配置文本文檔中每一行的存儲(chǔ)內(nèi)容，例如每一行的起始信息、結(jié)束信息等等。

所述發(fā)送單元102通過(guò)所述驗(yàn)證平臺(tái)1將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至待驗(yàn)對(duì)象3。

在優(yōu)選實(shí)施例中，所述發(fā)送單元102通過(guò)所述數(shù)據(jù)輸入模塊13，并利用所述接口二15將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至所述待驗(yàn)對(duì)象3。所述待驗(yàn)對(duì)象3根據(jù)所述配置數(shù)據(jù)配置運(yùn)行環(huán)境，并根據(jù)所述激勵(lì)數(shù)據(jù)，啟動(dòng)仿真運(yùn)算，然后輸出數(shù)據(jù)。

所述控制單元103通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2從所述目標(biāo)存儲(chǔ)器中讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)，以使所述參考對(duì)象2開(kāi)始仿真計(jì)算。

在優(yōu)選實(shí)施例中，所述驗(yàn)證平臺(tái)1可以包括進(jìn)程控制函數(shù)或進(jìn)程控制的類模塊。通過(guò)調(diào)用所述驗(yàn)證平臺(tái)1的生成控制函數(shù)或進(jìn)程控制的類模塊生成控制所述參考對(duì)象2的進(jìn)程。

在優(yōu)選實(shí)施例中，當(dāng)所述驗(yàn)證平臺(tái)1啟動(dòng)時(shí)，控制單元103生成控制所述參考對(duì)象2的進(jìn)程以啟動(dòng)所述參考對(duì)象2，并使所述參考對(duì)象2檢測(cè)所述驗(yàn)證平臺(tái)1生成的所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)。

當(dāng)所述參考對(duì)象2啟動(dòng)后，通過(guò)內(nèi)置的函數(shù)會(huì)在所述目標(biāo)存儲(chǔ)器中持續(xù)檢測(cè)存儲(chǔ)的所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)的文本文檔，并以所述預(yù)設(shè)格式對(duì)所述文本文檔進(jìn)行解析，讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)以啟動(dòng)仿真計(jì)算。

所述控制單元103通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2結(jié)束仿真計(jì)算。

在優(yōu)選實(shí)施例中，所述控制單元103通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2結(jié)束仿真計(jì)算包括：獲取所述驗(yàn)證平臺(tái)1的運(yùn)行狀態(tài)數(shù)據(jù)；將所述運(yùn)行狀態(tài)數(shù)據(jù)以所述預(yù)設(shè)格式存儲(chǔ)至所述目標(biāo)存儲(chǔ)器中以供所述參考對(duì)象2進(jìn)行檢測(cè)，當(dāng)所述參考對(duì)象2檢測(cè)到包括結(jié)束狀態(tài)數(shù)據(jù)的所述運(yùn)行狀態(tài)數(shù)據(jù)時(shí)，所述參考對(duì)象2結(jié)束仿真計(jì)算，并將所述參考對(duì)象2的輸出數(shù)據(jù)以預(yù)設(shè)格式存儲(chǔ)至所述目標(biāo)存儲(chǔ)器中。

所述獲取單元104通過(guò)所述驗(yàn)證平臺(tái)1獲取所述參考對(duì)象2的輸出數(shù)據(jù)。

在優(yōu)選實(shí)施例中，所述獲取單元104通過(guò)所述參考模型模塊11，在所述目標(biāo)存儲(chǔ)器中檢測(cè)所述參考對(duì)象2的輸出文件，以預(yù)設(shè)格式從所述參考對(duì)象2的輸出文件中讀取所述參考對(duì)象2的輸出數(shù)據(jù)，并將所述參考對(duì)象2的輸出數(shù)據(jù)發(fā)送至所述數(shù)據(jù)比對(duì)模塊12。

所述獲取單元104通過(guò)所述驗(yàn)證平臺(tái)1獲取所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)。

在優(yōu)選實(shí)施例中，所述獲取單元104通過(guò)所述數(shù)據(jù)輸出模塊14獲取所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)，并將所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)發(fā)送至所述數(shù)據(jù)比對(duì)模塊12。

所述比對(duì)單元105根據(jù)所述參考對(duì)象2的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象3的驗(yàn)證結(jié)果。

在優(yōu)選實(shí)施例中，所述比對(duì)單元105通過(guò)所述數(shù)據(jù)比對(duì)模塊12，根據(jù)所述參考對(duì)象2的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象3的驗(yàn)證結(jié)果。

當(dāng)所述參考對(duì)象2的輸出數(shù)據(jù)與所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)相同時(shí)，確定所述待驗(yàn)對(duì)象3驗(yàn)證通過(guò)。即所述待驗(yàn)對(duì)象3的邏輯電路代碼正確，能實(shí)現(xiàn)所述參考對(duì)象2中所表示的算法。

當(dāng)所述參考對(duì)象2的輸出數(shù)據(jù)與所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)不相同時(shí)，確定所述待驗(yàn)對(duì)象3驗(yàn)證不通過(guò)。即所述待驗(yàn)對(duì)象3的邏輯電路代碼不正確，不能實(shí)現(xiàn)所述參考對(duì)象2中所表示的算法，需要提醒開(kāi)發(fā)人員檢查所述待驗(yàn)對(duì)象3的邏輯電路代碼。

本發(fā)明通過(guò)驗(yàn)證平臺(tái)1生成配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)；將所述配置數(shù)據(jù)及激勵(lì)數(shù)據(jù)存儲(chǔ)至目標(biāo)存儲(chǔ)器；通過(guò)所述驗(yàn)證平臺(tái)1將所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)發(fā)送至待驗(yàn)對(duì)象3；通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2從所述目標(biāo)存儲(chǔ)器中讀取所述配置數(shù)據(jù)及所述激勵(lì)數(shù)據(jù)，以使所述參考對(duì)象2開(kāi)始仿真計(jì)算；通過(guò)所述驗(yàn)證平臺(tái)1控制所述參考對(duì)象2結(jié)束仿真計(jì)算；通過(guò)所述驗(yàn)證平臺(tái)1獲取所述參考對(duì)象2的輸出數(shù)據(jù)；通過(guò)所述驗(yàn)證平臺(tái)1獲取所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)；根據(jù)所述參考對(duì)象2的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)，確定所述待驗(yàn)對(duì)象3的驗(yàn)證結(jié)果。本發(fā)明將所述驗(yàn)證平臺(tái)1與所述參考對(duì)象2相結(jié)合，由于所述參考對(duì)象2與所述待驗(yàn)對(duì)象3可以實(shí)現(xiàn)相同算法，且所述參考對(duì)象2及所述待驗(yàn)對(duì)象3的輸入數(shù)據(jù)相同，因此通過(guò)確定所述參考對(duì)象2的輸出數(shù)據(jù)及所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)是否相同即可實(shí)現(xiàn)對(duì)所述待驗(yàn)對(duì)象3的驗(yàn)證(確定所述待驗(yàn)對(duì)象3的正確性)。即所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)與所述參考對(duì)象2的輸出數(shù)據(jù)相同，則所述待驗(yàn)對(duì)象正確(邏輯電路設(shè)計(jì)正確)。若所述待驗(yàn)對(duì)象3的輸出數(shù)據(jù)與所述參考對(duì)象2的輸出數(shù)據(jù)不相同，則所述待驗(yàn)對(duì)象錯(cuò)誤(邏輯電路設(shè)計(jì)錯(cuò)誤)。同時(shí)，所述驗(yàn)證平臺(tái)1具有良好的擴(kuò)展性、重用性。無(wú)需直接用systemveilog寫(xiě)測(cè)試程序，從而避免了大量的編碼工作，提高邏輯電路設(shè)計(jì)的驗(yàn)證效率。

上述以軟件功能模塊的形式實(shí)現(xiàn)的集成的單元，可以存儲(chǔ)在一個(gè)計(jì)算機(jī)可讀取存儲(chǔ)介質(zhì)中。上述軟件功能模塊存儲(chǔ)在一個(gè)存儲(chǔ)介質(zhì)中，包括若干指令用以使得一臺(tái)計(jì)算機(jī)設(shè)備(可以是個(gè)人計(jì)算機(jī)，服務(wù)器，或者網(wǎng)絡(luò)設(shè)備等)或處理器(processor)執(zhí)行本發(fā)明每個(gè)實(shí)施例所述方法的部分步驟。

如圖4所示，所述電子設(shè)備4包括至少一個(gè)發(fā)送裝置31、至少一個(gè)存儲(chǔ)器32、至少一個(gè)處理器33、至少一個(gè)接收裝置34、至少一個(gè)顯示器(圖中未示出)以及至少一個(gè)通信總線。其中，所述通信總線用于實(shí)現(xiàn)這些組件之間的連接通信。

所述電子設(shè)備4是一種能夠按照事先設(shè)定或存儲(chǔ)的指令，自動(dòng)進(jìn)行數(shù)值計(jì)算和/或信息處理的設(shè)備，其硬件包括但不限于微處理器、專用集成電路(applicationspecificintegratedcircuit，asic)、可編程門(mén)陣列(field－programmablegatearray，fpga)、數(shù)字處理器(digitalsignalprocessor，dsp)、嵌入式設(shè)備等。所述電子設(shè)備4還可包括網(wǎng)絡(luò)設(shè)備和/或用戶設(shè)備。其中，所述網(wǎng)絡(luò)設(shè)備包括但不限于單個(gè)網(wǎng)絡(luò)服務(wù)器、多個(gè)網(wǎng)絡(luò)服務(wù)器組成的服務(wù)器組或基于云計(jì)算(cloudcomputing)的由大量主機(jī)或網(wǎng)絡(luò)服務(wù)器構(gòu)成的云，其中，云計(jì)算是分布式計(jì)算的一種，由一群松散耦合的計(jì)算機(jī)集組成的一個(gè)超級(jí)虛擬計(jì)算機(jī)。

所述電子設(shè)備4可以是，但不限于任何一種可與用戶通過(guò)鍵盤(pán)、觸摸板或聲控設(shè)備等方式進(jìn)行人機(jī)交互的電子產(chǎn)品，例如，平板電腦、智能手機(jī)、個(gè)人數(shù)字助理(personaldigitalassistant，pda)、智能式穿戴式設(shè)備、攝像設(shè)備、監(jiān)控設(shè)備等終端。

所述電子設(shè)備4所處的網(wǎng)絡(luò)包括，但不限于互聯(lián)網(wǎng)、廣域網(wǎng)、城域網(wǎng)、局域網(wǎng)、虛擬專用網(wǎng)絡(luò)(virtualprivatenetwork，vpn)等。

其中，所述接收裝置34和所述發(fā)送裝置31可以是有線發(fā)送端口，也可以為無(wú)線設(shè)備，例如包括天線裝置，用于與其他設(shè)備進(jìn)行數(shù)據(jù)通信。

所述存儲(chǔ)器32用于存儲(chǔ)程序代碼。所述存儲(chǔ)器32可以是集成電路中沒(méi)有實(shí)物形式的具有存儲(chǔ)功能的電路，如ram(random-accessmemory，隨機(jī)存取存儲(chǔ)器)、fifo(firstinfirstout，)等。或者，所述存儲(chǔ)器32也可以是具有實(shí)物形式的存儲(chǔ)器，如內(nèi)存條、tf卡(trans-flashcard)、智能媒體卡(smartmediacard)、安全數(shù)字卡(securedigitalcard)、快閃存儲(chǔ)器卡(flashcard)等儲(chǔ)存設(shè)備等等。

所述處理器33可以包括一個(gè)或者多個(gè)微處理器、數(shù)字處理器。所述處理器33可調(diào)用存儲(chǔ)器32中存儲(chǔ)的程序代碼以執(zhí)行相關(guān)的功能。例如，圖3中所述的各個(gè)單元是存儲(chǔ)在所述存儲(chǔ)器32中的程序代碼，并由所述處理器33所執(zhí)行，以實(shí)現(xiàn)一種邏輯電路設(shè)計(jì)的驗(yàn)證方法。所述處理器33又稱中央處理器(cpu，centralprocessingunit)，是一塊超大規(guī)模的集成電路，是運(yùn)算核心(core)和控制核心(controlunit)。

本發(fā)明實(shí)施例還提供一種計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)，其上存儲(chǔ)有計(jì)算機(jī)指令，所述指令當(dāng)被包括一個(gè)或多個(gè)處理器的電子設(shè)備執(zhí)行時(shí)，使電子設(shè)備執(zhí)行如上文方法實(shí)施例所述的邏輯電路設(shè)計(jì)的驗(yàn)證方法。

在本發(fā)明所提供的幾個(gè)實(shí)施例中，應(yīng)該理解到，所揭露的系統(tǒng)，裝置和方法，可以通過(guò)其它的方式實(shí)現(xiàn)。例如，以上所描述的裝置實(shí)施例僅僅是示意性的，例如，所述模塊的劃分，僅僅為一種邏輯功能劃分，實(shí)際實(shí)現(xiàn)時(shí)可以有另外的劃分方式。

所述作為分離部件說(shuō)明的模塊可以是或者也可以不是物理上分開(kāi)的，作為模塊顯示的部件可以是或者也可以不是物理單元，即可以位于一個(gè)地方，或者也可以分布到多個(gè)網(wǎng)絡(luò)單元上?？梢愿鶕?jù)實(shí)際的需要選擇其中的部分或者全部模塊來(lái)實(shí)現(xiàn)本實(shí)施例方案的目的。

另外，在本發(fā)明每個(gè)實(shí)施例中的各功能模塊可以集成在一個(gè)處理單元中，也可以是每個(gè)單元單獨(dú)物理存在，也可以兩個(gè)或兩個(gè)以上單元集成在一個(gè)單元中。上述集成的單元既可以采用硬件的形式實(shí)現(xiàn)，也可以采用硬件加軟件功能模塊的形式實(shí)現(xiàn)。

對(duì)于本領(lǐng)域技術(shù)人員而言，顯然本發(fā)明不限于上述示范性實(shí)施例的細(xì)節(jié)，而且在不背離本發(fā)明的精神或基本特征的情況下，能夠以其他的具體形式實(shí)現(xiàn)本發(fā)明。因此，無(wú)論從哪一點(diǎn)來(lái)看，均應(yīng)將實(shí)施例看作是示范性的，而且是非限制性的，本發(fā)明的范圍由所附權(quán)利要求而不是上述說(shuō)明限定，因此旨在將落在權(quán)利要求的等同要件的含義和范圍內(nèi)的所有變化涵括在本發(fā)明內(nèi)。不應(yīng)將權(quán)利要求中的任何附關(guān)聯(lián)圖標(biāo)記視為限制所涉及的權(quán)利要求。此外，顯然“包括”一詞不排除其他單元或步驟，單數(shù)不排除復(fù)數(shù)。系統(tǒng)權(quán)利要求中陳述的多個(gè)單元或裝置也可以由一個(gè)單元或裝置通過(guò)軟件或者硬件來(lái)實(shí)現(xiàn)。第二等詞語(yǔ)用來(lái)表示名稱，而并不表示任何特定的順序。

最后應(yīng)說(shuō)明的是，以上實(shí)施例僅用以說(shuō)明本發(fā)明的技術(shù)方案而非限制，盡管參照較佳實(shí)施例對(duì)本發(fā)明進(jìn)行了詳細(xì)說(shuō)明，本領(lǐng)域的普通技術(shù)人員應(yīng)當(dāng)理解，可以對(duì)本發(fā)明的技術(shù)方案進(jìn)行修改或等同替換，而不脫離本發(fā)明技術(shù)方案的精神和范圍。