可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)和方法
【專(zhuān)利摘要】本發(fā)明提供了一種可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)和方法，用于對(duì)測(cè)試中的設(shè)備DUT進(jìn)行功能驗(yàn)證，包括：總線驗(yàn)證IP用于配置DUT的驗(yàn)證數(shù)據(jù)的源地址和目的地址、為DUT提供驗(yàn)證數(shù)據(jù)及對(duì)DUT總線接口邏輯進(jìn)行協(xié)議檢查，以便DUT根據(jù)源地址從總線驗(yàn)證IP中提取驗(yàn)證數(shù)據(jù)并進(jìn)行硬件處理；參考模型模塊，用于獲取驗(yàn)證數(shù)據(jù)并根據(jù)預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)其進(jìn)行軟件處理，預(yù)設(shè)標(biāo)準(zhǔn)算法與DUT功能相同；比較器用于將硬件處理結(jié)果和軟件處理結(jié)果進(jìn)行對(duì)比并反饋管理系統(tǒng)，其提供了一個(gè)可重用自動(dòng)檢測(cè)隨機(jī)驗(yàn)證平臺(tái)對(duì)DUT進(jìn)行隨機(jī)驗(yàn)證，無(wú)需操作員手工進(jìn)行操作且能夠?qū)UT的處理結(jié)果進(jìn)行自動(dòng)檢測(cè)，提高了驗(yàn)證全面性、覆蓋率和效率，節(jié)省了驗(yàn)證時(shí)間。
【專(zhuān)利說(shuō)明】可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)和方法

【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及通信領(lǐng)域，具體而言，涉及可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)和方法。

【背景技術(shù)】
[0002]隨著半導(dǎo)體制造技術(shù)的改進(jìn)，SOC(System on Chip，系統(tǒng)級(jí)芯片)(即專(zhuān)用集成電路芯片)及多核設(shè)計(jì)的方案，代替了傳統(tǒng)集成電路芯片而被廣泛應(yīng)用，但無(wú)論是傳統(tǒng)的芯片還是新興的S0C，均需要在使用前對(duì)其進(jìn)行功能驗(yàn)證，用以保證其在使用過(guò)程中的可靠性。而SOC相比于傳統(tǒng)的芯片，其設(shè)計(jì)的復(fù)雜度是以指數(shù)形式增長(zhǎng)，故對(duì)SOC進(jìn)行功能驗(yàn)證需要花費(fèi)大量時(shí)間(一般需要花費(fèi)從制作好到開(kāi)始是使用整個(gè)過(guò)程的70%?80%的時(shí)間)，因此，SOC設(shè)計(jì)復(fù)雜度的提高迫切需要在芯片驗(yàn)證方面有新的技術(shù)和方法學(xué)。
[0003]相關(guān)技術(shù)提供了一種對(duì)SOC進(jìn)行功能驗(yàn)證的方法，即采用定向激勵(lì)測(cè)試的方法對(duì)SOC中帶有總線接口的信號(hào)編解碼模塊進(jìn)行驗(yàn)證，其優(yōu)勢(shì)是:定向激勵(lì)驗(yàn)證平臺(tái)易于搭建，便于發(fā)現(xiàn)芯片系統(tǒng)集成過(guò)程中的基本連線錯(cuò)誤。具體的，信號(hào)編解碼模塊具有多路總線，首先對(duì)每一路總線進(jìn)行測(cè)試，然后將每一路總線的測(cè)試結(jié)果分別與標(biāo)準(zhǔn)結(jié)果進(jìn)行對(duì)比，得到該路總線的測(cè)試結(jié)果，直至完成所有總線的測(cè)試，測(cè)試結(jié)束。
[0004]發(fā)明人在研宄中發(fā)現(xiàn)，定向激勵(lì)測(cè)試中需要測(cè)試人員完成每一路總線的測(cè)試，勞動(dòng)強(qiáng)度大且耗費(fèi)時(shí)間長(zhǎng)，并且在驗(yàn)證的過(guò)程中測(cè)試人員還需將每一路總線的測(cè)試結(jié)果均單獨(dú)計(jì)算并與標(biāo)準(zhǔn)數(shù)據(jù)進(jìn)行對(duì)比，操作強(qiáng)度且大大制約了驗(yàn)證的進(jìn)度，并且對(duì)于不同的模塊驗(yàn)證需要搭建不同的驗(yàn)證平臺(tái)，浪費(fèi)人力和時(shí)間。


【發(fā)明內(nèi)容】

