本發(fā)明屬于ic(集成電路)驗證技術，具體涉及一種基于生產(chǎn)驗證組件和消費驗證組件的驗證方法。
背景技術：
隨著fpga和數(shù)字ic技術的發(fā)展，驗證的復雜度已經(jīng)明顯地超過了設計。為了處理復雜度，面向?qū)ο?，設計模式，軟件架構等軟件設計的思想逐漸滲透到了硬件設計領域。vmm和uvm是這一領域的領導者。但是，由于vmm和uvm思想體系過于龐大，使得驗證人員難以運用其思想快速完成現(xiàn)實工程中的驗證任務。本發(fā)明借鑒web信息系統(tǒng)的架構理論，抽象出了一種驗證架構極其驗證方法，可以簡單快速地完成現(xiàn)實工程中的驗證任務?，F(xiàn)實中的fpga和數(shù)字ic器件，都是進行信息的傳輸或轉(zhuǎn)換，實現(xiàn)其功能的設計在驗證領域中叫dut(待測設計)?，F(xiàn)實中信息涉及的客體為信息生產(chǎn)者和信息消費者。信息生產(chǎn)者產(chǎn)生信息，通過媒介或通道傳遞給信息消費者。這樣驗證的任務就是演示生產(chǎn)者產(chǎn)生信息，通過dut(待測設計，這里可等價為通道)，正確地到達信息消費者?；?，我們構造一個生產(chǎn)驗證組件、一個消費驗證組件和相應的輸入輸出接口，采用systemverilog語言搭建驗證平臺,就可以快速簡單地實現(xiàn)dut(待測設計)驗證。
技術實現(xiàn)要素：
本發(fā)明要解決的技術問題在于，提出一種基于生產(chǎn)驗證組件和消費驗證組件的驗證方法，可以簡單快速地搭建驗證平臺，完成現(xiàn)實工程中的驗證任務。
為解決上述問題本發(fā)明技術方案提供一種基于生產(chǎn)驗證組件和消費驗證組件的驗證方法，包括生產(chǎn)驗證組件(1)，消費驗證組件(2)，待測設計(3)，測試平臺(4)，具體步驟包括：
步驟1，生產(chǎn)驗證組件(1)將信息通過輸入接口(5)輸入到待測設計(3)中；
步驟2，待測設計(3)將信息通過輸出接口(6)傳輸至消費驗證組件(2)；
步驟3，生產(chǎn)驗證組件(1)與消費驗證組件(2)均將信息發(fā)送至測試平臺(4)；
步驟4，所述測試平臺對生產(chǎn)驗證組件(1)和消費驗證組件(2)發(fā)送的信息進行比對驗證。
生產(chǎn)驗證組件(1)內(nèi)部包含事務信息產(chǎn)生對象(7)，驅(qū)動對象(8)，所述步驟1包括：事務信息產(chǎn)生對象(7)產(chǎn)生信息傳輸?shù)津?qū)動對象(8)，驅(qū)動對象(8)組裝信息，通過父成員變量方式將信息傳輸?shù)捷斎虢涌?5)；所述步驟3包括：驅(qū)動對象(7)構造一個期望信息，通過成回調(diào)方式將信息傳輸?shù)綔y試平臺(4)。
消費驗證組件(2)內(nèi)部包含信息監(jiān)視對象(9)，所述步驟2包括：信息監(jiān)視對象(9)通過父成員變量方式從輸出接口(6)接收信息；所述步驟3包括信息監(jiān)視對象(9)通過成回調(diào)方式將信息傳輸?shù)綔y試平臺(4)。
本發(fā)明具有的優(yōu)點和有益效果：本發(fā)明使得復雜的驗證過程變得簡單化，減少了驗證時間。
附圖說明
下面結(jié)合附圖對本發(fā)明的具體實施方式做進一步詳細的說明，其中：
圖1是基于生產(chǎn)驗證組件和消費驗證組件的驗證方法的架構示意圖。
具體實施方式
首先了解分析待測設計(dut)的輸入和輸出端口。
之后按本發(fā)明搭建的驗證系統(tǒng)具體操作步驟如下：
1)創(chuàng)建生產(chǎn)驗證組件(producervc)：
編寫一個生產(chǎn)驗證組件的對象類producer_vc，內(nèi)含一個事務信息產(chǎn)生對象gen和一個驅(qū)動對象drv。在producer_vc類中，定義一個輸入接口型的變量，編寫build()和run()函數(shù)，在build()函數(shù)中生成gen和drv對象實例。在run()函數(shù)中調(diào)用gen和drv的run()函數(shù)。
2)創(chuàng)建消費驗證組件(consumervc)：
編寫一個消費驗證組件的對象類consumer_vc，內(nèi)含一個信息監(jiān)視對象(mon)。在consumer_vc類中，定義一個輸出接口型的變量，編寫build()和run()函數(shù)，在build()函數(shù)中生mon對象實例。在run()函數(shù)中調(diào)用mon的run()函數(shù)。
3)創(chuàng)建輸入接口(in)
根據(jù)待測設計(dut)的輸入端口，編寫一個輸入接口代碼文件。
4)包含待測設計(dut)
把待測設計(dut)全部代碼存放于名為dut的文件目錄下。
5)創(chuàng)建輸出接口(out)
根據(jù)待測設計(dut)的輸出端口，編寫一個輸出接口代碼文件。
6)創(chuàng)建測試平臺(testbench)
編寫一個環(huán)境對象，并在其中創(chuàng)建一個信息比對的計分牌對象(scoreborad)，再在環(huán)境對象中嵌入生產(chǎn)驗證組件(producervc)，消費驗證組件(consumervc)，創(chuàng)建輸入接口(in)和輸出接口(out)。編寫build()，connect()和run()函數(shù)，在build()函數(shù)中生成嵌入的對象實例。connect()函數(shù)中，連接計分牌對象(scoreborad)的一頭到生產(chǎn)驗證組件(producervc)，另一頭到消費驗證組件(consumervc)。在run()函數(shù)中調(diào)用產(chǎn)驗證組件(producervc)的run()函數(shù)和消費驗證組件(consumervc)的run()函數(shù)。
7)嵌入仿真平臺
用項目建造工具make組裝測試用例和1)到6)的組件代碼，以及仿真引擎。
8)執(zhí)行測試驗證
運行make,查看驗證結(jié)果。