基于uvm的片段處理單元驗(yàn)證平臺與隨機(jī)化驗(yàn)證方法

《基于uvm的片段處理單元驗(yàn)證平臺與隨機(jī)化驗(yàn)證方法》由會員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。

1、Ｉ巧聲《謂藏峽專國碩±學(xué)位論文胃圓磯基于ＵＶＭ的片段處理單元驗(yàn)證平臺與隨機(jī)＾１化驗(yàn)證方法ＢＩ作者姓名李卷Ｈ學(xué)校導(dǎo)師姓名、職敵包軍林副教榜Ｐ＾論化導(dǎo)師姓名、職賴張繫贏工串請學(xué)位類工涯碩±４－Ｉ．－４７？＾Ｓｉ進(jìn)．心巧西安電子科技大學(xué)學(xué)位論文獨(dú)創(chuàng)性（或創(chuàng)新栓）聲明秉承學(xué)校嚴(yán)謹(jǐn)?shù)膶W(xué)風(fēng)和優(yōu)良的科學(xué)道德，本人聲明所呈交的論文是我個(gè)人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研巧成果。盡我所知，除了文中特別加站標(biāo)注和致謝中所羅列的內(nèi)容抖外，論文中不包含其他人己經(jīng)發(fā)表或撰寫過的研巧成

2、果；也不包含為獲得西安電子科技大學(xué)或其它教育機(jī)構(gòu)的學(xué)位或證書而使用過的材料一。與我同工作的同事對本研巧所做的任何貢獻(xiàn)均已在論義中作了明確的說明并表示了謝意。學(xué)位論文若有不實(shí)么處一，本人承擔(dān)切法律責(zé)任。化？Ｓ■三本人簽名：＇日期：抑Ｉ為西安電子＃學(xué)關(guān)于論文使用授權(quán)的說明本人完全了解西安電子科技大學(xué)有關(guān)保留和使用學(xué)位論文的規(guī)定，目Ｐ；研究生在校攻讀學(xué)位期間論義工作的知識產(chǎn)權(quán)屬于西安電子科技大學(xué)。學(xué)校有權(quán)保留送交論文、的復(fù)印件，允許查閱借閱論文；學(xué)?？膳P公布論文的全部或部分內(nèi)容，允許采用影印、縮印或其它

3、復(fù)制手段保存論文。同時(shí)本人保證，結(jié)合學(xué)位論文研究成果完成的論文、發(fā)明專利等成果，署名單位為西安電子科技大學(xué)。保密的學(xué)位論文在＿年解密后適用本授權(quán)書。￣本人簽名：導(dǎo)師簽名：導(dǎo)為日期：王口２．立Ｉ日期：學(xué)校代碼10701學(xué)號1311122853分類號TN4密級公開西安電子科技大學(xué)碩士學(xué)位論文基于UVM的片段處理單元驗(yàn)證平臺與隨機(jī)化驗(yàn)證方法作者姓名：李鑫領(lǐng)域：軟件工程學(xué)位類別：工程碩士學(xué)校導(dǎo)師姓名、職稱：包軍林副教授企業(yè)導(dǎo)師姓名、職稱：張駿高工學(xué)院：微電子學(xué)院提交日期：2016年1月TheUVM-basedPlatfo

4、rmandRandomizedVerificationofFragmentProcessingUnitAthesissubmittedtoXIDIANUNIVERSITYinpartialfulfillmentoftherequirementsforthedegreeofMasterinSoftwareEngineeringByLiXinSupervisor:BaoJunlinAssociateProfessorZhangJunSeniorEngineerJanuary2016摘要摘要在集成電路技術(shù)高度發(fā)展的今天，芯片設(shè)計(jì)的規(guī)模和復(fù)雜度都在不斷增

5、加，所以全面驗(yàn)證的難度也比以往有了較大的提高。隨著近年SystemVerilog語言逐漸成為數(shù)字芯片驗(yàn)證的主流語言，基于SystemVerilog語言的通用驗(yàn)證方法學(xué)由于其具有優(yōu)秀的可移植性以及橫向的可重用性，較以往傳統(tǒng)的驗(yàn)證方法能夠大幅提高驗(yàn)證工作的效率和質(zhì)量。隨著對計(jì)算機(jī)圖形學(xué)的研究和芯片技術(shù)的發(fā)展，圖形處理器（GPU）的相關(guān)技術(shù)在近三十年中取得了長足的進(jìn)展。由最初的圖形工作站形式，經(jīng)過單芯片的圖形處理芯片的階段，到目前已經(jīng)發(fā)展成為了可編程的大規(guī)模并行處理器。片段處理單元是GPU中3D功能流水線上的最后一個(gè)模塊，主要完成了幀緩沖區(qū)清除、顏色緩

6、沖區(qū)累積操作、片段測試、混合操作和邏輯操作等功能。在以往傳統(tǒng)的驗(yàn)證平臺中，只是簡單的針對片段處理單元進(jìn)行直接測試，這種傳統(tǒng)的驗(yàn)證方法不僅難以模擬出片段處理真實(shí)的工作狀況，而且在對于后期仿真平臺的維護(hù)和功能的添加上都有很大的難度。因此，采用一種先進(jìn)的驗(yàn)證方法對于保證驗(yàn)證工作的完善性和可靠性都是十分必要的。圍繞上述問題，本論文在研究當(dāng)前主要驗(yàn)證方法學(xué)和工作經(jīng)驗(yàn)的基礎(chǔ)上，基于實(shí)習(xí)單位研發(fā)項(xiàng)目，完成了一種以通用驗(yàn)證方法學(xué)為基礎(chǔ)的驗(yàn)證平臺的構(gòu)建，該平臺不僅能夠滿足片段處理單元在功能流水線上的特定數(shù)據(jù)格式要求，并且加入了大量的隨機(jī)化組件，令仿真盡可能地接近片

7、段處理單元的真實(shí)工作狀況，與此同時(shí)由于使用了通用驗(yàn)證方法學(xué)的架構(gòu)和方法，該平臺在可移植性和后期的維護(hù)便利性上與傳統(tǒng)的平臺相比都有了較大的提高。首先，基于片段處理單元功能需求列表，編寫了完整的功能測試點(diǎn)。其次，設(shè)計(jì)制定了18個(gè)驗(yàn)證項(xiàng)共235個(gè)功能點(diǎn)完成了片段處理單元的仿真驗(yàn)證，實(shí)現(xiàn)了功能點(diǎn)全覆蓋，保證了片段處理單元功能驗(yàn)證的完整性。最后，仿真結(jié)果表明，論文完成驗(yàn)證平臺的代碼覆蓋率92.72%，符合設(shè)計(jì)要求。該驗(yàn)證環(huán)境經(jīng)過較小的改動便可以應(yīng)用于3D引擎中其它模塊的驗(yàn)證，這為后期驗(yàn)證人員的維護(hù)提供了便利，同時(shí)也提高了整個(gè)項(xiàng)目的工作效率。關(guān)鍵詞：GPU，

8、片段處理單元，通用驗(yàn)證方法學(xué)，SystemVerilogIABSTRACTABSTRACTIntoday'shighlydevelope