[0005]本發(fā)明的目的在于提供可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，無(wú)需操作人員手動(dòng)操作，提高對(duì)功能模塊的驗(yàn)證的速度及工作效率。
[0006]第一方面，本發(fā)明實(shí)施例提供了一種可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，用于對(duì)測(cè)試中的設(shè)備DUT進(jìn)行功能驗(yàn)證，包括:總線驗(yàn)證IP、參考模型模塊和比較器；
[0007]總線驗(yàn)證IP，用于配置DUT的驗(yàn)證數(shù)據(jù)的源地址和目的地址、為DUT提供驗(yàn)證數(shù)據(jù)以及對(duì)DUT總線接口邏輯進(jìn)行協(xié)議檢查，以便DUT根據(jù)配置的源地址從總線驗(yàn)證IP中提取驗(yàn)證數(shù)據(jù)，對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理并將得到的硬件處理結(jié)果通過(guò)目的地址反饋給總線驗(yàn)證IP ；
[0008]參考模型模塊，用于根據(jù)預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理，得到軟件處理結(jié)果，預(yù)設(shè)標(biāo)準(zhǔn)算法與DUT具有相同的功能；
[0009]比較器，用于獲取DUT的硬件處理結(jié)果和參考模型模塊的軟件處理結(jié)果，將硬件處理結(jié)果和軟件處理結(jié)果進(jìn)行對(duì)比，并將對(duì)比結(jié)果反饋給管理系統(tǒng)。
[0010]結(jié)合第一方面，本發(fā)明實(shí)施例提供了第一方面的第一種可能的實(shí)施方式，其中，可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)中，總線驗(yàn)證IP包括:主動(dòng)主機(jī)總線和主動(dòng)從機(jī)總線；
[0011]主動(dòng)主機(jī)總線，用于配置DUT的驗(yàn)證數(shù)據(jù)的源地址和目的地址；
[0012]主動(dòng)從機(jī)總線，用于為DUT提供驗(yàn)證數(shù)據(jù)。
[0013]結(jié)合第一方面的第一種可能的實(shí)施方式，本發(fā)明實(shí)施例提供了第一方面的第二種可能的實(shí)施方式，其中，可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)中，總線驗(yàn)證IP還包括:被動(dòng)主機(jī)總線和被動(dòng)從機(jī)總線；
[0014]被動(dòng)主機(jī)總線和被動(dòng)從機(jī)總線均用于對(duì)DUT的總線接口邏輯進(jìn)行協(xié)議檢查，以便DUT的總線接口邏輯協(xié)議與標(biāo)準(zhǔn)協(xié)議保持一致。
[0015]結(jié)合第一方面，本發(fā)明實(shí)施例提供了第一方面的第三種可能的實(shí)施方式，其中，可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)還包括監(jiān)控器；
[0016]監(jiān)控器，用于在監(jiān)測(cè)到DUT從主動(dòng)從機(jī)總線中提取的驗(yàn)證數(shù)據(jù)時(shí)，獲取驗(yàn)證數(shù)據(jù)并對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行打包封裝，并發(fā)送至參考模型模塊。
[0017]結(jié)合第一方面的第三種可能的實(shí)施方式，本發(fā)明實(shí)施例提供了第一方面的第四種可能的實(shí)施方式，其中，可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)中，
[0018]參考模型模塊，在接收到監(jiān)控器發(fā)送的驗(yàn)證數(shù)據(jù)時(shí)，根據(jù)預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理，并將得到的軟件處理結(jié)果發(fā)送至比較器，預(yù)設(shè)標(biāo)準(zhǔn)算法至少包括C算法。
[0019]結(jié)合第一方面，本發(fā)明實(shí)施例提供了第一方面的第五種可能的實(shí)施方式，其中，可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，
[0020]監(jiān)控器，在監(jiān)測(cè)到DUT反饋給總線驗(yàn)證IP的硬件處理結(jié)果時(shí)，獲取硬件處理結(jié)果并將硬件處理結(jié)果發(fā)送至比較器。
[0021]結(jié)合第一方面的第二種可能的實(shí)施方式，本發(fā)明實(shí)施例提供了第一方面的第六種可能的實(shí)施方式，其中，可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)中，
[0022]主動(dòng)主機(jī)總線與DUT的從機(jī)端口連接，主動(dòng)從機(jī)總線與DUT的主機(jī)端口連接；
[0023]被動(dòng)主機(jī)總線與DUT的從機(jī)端口連接，被動(dòng)從機(jī)總線與DUT的主機(jī)端口連接。
[0024]結(jié)合第一方面及第一方面的第一種可能的實(shí)施方式至第一方面的第七種可能的實(shí)施方式中任意一種可能的實(shí)施方式，本發(fā)明實(shí)施例提供了第一方面的第八種可能的實(shí)施方式，其中，任意一項(xiàng)的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，監(jiān)控器為兩個(gè)。
[0025]第二方面，本發(fā)明實(shí)施例還提供了一種可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證方法，方法用于對(duì)測(cè)試中的設(shè)備DUT進(jìn)行功能驗(yàn)證，包括:
[0026]配置DUT的驗(yàn)證數(shù)據(jù)的源地址和目的地址以及為DUT提供驗(yàn)證數(shù)據(jù)，以便DUT根據(jù)配置的源地址從總線驗(yàn)證IP中提取驗(yàn)證數(shù)據(jù)，對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理并將得到的硬件處理結(jié)果通過(guò)目的地址反饋給總線驗(yàn)證IP ；
[0027]獲取總線驗(yàn)證IP提供的驗(yàn)證數(shù)據(jù)，并根據(jù)預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理，得到軟件處理結(jié)果，預(yù)設(shè)標(biāo)準(zhǔn)算法與DUT具有相同的功能；
[0028]獲取DUT的硬件處理結(jié)果和參考模型模塊的軟件處理結(jié)果，將硬件處理結(jié)果和軟件處理結(jié)果進(jìn)行對(duì)比，并將對(duì)比結(jié)果反饋給管理系統(tǒng)。
[0029]結(jié)合第二方面，本發(fā)明實(shí)施例提供了第二方面的第一種可能的實(shí)施方式，其中，可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證方法還包括:
[0030]對(duì)DUT的總線接口邏輯進(jìn)行協(xié)議檢查，以便DUT的總線接口邏輯協(xié)議與標(biāo)準(zhǔn)協(xié)議保持一致。
[0031]本發(fā)明實(shí)施例提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)和方法，用于對(duì)測(cè)試中的設(shè)備DUT進(jìn)行功能驗(yàn)證，采用總線驗(yàn)證IP、參考模型模塊和比較器實(shí)現(xiàn)，具體通過(guò)總線驗(yàn)證IP配置DUT的驗(yàn)證數(shù)據(jù)的源地址和目的地址、為DUT提供驗(yàn)證數(shù)據(jù)以及對(duì)DUT總線接口邏輯進(jìn)行協(xié)議檢查，以便DUT根據(jù)源地址提取驗(yàn)證數(shù)據(jù)，對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理并將得到的硬件處理結(jié)果通過(guò)目的地址反饋給總線驗(yàn)證IP ;通過(guò)參考模型模塊，基于其自身存儲(chǔ)的預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理，得到軟件處理結(jié)果，最后通過(guò)比較器將硬件處理結(jié)果和軟件處理結(jié)果進(jìn)行對(duì)比，并將對(duì)比結(jié)果反饋給管理系統(tǒng)，與現(xiàn)有技術(shù)中的定向激勵(lì)測(cè)試中需要測(cè)試人員完成每一路總線的測(cè)試，勞動(dòng)強(qiáng)度大且耗費(fèi)時(shí)間長(zhǎng)，并且在驗(yàn)證的過(guò)程中測(cè)試人員還需將每一路總線的測(cè)試結(jié)果均單獨(dú)計(jì)算并與標(biāo)準(zhǔn)數(shù)據(jù)進(jìn)行對(duì)比，操作強(qiáng)度且大大制約了驗(yàn)證的進(jìn)度，并且對(duì)于不同的模塊驗(yàn)證需要搭建不同的驗(yàn)證平臺(tái)，浪費(fèi)人力和時(shí)間的方案相比，其能夠提供一個(gè)可重用自動(dòng)檢測(cè)隨機(jī)驗(yàn)證平臺(tái)來(lái)對(duì)DUT及其總線接口協(xié)議進(jìn)行隨機(jī)驗(yàn)證，無(wú)需操作員手工進(jìn)行操作，提高了驗(yàn)證覆蓋率，并且該系統(tǒng)能夠?qū)UT的處理結(jié)果進(jìn)行自動(dòng)檢測(cè)，提高了驗(yàn)證全面性和效率，節(jié)省了驗(yàn)證時(shí)間。
[0032]為使本發(fā)明的上述目的、特征和優(yōu)點(diǎn)能更明顯易懂，下文特舉較佳實(shí)施例，并配合所附附圖，作詳細(xì)說(shuō)明如下。

【專(zhuān)利附圖】

【附圖說(shuō)明】
[0033]為了更清楚地說(shuō)明本發(fā)明實(shí)施例的技術(shù)方案，下面將對(duì)實(shí)施例中所需要使用的附圖作簡(jiǎn)單地介紹，應(yīng)當(dāng)理解，以下附圖僅示出了本發(fā)明的某些實(shí)施例，因此不應(yīng)被看作是對(duì)范圍的限定，對(duì)于本領(lǐng)域普通技術(shù)人員來(lái)講，在不付出創(chuàng)造性勞動(dòng)的前提下，還可以根據(jù)這些附圖獲得其他相關(guān)的附圖。
[0034]圖1示出了本發(fā)明實(shí)施例所提供的一種可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證的系統(tǒng)的結(jié)構(gòu)示意圖；
[0035]圖2示出了本發(fā)明實(shí)施例所提供的一種可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證的方法的流程圖；
[0036]圖3示出了本發(fā)明實(shí)施例所提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證平臺(tái)的基本結(jié)構(gòu)框圖；
[0037]圖4示出了本發(fā)明實(shí)施例所提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證平臺(tái)中VIP與DUT的連接關(guān)系；
[0038]圖5示出了本發(fā)明實(shí)施例所提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證平臺(tái)的啟動(dòng)過(guò)程。

