本文選題：System + Verilog�。� 參考：《西安電子科技大學(xué)》2015年碩士論文

【摘要】：隨著集成電路工藝與設(shè)計(jì)能力的不斷發(fā)展,SoC設(shè)計(jì)規(guī)模與復(fù)雜度持續(xù)增加。這使得SoC驗(yàn)證工作的難度也日益增長(zhǎng),SoC的驗(yàn)證工作已成為集成電路設(shè)計(jì)過程中的嚴(yán)峻挑戰(zhàn)。本論文針對(duì)驗(yàn)證開展研究,在研究分析System Verilog驗(yàn)證語(yǔ)言和通用驗(yàn)證方法學(xué)(UVM)的基礎(chǔ)上,對(duì)SoC/IP的驗(yàn)證特征與驗(yàn)證需求進(jìn)行分析,根據(jù)SoC中IP模塊的相關(guān)協(xié)議規(guī)格搭建了驗(yàn)證平臺(tái),編寫了通用驗(yàn)證組件。并根據(jù)驗(yàn)證方法、通用驗(yàn)證組件討論了如何將驗(yàn)證平臺(tái)重用于其他IP模塊和系統(tǒng)級(jí)模塊等核心問題。在設(shè)計(jì)驗(yàn)證階段,首先分析了SoC體系結(jié)構(gòu),提出驗(yàn)證需求。利用UVM搭建驗(yàn)證平臺(tái)。對(duì)于驗(yàn)證平臺(tái)的結(jié)構(gòu),采用總線接口模型與抽象層次化結(jié)構(gòu)相結(jié)合的形式,為下一步SoC/IP驗(yàn)證平臺(tái)的設(shè)計(jì)實(shí)現(xiàn)打下基礎(chǔ)。為保證驗(yàn)證平臺(tái)具有可重用性的驗(yàn)證需求,文中選取APB、UART總線接口模型作為通用組件,設(shè)計(jì)頂層控制模塊環(huán)境嵌套APB與UART通用組件子環(huán)境。在低層次組件中加入隨機(jī)約束、事務(wù)項(xiàng)、phase機(jī)制,實(shí)現(xiàn)驗(yàn)證的隨機(jī)性、可控性。在驗(yàn)證實(shí)施階段,根據(jù)UART設(shè)計(jì)模塊,分解覆蓋點(diǎn)采用隨機(jī)事務(wù)級(jí)激勵(lì)編寫測(cè)試項(xiàng),在僅通過一條測(cè)試項(xiàng)的情況下,代碼覆蓋率與功能覆蓋率分別達(dá)到99.60%與100%,以此說明該驗(yàn)證平臺(tái)有效提高了測(cè)試效率。仿真結(jié)束后自動(dòng)生成執(zhí)行報(bào)告,記錄驗(yàn)證環(huán)境運(yùn)行的驗(yàn)證組件、寄存器配置信息,并通過UVM_INFO標(biāo)示transaction傳輸時(shí)正確與錯(cuò)誤的信息。在探究驗(yàn)證平臺(tái)可重用性階段,選取SPI待測(cè)模塊,運(yùn)用相同的驗(yàn)證平臺(tái)。通過頂層控制模塊選取自定義的UART、APB驗(yàn)證通用組件,從而配置生成適用于SPI的驗(yàn)證環(huán)境,通過執(zhí)行測(cè)試項(xiàng)進(jìn)行仿真工作,收集代碼覆蓋率100%。以此說明對(duì)模塊級(jí)該驗(yàn)證平臺(tái)的可重用性。再次選取APB子系統(tǒng),通過結(jié)構(gòu)圖闡述該驗(yàn)證平臺(tái)進(jìn)行APB子系統(tǒng)級(jí)驗(yàn)證所需通用組件的結(jié)構(gòu)與環(huán)境劃分。以此證明基于UVM可重用驗(yàn)證平臺(tái),對(duì)傳統(tǒng)驗(yàn)證平臺(tái)在隨機(jī)性、可復(fù)用性、自動(dòng)化等方面進(jìn)行了優(yōu)化,對(duì)集成化SoC驗(yàn)證具有可行性。
[Abstract]:With the continuous development of IC technology and design capability, SoC design scale and complexity continue to increase. This makes the verification of SoC more and more difficult. The verification of SoC has become a severe challenge in the process of IC design. Based on the analysis of system Verilog verification language and universal verification methodology (UVM), the verification features and verification requirements of SoC / IP are analyzed, and the verification platform is built according to the protocol specifications of IP modules in SoC. A general verification component is written. According to the verification method, the common verification component discusses how to reapply the verification platform to other IP modules and system-level modules. In the phase of design and verification, the SoC architecture is analyzed and the verification requirements are put forward. UVM is used to build the verification platform. For the structure of the verification platform, the bus interface model and the abstract hierarchical structure are adopted to lay the foundation for the design and implementation of the next SoC / IP verification platform. In order to ensure the reusability of the verification platform, the API UART bus interface model is selected as the universal component, and the top-level control module environment is designed to nest APB and UART general component subenvironment. The randomness and controllability of verification are realized by adding random constraints and transaction item phase mechanism to the low level components. In the verification implementation phase, according to the UART design module, the decomposition coverage point uses random transaction-level incentives to write test items, and when only one test item is passed, The code coverage and function coverage are 99.60% and 100% respectively. At the end of the simulation, the execution report is generated automatically, the verification components running in the verification environment are recorded, the information of register configuration is recorded, and the correct and wrong information of transaction transmission is indicated by the transaction stack info. In the stage of exploring the reusability of verification platform, the SPI module is selected and the same verification platform is used. The self-defined UART APB is selected by the top-level control module to verify the universal components, so that the verification environment suitable for SPI is configured, the test items are executed to simulate, and the code coverage is 100%. This illustrates the reusability of the verification platform at the module level. The structure and environment partition of the general components needed for APB subsystem verification are illustrated by the structure diagram of APB subsystem. It is proved that based on UVM reusable verification platform, the traditional verification platform is optimized in randomness, reusability, automation and so on, which is feasible for integrated SoC verification.
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TN402

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 李洋洋;吳武臣;王龍偉;王寧;侯立剛;;基于斷言的驗(yàn)證方法在UART模塊中的應(yīng)用研究[J];微電子學(xué)與計(jì)算機(jī);2010年01期

2 鐘文楓;;下一代芯片設(shè)計(jì)與驗(yàn)證語(yǔ)言：SystemVerilog(驗(yàn)證篇)[J];電子設(shè)計(jì)應(yīng)用;2008年12期

，

本文編號(hào)：2028644