【具體實(shí)施方式】
[0039]下面將結(jié)合本發(fā)明實(shí)施例中附圖，對(duì)本發(fā)明實(shí)施例中的技術(shù)方案進(jìn)行清楚、完整地描述，顯然，所描述的實(shí)施例僅僅是本發(fā)明一部分實(shí)施例，而不是全部的實(shí)施例。通常在此處附圖中描述和示出的本發(fā)明實(shí)施例的組件可以以各種不同的配置來(lái)布置和設(shè)計(jì)。因此，以下對(duì)在附圖中提供的本發(fā)明的實(shí)施例的詳細(xì)描述并非旨在限制要求保護(hù)的本發(fā)明的范圍，而是僅僅表示本發(fā)明的選定實(shí)施例。基于本發(fā)明的實(shí)施例，本領(lǐng)域技術(shù)人員在沒(méi)有做出創(chuàng)造性勞動(dòng)的前提下所獲得的所有其他實(shí)施例，都屬于本發(fā)明保護(hù)的范圍。
[0040]總線(在通信領(lǐng)域通稱(chēng)為Bus)是計(jì)算機(jī)各種功能部件之間傳送信息的公共通信干線，它是由導(dǎo)線組成的傳輸線束，按照計(jì)算機(jī)所傳輸?shù)男畔⒎N類(lèi)，計(jì)算機(jī)的總線可以劃分為數(shù)據(jù)總線、地址總線和控制總線，分別用來(lái)傳輸數(shù)據(jù)、數(shù)據(jù)地址和控制信號(hào)?？偩€是一種內(nèi)部結(jié)構(gòu)，它是CPU (Central Processing Unit，中央處理器)、內(nèi)存設(shè)備、輸入設(shè)備和輸出設(shè)備傳遞信息的公用通道，主機(jī)的各個(gè)部件通過(guò)總線相連接，外部設(shè)備通過(guò)相應(yīng)的接口電路再與總線相連接，從而形成了計(jì)算機(jī)硬件系統(tǒng)。在計(jì)算機(jī)系統(tǒng)中，各個(gè)部件之間傳送信息的公共通路叫總線，微型計(jì)算機(jī)是以總線結(jié)構(gòu)來(lái)連接各個(gè)功能部件的。
[0041]功能驗(yàn)證，即電子設(shè)計(jì)自動(dòng)化中驗(yàn)證數(shù)字電路是否與預(yù)定規(guī)范功能相符的一個(gè)驗(yàn)證過(guò)程，通常所說(shuō)的功能驗(yàn)證、功能仿真是指不考慮實(shí)際器件的延遲時(shí)間，只考慮邏輯功能的一個(gè)流程。功能驗(yàn)證的目標(biāo)是達(dá)到盡可能高的測(cè)試覆蓋率，被測(cè)試的內(nèi)容要盡可能覆蓋所有的語(yǔ)句、邏輯分支、條件、路徑、觸發(fā)、狀態(tài)機(jī)的狀態(tài)等，同時(shí)在某些階段還必須包括對(duì)時(shí)序的檢查。在較小型的電路設(shè)計(jì)中，設(shè)計(jì)人員可以利用硬件描述語(yǔ)言來(lái)建立測(cè)試平臺(tái)(通常這是一個(gè)頂級(jí)模塊)，通過(guò)指定測(cè)試向量來(lái)檢驗(yàn)被測(cè)模塊在各種輸入情況下，檢驗(yàn)對(duì)應(yīng)的輸出是否符合要求。但是，在更大型集成電路設(shè)計(jì)項(xiàng)目中，該過(guò)程會(huì)耗費(fèi)設(shè)計(jì)人員較大的時(shí)間和精力。許多項(xiàng)目都采用計(jì)算機(jī)輔助工程工具來(lái)協(xié)助驗(yàn)證人員創(chuàng)建隨機(jī)測(cè)試激勵(lì)向量。其中，硬件驗(yàn)證語(yǔ)言在建立隨機(jī)測(cè)試和功能覆蓋方面具有顯著的優(yōu)勢(shì)，它們通常提供了專(zhuān)門(mén)用來(lái)進(jìn)行功能覆蓋和產(chǎn)生可約束隨機(jī)測(cè)試激勵(lì)向量的數(shù)據(jù)結(jié)構(gòu)。除了上面講述的這種通過(guò)輸入測(cè)試向量的方式，功能驗(yàn)證還可以通過(guò)形式等效性檢查(形式驗(yàn)證)、斷言等方式來(lái)進(jìn)行，達(dá)到更高的功能覆蓋率。
[0042]本發(fā)明提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)和方法，其是基于總線驗(yàn)證IP(VIP, Verificat1n Intellectual Property)和 UVM(Universal Verificat1nMethodology，通用驗(yàn)證方法學(xué))的高級(jí)驗(yàn)證方法學(xué)搭建的可重用自動(dòng)檢測(cè)隨機(jī)驗(yàn)證平臺(tái)，該平臺(tái)通過(guò)可重用自動(dòng)檢測(cè)隨機(jī)驗(yàn)證平臺(tái)對(duì)DUT及其總線接口協(xié)議進(jìn)行隨機(jī)驗(yàn)證，無(wú)需操作員手工進(jìn)行操作，提高了驗(yàn)證覆蓋率，并且該系統(tǒng)能夠?qū)UT的處理結(jié)果進(jìn)行自動(dòng)檢測(cè)，提高了驗(yàn)證全面性和效率，節(jié)省了驗(yàn)證時(shí)間；本發(fā)明尤其適用于通訊芯片中編解碼模塊的數(shù)據(jù)處理算法驗(yàn)證。
[0043]本發(fā)明的技術(shù)方案如下，如圖1所示，
[0044]本發(fā)明提供了一種可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，用于對(duì)測(cè)試中的設(shè)備DUT21 (Device Under Testing，測(cè)試中的設(shè)備)進(jìn)行功能驗(yàn)證，其特征在于，包括:總線驗(yàn)證IP、參考模型模塊和比較器15 ；
[0045]所述總線驗(yàn)證IP，用于配置所述DUT21的驗(yàn)證數(shù)據(jù)的源地址和目的地址、為所述DUT21提供驗(yàn)證數(shù)據(jù)以及對(duì)DUT總線接口邏輯進(jìn)行協(xié)議檢查，以便所述DUT21根據(jù)配置的所述源地址從所述總線驗(yàn)證IP中提取所述驗(yàn)證數(shù)據(jù)，并通過(guò)模塊RTL (Regi Ster TransferLevel，寄存器傳輸級(jí))對(duì)所述驗(yàn)證數(shù)據(jù)進(jìn)行處理，并將得到的硬件處理結(jié)果通過(guò)所述目的地址反饋給所述總線驗(yàn)證IP。其中，DUT21的功能是基于模塊RTL通過(guò)硬件描述語(yǔ)言(如Verilog 或 VHDL)描述的。
[0046]所述參考模型模塊Reference Modell4，用于獲取所述總線驗(yàn)證IP提供的所述驗(yàn)證數(shù)據(jù)，并根據(jù)預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)所述驗(yàn)證數(shù)據(jù)進(jìn)行軟件處理，所述預(yù)設(shè)標(biāo)準(zhǔn)算法與所述DUT21具有相同的功能；
[0047]所述比較器15，用于獲取所述DUT21的硬件處理結(jié)果和所述參考模型模塊的軟件處理結(jié)果，將所述硬件處理結(jié)果和所述軟件處理結(jié)果進(jìn)行對(duì)比并顯示對(duì)比結(jié)果。
[0048]本實(shí)施例中，總線驗(yàn)證IP即VIP，其是基于各種標(biāo)準(zhǔn)總線協(xié)議的驗(yàn)證模型，能夠按照總線協(xié)議發(fā)出隨機(jī)讀寫(xiě)操作，并能對(duì)總線邏輯進(jìn)行協(xié)議檢查，目前大規(guī)模集成電路中總線結(jié)構(gòu)很復(fù)雜，大多數(shù)模塊使用總線接口掛在總線結(jié)構(gòu)上，對(duì)這些模塊的驗(yàn)證主要采用基于VIP的形式進(jìn)行驗(yàn)證，這樣既可以保證驗(yàn)證的全面性，也能提高驗(yàn)證的效率。
[0049]VIP也可以是總線驗(yàn)證模型，其通過(guò)自身的配置對(duì)DUT21的驗(yàn)證數(shù)據(jù)進(jìn)行配置，如配置DUT21的驗(yàn)證數(shù)據(jù)的源地址和目的地址，以便后續(xù)根據(jù)該源地址和目的地址進(jìn)行后續(xù)步驟，如為DUT提供隨機(jī)數(shù)據(jù)進(jìn)行處理以及對(duì)DUT的總線接口進(jìn)行邏輯檢查等。
[0050]并且，VIP也可以配置DUT編解碼數(shù)據(jù)碼長(zhǎng)、校驗(yàn)碼數(shù)據(jù)碼長(zhǎng)及使能、掩碼數(shù)據(jù)碼長(zhǎng)及使能、編解碼數(shù)據(jù)的碼率、編解碼的模式以及調(diào)制解調(diào)方式等。
[0051]另外，VIP對(duì)總線接口的邏輯檢查使用了斷言的技術(shù)，基于斷言的方法能夠方便的描述總線時(shí)序?qū)傩裕瑸槊枋隹偩€協(xié)議提供了很好的便利性。利用斷言可以總結(jié)協(xié)議操作的規(guī)則，對(duì)總線重要的信號(hào)(例如握手信號(hào)或控制信號(hào)的時(shí)序)進(jìn)行斷言描述并檢測(cè)。在仿真中如果DUT無(wú)法滿(mǎn)足斷言描述的屬性，斷言就會(huì)失敗，VIP根據(jù)內(nèi)建函數(shù)來(lái)打印提示信息，可以直觀快速的找到設(shè)計(jì)缺陷。
[0052]其中，本發(fā)明實(shí)施例提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，尤其適用于通訊芯片中編解碼模塊的數(shù)據(jù)處理算法驗(yàn)證，故驗(yàn)證數(shù)據(jù)可以為源碼數(shù)據(jù)，該源碼數(shù)據(jù)即為等待編碼的數(shù)據(jù)或者待解碼的數(shù)據(jù)，使用該源碼數(shù)據(jù)則可以驗(yàn)證編解碼模塊的功能；具體的，該源碼數(shù)據(jù)可以為卷積碼或者RS碼。
[0053]同時(shí)，DUT21根據(jù)VIP為其配置的源地址和目的地址對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行硬件處理，具體的，即通過(guò)模塊RTL對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行硬件處理，其中，不同的DUT21可以有不同的功能，RTL模塊的硬件處理則根據(jù)DUT21的功能而設(shè)定，如當(dāng)DUT21為編碼模塊，則RTL模塊進(jìn)行硬件處理則為對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行編碼，如當(dāng)DUT21為解碼模塊，則RTL模塊進(jìn)行硬件處理則為對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行解碼；由于DUT21本身是一個(gè)SOC，即集成電路，其自身為硬件設(shè)備，故本實(shí)施例中將DUT21對(duì)驗(yàn)證數(shù)據(jù)的處理稱(chēng)為硬件處理。
[0054]同理，參考模型模塊中本身預(yù)存有預(yù)設(shè)標(biāo)準(zhǔn)算法，其首先獲取所述總線驗(yàn)證IP提供的所述驗(yàn)證數(shù)據(jù)，然后根據(jù)該預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)所述驗(yàn)證數(shù)據(jù)進(jìn)行軟件處理，由于本發(fā)明是對(duì)DUT21的功能進(jìn)行驗(yàn)證(尤其是對(duì)RTL級(jí)甚至更高層次進(jìn)行驗(yàn)證)，故參考模型模塊中的預(yù)設(shè)標(biāo)準(zhǔn)算法與DUT21本身具有相同的功能，如DUT21為解碼模塊，則預(yù)設(shè)標(biāo)準(zhǔn)算法同樣具有對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行解碼的功能。不同的是，參考模型模塊是通過(guò)軟件對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理；其中，預(yù)設(shè)標(biāo)準(zhǔn)算法為軟件，故本實(shí)施例中將參考模型模塊對(duì)驗(yàn)證數(shù)據(jù)的處理方式稱(chēng)為軟件處理。
[0055]具體的，該預(yù)設(shè)標(biāo)準(zhǔn)算法優(yōu)選為C算法，更進(jìn)一步的，C算法可以為，卷積編解碼算法，RS編解碼算法，Turbo變解碼算法，Golay編解碼算法。
[0056]最后，比較器15獲取DUT21的硬件處理結(jié)果(模塊RTL的處理結(jié)果)和參考模型模塊的軟件處理結(jié)果(C算法的處理結(jié)果)，然后將這二者進(jìn)行對(duì)比，其可以顯示對(duì)比結(jié)果，也可不顯示對(duì)比結(jié)果，最后將數(shù)據(jù)對(duì)比結(jié)果反饋給管理系統(tǒng)，以便驗(yàn)證人員進(jìn)行查看。本實(shí)施例中的比較器15可以為記分板Scoreboard。
[0057]另外，本實(shí)施例中的總線驗(yàn)證IP為可重用的驗(yàn)證IP，SystemVerilog UVM定義了一個(gè)分層結(jié)構(gòu)驗(yàn)證平臺(tái)，能夠支持先進(jìn)驗(yàn)證且方便重用，并且，UVM的類(lèi)能夠提供建立驗(yàn)證環(huán)境所需模塊(如參考模型模塊Reference Modell4、監(jiān)控器Monitorl3和記分板Scoreboard監(jiān)控)，能滿(mǎn)足各種功能的DUT驗(yàn)證需求，又能夠加速驗(yàn)證平臺(tái)開(kāi)發(fā)，實(shí)用性較好。
[0058]本實(shí)施例中，驗(yàn)證平臺(tái)中數(shù)據(jù)激勵(lì)(即驗(yàn)證數(shù)據(jù))可按照編解碼模塊要求的數(shù)據(jù)格式進(jìn)行有約束的隨機(jī)來(lái)提高驗(yàn)證覆蓋率，并且本發(fā)明中比較器15通過(guò)使用DPI接口在驗(yàn)證平臺(tái)中調(diào)用C函數(shù)來(lái)實(shí)現(xiàn)結(jié)果硬件處理結(jié)果和軟件處理結(jié)果進(jìn)行自動(dòng)對(duì)比，參考模型模塊Reference Modell4、記分板Scoreboard等組件采用UVM驗(yàn)證方法學(xué)的分層結(jié)構(gòu)進(jìn)行編寫(xiě)，用以實(shí)現(xiàn)平臺(tái)的重用性。
[0059]進(jìn)一步的，該可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，總線驗(yàn)證IP包括:主動(dòng)主機(jī)總線Active Masterll和主動(dòng)從機(jī)總線Active Slavel2 ;主動(dòng)主機(jī)總線Active Masterll，用于配置DUT21的驗(yàn)證數(shù)據(jù)的源地址和目的地址；主動(dòng)從機(jī)總線Active Slavel2，用于為DUT21提供驗(yàn)證數(shù)據(jù)。
[0060]具體的，在對(duì)帶有總線接口的編解碼模塊的驗(yàn)證的過(guò)程中，首先需要一個(gè)主動(dòng)主機(jī)總線Master對(duì)編解碼模塊的驗(yàn)證數(shù)據(jù)進(jìn)行配置，如配置編解碼模塊的源地址和目的地址等，然后還需要一個(gè)總線Slave，即主動(dòng)從機(jī)總線Active Slavel2，編解碼模塊從該主動(dòng)從機(jī)總線Active Slavel2中讀取驗(yàn)證數(shù)據(jù)，并根據(jù)編解碼模塊自身的功能對(duì)該驗(yàn)證數(shù)據(jù)進(jìn)行計(jì)算，即對(duì)該驗(yàn)證數(shù)據(jù)進(jìn)行編碼或者解碼，最后編解碼模塊將計(jì)算后的驗(yàn)證數(shù)據(jù)寫(xiě)給該主動(dòng)從機(jī)總線Active Slavel2o
[0061]其中，主動(dòng)主機(jī)總線Master對(duì)源地址或目的地址的配置，是利用VIP產(chǎn)生符合總線協(xié)議時(shí)序的激勵(lì)，對(duì)DUT的總線接口進(jìn)行配置，DUT按照標(biāo)準(zhǔn)總線時(shí)序解析VIP發(fā)過(guò)來(lái)的激勵(lì)，將解析出來(lái)的地址和數(shù)據(jù)下發(fā)到DUT的各個(gè)寄存器，來(lái)實(shí)現(xiàn)對(duì)驗(yàn)證數(shù)據(jù)的源地址和目的地址的配置。
[0062]進(jìn)一步的，該可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)中，總線驗(yàn)證IP包括:被動(dòng)主機(jī)總線 Passive Master 和被動(dòng)從機(jī)總線 Passive Slave ；
[0063]被動(dòng)主機(jī)總線Passive Master和被動(dòng)從機(jī)總線Passive Slave均用于對(duì)DUT21的總線接口邏輯進(jìn)行協(xié)議檢查，以便DUT21的總線接口邏輯協(xié)議與標(biāo)準(zhǔn)協(xié)議保持一致。
[0064]具體的，在驗(yàn)證平臺(tái)的搭建中，首先，將總線VIP分別配置為主動(dòng)主機(jī)總線ActiveMasterll、被動(dòng)主機(jī)總線Passive Master、主動(dòng)從機(jī)總線Active Slavel2和被動(dòng)從機(jī)總線Passive Slave四部分；其中，用主動(dòng)主機(jī)總線Active Masterll來(lái)配置編解碼模塊，主動(dòng)從機(jī)總線Active Slavel2用來(lái)給編解碼模塊提供驗(yàn)證數(shù)據(jù)，被動(dòng)主機(jī)總線Passive Master和被動(dòng)從機(jī)總線Passive Slave分別用來(lái)進(jìn)行編解碼模塊的總線接口邏輯協(xié)議檢查，即驗(yàn)證DUT21 (如編碼模塊或解碼模塊)的RTL級(jí)的總線接口邏輯協(xié)議是否與標(biāo)準(zhǔn)協(xié)議一致，這種方法結(jié)合了形式屬性檢查、與約束隨機(jī)測(cè)試、覆蓋驅(qū)動(dòng)驗(yàn)證和層次化驗(yàn)證等多種驗(yàn)證方法，可以很大程度的提高驗(yàn)證效率，在較短的時(shí)間內(nèi)達(dá)到滿(mǎn)意的驗(yàn)證效果。
[0065]進(jìn)一步的，該可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)還包括監(jiān)控器Monitorl3 ;監(jiān)控器Monitor13，用于在監(jiān)測(cè)到DUT21從主動(dòng)從機(jī)總線中提取的驗(yàn)證數(shù)據(jù)時(shí)，獲取驗(yàn)證數(shù)據(jù)并將驗(yàn)證數(shù)據(jù)發(fā)送至參考模型模塊Reference Model 14。
[0066]具體的，監(jiān)控器Monitorl3實(shí)時(shí)監(jiān)測(cè)DUT21從主動(dòng)從機(jī)總線中提取的驗(yàn)證數(shù)據(jù)，并將所接收到的驗(yàn)證數(shù)據(jù)的信號(hào)捆綁成事物交給它的上層進(jìn)行處理，該上層為參考模型模塊。
[0067]進(jìn)一步的，該可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)中，參考模型模塊ReferenceModel 14，在接收到監(jiān)控器MonitOTl3發(fā)送的驗(yàn)證數(shù)據(jù)時(shí)，根據(jù)預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理，并將得到的軟件處理結(jié)果發(fā)送至比較器15，預(yù)設(shè)標(biāo)準(zhǔn)算法至少包括C算法。
[0068]具體的，參考模型模塊Reference Modell4接收其下層事物的發(fā)送的驗(yàn)證數(shù)據(jù)，并對(duì)其進(jìn)行下級(jí)處理。
[0069]進(jìn)一步的，該可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)中，監(jiān)控器Monitor13，在監(jiān)測(cè)到DUT21反饋給總線驗(yàn)證IP的硬件處理結(jié)果時(shí)，獲取硬件處理結(jié)果并將硬件處理結(jié)果發(fā)送至比較器15。
[0070]進(jìn)一步的，該可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)中，主動(dòng)主機(jī)總線Active Masterll與DUT21的從機(jī)Slave端口連接，主動(dòng)從機(jī)總線與DUT21的主機(jī)Master端口連接；被動(dòng)主機(jī)總線與DUT21的從機(jī)Slave端口連接，被動(dòng)從機(jī)總線與DUT21的主機(jī)Master端口連接。
[0071]進(jìn)一步的，該可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)中，監(jiān)控器Monitorl3為兩個(gè)。
[0072]優(yōu)選的，監(jiān)控器Monitorl3為兩個(gè)，一個(gè)監(jiān)控器Monitorl3，負(fù)責(zé)監(jiān)測(cè)到DUT21從主動(dòng)從機(jī)總線中提取的驗(yàn)證數(shù)據(jù)，獲取驗(yàn)證數(shù)據(jù)并將驗(yàn)證數(shù)據(jù)發(fā)送至參考模型模塊Reference Model 14 ;另一個(gè)監(jiān)控器Monitorl3監(jiān)測(cè)到DUT21反饋給總線驗(yàn)證IP的硬件處理結(jié)果，獲取硬件處理結(jié)果并將硬件處理結(jié)果發(fā)送至比較器15。
[0073]其中，這兩個(gè)監(jiān)控器可以是同種型號(hào)的，也可以是不同型號(hào)的。
[0074]具體的，監(jiān)控器Monitorl3、參考模型模塊Reference Model 14和記分板Scoreboard等組件采用UVM驗(yàn)證方法學(xué)的分層結(jié)構(gòu)進(jìn)行編寫(xiě)來(lái)實(shí)現(xiàn)平臺(tái)的重用性。
[0075]本發(fā)明還提供了一種可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證方法，該方法用于對(duì)測(cè)試中的設(shè)備DUT進(jìn)行功能驗(yàn)證，如圖2所示，包括:
[0076]S101、配置DUT的驗(yàn)證數(shù)據(jù)的源地址和目的地址以及為DUT提供驗(yàn)證數(shù)據(jù)，以便DUT根據(jù)配置的源地址從總線驗(yàn)證IP中提取驗(yàn)證數(shù)據(jù)，對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理并將得到的硬件處理結(jié)果通過(guò)目的地址反饋給總線驗(yàn)證IP。
[0077]S102、獲取總線驗(yàn)證IP提供的驗(yàn)證數(shù)據(jù)，并根據(jù)預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理，得到軟件處理結(jié)果，預(yù)設(shè)標(biāo)準(zhǔn)算法與DUT具有相同的功能。
[0078]S103、獲取DUT的硬件處理結(jié)果和參考模型模塊的軟件處理結(jié)果，將硬件處理結(jié)果和軟件處理結(jié)果進(jìn)行對(duì)比，并將對(duì)比結(jié)果反饋給管理系統(tǒng)。
[0079]本發(fā)明實(shí)施例提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證方法，與現(xiàn)有技術(shù)中的定向激勵(lì)測(cè)試中需要測(cè)試人員完成每一路總線的測(cè)試，勞動(dòng)強(qiáng)度大且耗費(fèi)時(shí)間長(zhǎng)，并且在驗(yàn)證的過(guò)程中測(cè)試人員還需將每一路總線的測(cè)試結(jié)果均單獨(dú)計(jì)算并與標(biāo)準(zhǔn)數(shù)據(jù)進(jìn)行對(duì)比，操作強(qiáng)度且大大制約了驗(yàn)證的進(jìn)度，并且對(duì)于不同的模塊驗(yàn)證需要搭建不同的驗(yàn)證平臺(tái)，浪費(fèi)人力和時(shí)間的方案相比，其能夠提供一個(gè)可重用自動(dòng)檢測(cè)隨機(jī)驗(yàn)證平臺(tái)來(lái)對(duì)DUT及其總線接口協(xié)議進(jìn)行隨機(jī)驗(yàn)證，無(wú)需操作員手工進(jìn)行操作，提高了驗(yàn)證覆蓋率，并且該系統(tǒng)能夠?qū)UT的處理結(jié)果進(jìn)行自動(dòng)檢測(cè)，提高了驗(yàn)證全面性和效率，節(jié)省了驗(yàn)證時(shí)間。
[0080]進(jìn)一步的，該可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證方法還包括JtDUT的總線接口邏輯進(jìn)行協(xié)議檢查，以便使DUT的總線接口邏輯協(xié)議與標(biāo)準(zhǔn)協(xié)議保持一致。
[0081]具體的，首先，搭建驗(yàn)證平臺(tái)，然后將總線VIP分別配置為主動(dòng)主機(jī)總線ActiveMaster、被動(dòng)主機(jī)總線Passive Master、主動(dòng)從機(jī)總線Active Slave和被動(dòng)從機(jī)總線Passive Slave四部分；其中，通過(guò)主動(dòng)主機(jī)總線Active Master來(lái)配置編解碼模塊，通過(guò)主動(dòng)從機(jī)總線Active Slave來(lái)給編解碼模塊提供驗(yàn)證數(shù)據(jù)，被動(dòng)主機(jī)總線Passive Master和被動(dòng)從機(jī)總線Passive Slave分別用來(lái)進(jìn)行編解碼模塊的總線接口邏輯協(xié)議檢查，即驗(yàn)證DUT (即編解碼模塊的)的RTL級(jí)的總線接口邏輯是否與標(biāo)準(zhǔn)協(xié)議一致，這種方法結(jié)合了形式屬性檢查、與約束隨機(jī)測(cè)試、覆蓋驅(qū)動(dòng)驗(yàn)證和層次化驗(yàn)證等多種驗(yàn)證方法，可以很大程度的提高驗(yàn)證效率，在較短的時(shí)間內(nèi)達(dá)到滿(mǎn)意的驗(yàn)證效果。
[0082]本發(fā)明的有益效果是，提供一個(gè)可重用自動(dòng)檢測(cè)隨機(jī)驗(yàn)證平臺(tái)來(lái)對(duì)總線接口模塊進(jìn)行隨機(jī)驗(yàn)證，提高驗(yàn)證覆蓋率，并且能對(duì)模塊進(jìn)行結(jié)果自動(dòng)檢測(cè)，提高驗(yàn)證全面性和效率，節(jié)省驗(yàn)證時(shí)間。
[0083]下面結(jié)合完整的實(shí)施例對(duì)本發(fā)明實(shí)施例提供的可重用自動(dòng)檢測(cè)系統(tǒng)及隨機(jī)驗(yàn)證系統(tǒng)和方法進(jìn)行說(shuō)明:(本實(shí)施例中以DUT為編解碼模塊進(jìn)行說(shuō)明)
[0084]在帶有總線接口的編解碼模塊的驗(yàn)證過(guò)程中，首先需要一個(gè)總線Master，配置編解碼模塊的驗(yàn)證數(shù)據(jù)，如編解碼數(shù)據(jù)的源地址和目的地址等，然后還需要一個(gè)總線Slave，編解碼模塊從該Slave中讀取數(shù)據(jù)，并將該數(shù)據(jù)進(jìn)行計(jì)算，然后將計(jì)算后的數(shù)據(jù)再寫(xiě)給該總線Slave。在驗(yàn)證平臺(tái)的搭建中，將總線VIP分別配置為主動(dòng)主機(jī)總線Active Master、被動(dòng)主機(jī)總線Passive Master、主動(dòng)從機(jī)總線Active Slave和被動(dòng)從機(jī)總線Passive Slave四部分，其中，通過(guò)Active Master來(lái)配置編解碼模塊，通過(guò)Active Slave來(lái)給編解碼模塊提供數(shù)據(jù)，Passive Master和Passive Slave分別用來(lái)進(jìn)行編解碼模塊的總線接口邏輯進(jìn)行協(xié)議檢查。
[0085]該驗(yàn)證平臺(tái)的驗(yàn)證流程為=Active Master配置編解碼模塊的數(shù)據(jù)源地址和目的地址并啟動(dòng)模塊開(kāi)始工作，編解碼模塊根據(jù)配置的源地址到Active Slave中搬運(yùn)數(shù)據(jù)，該驗(yàn)證平臺(tái)中監(jiān)控器Monitor監(jiān)測(cè)搬運(yùn)的數(shù)據(jù)并抓取后，將抓取的數(shù)據(jù)打包封裝并發(fā)送給到參考模型模塊Reference Model，此時(shí)編解碼模塊和參考模型模塊開(kāi)始計(jì)算數(shù)據(jù)，(即RTL模塊根據(jù)DUT的功能對(duì)數(shù)據(jù)進(jìn)行處理，參考模型模塊通過(guò)C算法對(duì)數(shù)據(jù)進(jìn)行處理)，RTL模塊將得到結(jié)果后再根據(jù)配置的目的地址寫(xiě)回到Active Slave,此時(shí)監(jiān)控器Monitor再將RTL模塊處理后的數(shù)據(jù)抓到后給到記分板Scoreboard，同時(shí)，參考模型模塊ReferenceModel計(jì)算后的數(shù)據(jù)也給到記分板Scoreboard，記分板Scoreboard將參考模型模塊Reference Model通過(guò)C算法處理后的數(shù)據(jù)與模塊RTL處理得到的數(shù)據(jù)進(jìn)行自動(dòng)對(duì)比，被動(dòng)主機(jī)總線Passive Master和被動(dòng)從機(jī)總線Passive Slave分別連接在編解碼模塊的總線Master端口和Slave端口上來(lái)對(duì)編解碼模塊總線接口邏輯進(jìn)行協(xié)議檢查，并將協(xié)議的檢測(cè)結(jié)果反饋給驗(yàn)證人員，然后記分板Scoreboard將C算法處理得到的數(shù)據(jù)以及編解碼模塊處理得到的數(shù)據(jù)的對(duì)比結(jié)果反饋給驗(yàn)證人員，以便驗(yàn)證人員進(jìn)行查看，并在編解碼模塊總線接口邏輯以及上述對(duì)比結(jié)果這兩者中至少一者不符合標(biāo)準(zhǔn)條件時(shí)，進(jìn)行相應(yīng)的處理。
[0086]其中，驗(yàn)證平臺(tái)中數(shù)據(jù)激勵(lì)(驗(yàn)證數(shù)據(jù))可按照編解碼模塊要求的數(shù)據(jù)格式進(jìn)行有約束的隨機(jī)來(lái)提高驗(yàn)證覆蓋率，記分板Scoreboard通過(guò)DPI接口在驗(yàn)證平臺(tái)中調(diào)用C函數(shù)來(lái)實(shí)現(xiàn)結(jié)果自動(dòng)對(duì)比；其中，監(jiān)控器Monitor、參考模型模塊Reference Model和記分板Scoreboard等組件采用UVM驗(yàn)證方法學(xué)的分層結(jié)構(gòu)進(jìn)行編寫(xiě)來(lái)實(shí)現(xiàn)平臺(tái)的重用性。
[0087]下面結(jié)合附圖和對(duì)本發(fā)明提供的重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證平臺(tái)進(jìn)行進(jìn)一步說(shuō)明。
[0088]圖3示出了本發(fā)明實(shí)施例提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證平臺(tái)的基本結(jié)構(gòu)框圖；
[0089]圖3中test代表隨機(jī)激勵(lì)，test是驗(yàn)證平臺(tái)的頂層，data_sve和reg_sve分別是總線VIP的兩個(gè)配置環(huán)境，其中reg_SVe用來(lái)配置RTL寄存器，data_sve用來(lái)為DUT提供驗(yàn)證數(shù)據(jù)。
[0090]圖4示出了本發(fā)明實(shí)施例所提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證平臺(tái)中VIP與編解碼模塊的連接關(guān)系；
[0091]圖4中顯示了 VIP與DUT的連接關(guān)系，其中Active Master與DUT的Slave端口相連，用來(lái)配置編解碼模塊！Passive Slave也是與DUT的Slave端口相連，用來(lái)檢測(cè)DUTSlave端口的總線協(xié)議正確性；Active Slave與DUT的Master端口相連，用來(lái)給編解碼模塊提供數(shù)據(jù)；Passive Master也是與DUT的Master端口相連，用來(lái)檢測(cè)DUT Master端口的總線接口邏輯的協(xié)議的正確性。
[0092]圖1同樣示出了本發(fā)明實(shí)施例提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證平臺(tái)中UVM各個(gè)組件的連接關(guān)系；圖1中Active Master和Active Slave與DUT的連接為總線連接，其他組件間的連接為UVM驗(yàn)證方法學(xué)中的TLM(Transmiss1n Line Matrix，傳輸線矩陣法)通信連接。主動(dòng)主機(jī)總線Active Master配置編解碼模塊的數(shù)據(jù)源地址和目的地址，同時(shí)編解碼模塊啟動(dòng)開(kāi)始工作，編解碼模塊根據(jù)配置的源地址到主動(dòng)從機(jī)總線Active Slave中搬運(yùn)數(shù)據(jù)，平臺(tái)中監(jiān)控器Monitor監(jiān)測(cè)搬運(yùn)的數(shù)據(jù)并抓取后給到參考模型模塊Reference Model，此時(shí)編解碼模塊通過(guò)模塊RTL開(kāi)始計(jì)算數(shù)據(jù)、參考模型模塊Reference Model通過(guò)C算法開(kāi)始計(jì)算數(shù)據(jù)，模塊RTL得到結(jié)果后再根據(jù)配置的目的地址寫(xiě)回到主動(dòng)從機(jī)總線ActiveSlave，此時(shí)監(jiān)控器Monitor再將總線上的數(shù)據(jù)抓到后給到記分板Scoreboard，同時(shí)參考模型模塊Reference Model將計(jì)算后的數(shù)據(jù)也給到記分板Scoreboard，記分板Scoreboard將C算法得到數(shù)據(jù)與模塊RTL得到的數(shù)據(jù)進(jìn)行自動(dòng)對(duì)比。
[0093]圖5是本發(fā)明實(shí)施例提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證平臺(tái)的啟動(dòng)過(guò)程；
[0094]具體過(guò)程如下:UVM驗(yàn)證平臺(tái)的啟動(dòng)是按照phase執(zhí)行的，首先定義一個(gè)隨機(jī)testcase，調(diào)用+UVM_TESTNAME = my_test來(lái)啟動(dòng)驗(yàn)證平臺(tái)。仿真時(shí)仿真器首先進(jìn)入top，當(dāng)執(zhí)行run_test后，開(kāi)始啟動(dòng)驗(yàn)證平臺(tái)，驗(yàn)證平臺(tái)根據(jù)輸入的+UVM_TESTNAME后面的字符串名稱(chēng)來(lái)創(chuàng)建一個(gè)類(lèi)的實(shí)例，接下來(lái)再執(zhí)行test中的build，自上而下的執(zhí)行平臺(tái)中所有component的build。當(dāng)所有build執(zhí)行完后，就可以形成驗(yàn)證平臺(tái)的結(jié)構(gòu)。之后執(zhí)行connect phase，connect過(guò)程執(zhí)行后，各個(gè)component會(huì)按照連接定義的關(guān)系進(jìn)行連接，執(zhí)行完build和connect后，再執(zhí)行run等phase，所有的phase執(zhí)行完畢后結(jié)束仿真。
[0095]本發(fā)明實(shí)施例提供的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)和方法，用于對(duì)測(cè)試中的設(shè)備DUT進(jìn)行功能驗(yàn)證，采用總線驗(yàn)證IP、參考模型模塊和比較器實(shí)現(xiàn)，具體通過(guò)總線驗(yàn)證IP配置DUT的驗(yàn)證數(shù)據(jù)的源地址和目的地址、為DUT提供驗(yàn)證數(shù)據(jù)以及對(duì)DUT總線接口邏輯進(jìn)行協(xié)議檢查，以便DUT根據(jù)源地址提取驗(yàn)證數(shù)據(jù)，并通過(guò)其自身的寄存器傳輸級(jí)RTL模塊對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行處理，并將得到的硬件處理結(jié)果通過(guò)目的地址反饋給總線驗(yàn)證IP ;通過(guò)參考模型模塊，基于其自身存儲(chǔ)的預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)驗(yàn)證數(shù)據(jù)進(jìn)行軟件處理，最后通過(guò)比較器將硬件處理結(jié)果和軟件處理結(jié)果進(jìn)行對(duì)比，并將對(duì)比結(jié)果反饋給管理系統(tǒng)，與現(xiàn)有技術(shù)中的定向激勵(lì)測(cè)試中需要測(cè)試人員完成每一路總線的測(cè)試，勞動(dòng)強(qiáng)度大且耗費(fèi)時(shí)間長(zhǎng)，并且在驗(yàn)證的過(guò)程中測(cè)試人員還需將每一路總線的測(cè)試結(jié)果均單獨(dú)計(jì)算并與標(biāo)準(zhǔn)數(shù)據(jù)進(jìn)行對(duì)比，操作強(qiáng)度且大大制約了驗(yàn)證的進(jìn)度，并且對(duì)于不同的模塊驗(yàn)證需要搭建不同的驗(yàn)證平臺(tái)，浪費(fèi)人力和時(shí)間的方案相比，其能夠提供一個(gè)可重用自動(dòng)檢測(cè)隨機(jī)驗(yàn)證平臺(tái)來(lái)對(duì)總線接口模塊進(jìn)行隨機(jī)驗(yàn)證，無(wú)需操作員手工進(jìn)行操作，提高了驗(yàn)證覆蓋率，并且該系統(tǒng)能夠?qū)δK進(jìn)行結(jié)果自動(dòng)檢測(cè)，提高驗(yàn)證全面性和效率，節(jié)省了驗(yàn)證時(shí)間。
[0096] 以上所述，僅為本發(fā)明的【具體實(shí)施方式】，但本發(fā)明的保護(hù)范圍并不局限于此，任何熟悉本【技術(shù)領(lǐng)域】的技術(shù)人員在本發(fā)明揭露的技術(shù)范圍內(nèi)，可輕易想到變化或替換，都應(yīng)涵蓋在本發(fā)明的保護(hù)范圍之內(nèi)。因此，本發(fā)明的保護(hù)范圍應(yīng)所述以權(quán)利要求的保護(hù)范圍為準(zhǔn)。
【權(quán)利要求】
1.一種可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，用于對(duì)測(cè)試中的設(shè)備皿I'進(jìn)行功能驗(yàn)證，其特征在于，包括:總線驗(yàn)證I？、參考模型模塊和比較器； 所述總線驗(yàn)證I？，用于配置所述皿!'的驗(yàn)證數(shù)據(jù)的源地址和目的地址、為所述皿I'提供所述驗(yàn)證數(shù)據(jù)以及對(duì)0口1總線接口邏輯進(jìn)行協(xié)議檢查，以便所述0口1根據(jù)配置的所述源地址從所述總線驗(yàn)證I？中提取所述驗(yàn)證數(shù)據(jù)，對(duì)所述驗(yàn)證數(shù)據(jù)進(jìn)行處理并將得到的硬件處理結(jié)果通過(guò)所述目的地址反饋給所述總線驗(yàn)證I？； 所述參考模型模塊，用于根據(jù)預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)所述驗(yàn)證數(shù)據(jù)進(jìn)行處理，得到軟件處理結(jié)果，所述預(yù)設(shè)標(biāo)準(zhǔn)算法與所述皿！'具有相同的功能； 所述比較器，用于獲取所述皿I的硬件處理結(jié)果和所述參考模型模塊的軟件處理結(jié)果，將所述硬件處理結(jié)果和所述軟件處理結(jié)果進(jìn)行對(duì)比，并將對(duì)比結(jié)果反饋給管理系統(tǒng)。
2.根據(jù)權(quán)利要求1所述的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，其特征在于，所述總線驗(yàn)證I？包括:主動(dòng)主機(jī)總線和主動(dòng)從機(jī)總線； 所述主動(dòng)主機(jī)總線，用于配置所述0爪的驗(yàn)證數(shù)據(jù)的源地址和目的地址； 所述主動(dòng)從機(jī)總線，用于為所述0爪提供驗(yàn)證數(shù)據(jù)。
3.根據(jù)權(quán)利要求2所述的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，其特征在于，所述總線驗(yàn)證I？還包括:被動(dòng)主機(jī)總線和被動(dòng)從機(jī)總線； 所述被動(dòng)主機(jī)總線和所述被動(dòng)從機(jī)總線均用于對(duì)所述0爪的總線接口邏輯進(jìn)行協(xié)議檢查，以便所述0爪的總線接口邏輯協(xié)議與標(biāo)準(zhǔn)協(xié)議保持一致。
4.根據(jù)權(quán)利要求1所述的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，其特征在于，還包括監(jiān)控器； 所述監(jiān)控器，用于在監(jiān)測(cè)到所述0爪從所述主動(dòng)從機(jī)總線中提取的驗(yàn)證數(shù)據(jù)時(shí)，獲取所述驗(yàn)證數(shù)據(jù)并對(duì)所述驗(yàn)證數(shù)據(jù)進(jìn)行打包封裝，并發(fā)送至所述參考模型模塊。
5.根據(jù)權(quán)利要求4所述的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，其特征在于， 所述參考模型模塊，在接收到所述監(jiān)控器發(fā)送的所述驗(yàn)證數(shù)據(jù)時(shí)，根據(jù)預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)所述驗(yàn)證數(shù)據(jù)進(jìn)行處理，并將得到的軟件處理結(jié)果發(fā)送至所述比較器，所述預(yù)設(shè)標(biāo)準(zhǔn)算法至少包括算法。
6.根據(jù)權(quán)利要求1所述的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，其特征在于， 所述監(jiān)控器，在監(jiān)測(cè)到所述0爪反饋給所述總線驗(yàn)證I？的所述硬件處理結(jié)果時(shí)，獲取所述硬件處理結(jié)果并將所述硬件處理結(jié)果發(fā)送至所述比較器。
7.根據(jù)權(quán)利要求3所述的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，其特征在于， 所述主動(dòng)主機(jī)總線與所述0爪的從機(jī)端口連接，所述主動(dòng)從機(jī)總線與所述0爪的主機(jī)端口連接； 所述被動(dòng)主機(jī)總線與所述0爪的從機(jī)端口連接，所述被動(dòng)從機(jī)總線與所述0爪的主機(jī)端口連接。
8.根據(jù)權(quán)利要求1-7任意一項(xiàng)所述的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證系統(tǒng)，其特征在于，所述監(jiān)控器為兩個(gè)。
9.一種可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證方法，所述方法用于對(duì)測(cè)試中的設(shè)備0爪進(jìn)行功能驗(yàn)證，其特征在于，包括: 配置0爪的驗(yàn)證數(shù)據(jù)的源地址和目的地址以及為所述0爪提供所述驗(yàn)證數(shù)據(jù)，以便所述皿I根據(jù)配置的所述源地址從所述總線驗(yàn)證I？中提取所述驗(yàn)證數(shù)據(jù)，對(duì)所述驗(yàn)證數(shù)據(jù)進(jìn)行處理并將得到的硬件處理結(jié)果通過(guò)所述目的地址反饋給所述總線驗(yàn)證I？； 獲取所述總線驗(yàn)證I？提供的所述驗(yàn)證數(shù)據(jù)，并根據(jù)預(yù)設(shè)標(biāo)準(zhǔn)算法對(duì)所述驗(yàn)證數(shù)據(jù)進(jìn)行處理，得到軟件處理結(jié)果，所述預(yù)設(shè)標(biāo)準(zhǔn)算法與所述0爪具有相同的功能； 獲取所述0爪的硬件處理結(jié)果和所述參考模型模塊的軟件處理結(jié)果，將所述硬件處理結(jié)果和所述軟件處理結(jié)果進(jìn)行對(duì)比，并將對(duì)比結(jié)果反饋給管理系統(tǒng)。
10.根據(jù)權(quán)利要求9所述的可重用自動(dòng)檢測(cè)及隨機(jī)驗(yàn)證方法，其特征在于，所述方法還包括: 對(duì)所述0爪的總線接口邏輯進(jìn)行協(xié)議檢查，以便所述0爪的總線接口邏輯協(xié)議與標(biāo)準(zhǔn)協(xié)議保持一致。
【文檔編號(hào)】H04L12/26GK104486169SQ201510007201
【公開(kāi)日】2015年4月1日 申請(qǐng)日期:2015年1月7日 優(yōu)先權(quán)日:2015年1月7日
【發(fā)明者】王鑫, 劉解華, 蔣科, 敬軍 申請(qǐng)人:北京華力創(chuàng)通科技股份有限公司