在集成電路日益發(fā)展的今天,芯片的驗(yàn)證工作已成為芯片整體流程中的一項(xiàng)重要組成部分。所以運(yùn)用高效先進(jìn)的驗(yàn)證方法學(xué)來搭建驗(yàn)證平臺(tái),即保證了設(shè)計(jì)功能的正確性,又提高了前端的生產(chǎn)效率,同時(shí)這種驗(yàn)證平臺(tái)的可重用性極大的減少了驗(yàn)證的時(shí)間。隨著而物聯(lián)網(wǎng)的逐漸發(fā)展,物聯(lián)網(wǎng)芯片的功能的復(fù)雜性也逐漸增長。而物聯(lián)網(wǎng)的節(jié)點(diǎn)平臺(tái)是物聯(lián)網(wǎng)運(yùn)用的基礎(chǔ),所以對(duì)物聯(lián)網(wǎng)節(jié)點(diǎn)芯片的功能驗(yàn)證很重要。本文分析了一種物聯(lián)網(wǎng)智能節(jié)點(diǎn)芯片的傳輸協(xié)議,為節(jié)點(diǎn)芯片的功能驗(yàn)證打下基礎(chǔ)。本文針對(duì)節(jié)點(diǎn)芯片的功能是否達(dá)到規(guī)格說明書要求的問題,提出了一種基于物聯(lián)網(wǎng)智能節(jié)點(diǎn)芯片的仿真驗(yàn)證方法,即搭建基于UVM的驗(yàn)證平臺(tái)以及后仿真環(huán)境對(duì)物聯(lián)網(wǎng)節(jié)點(diǎn)芯片的相關(guān)功能進(jìn)行仿真驗(yàn)證。首先,本文完成了對(duì)驗(yàn)證方法學(xué)的解析。其中包括對(duì)UVM中的樹形結(jié),phase機(jī)制,config機(jī)制,factory機(jī)制,TLM機(jī)制,sequence機(jī)制作了詳細(xì)的闡述,并以具體例子解析了這些機(jī)制在驗(yàn)證平臺(tái)中的具體應(yīng)用方式。其次,本文完成了對(duì)節(jié)點(diǎn)芯片的UVM驗(yàn)證方案的設(shè)計(jì)與實(shí)現(xiàn)。其中包括對(duì)節(jié)點(diǎn)芯片的協(xié)議的深入分析,提取功能測試點(diǎn),完成驗(yàn)證計(jì)劃,搭建可重用的驗(yàn)證平臺(tái)。通過采用定向測試與隨機(jī)... 

【文章來源】：北京工業(yè)大學(xué)北京市 211工程院校

【文章頁數(shù)】：69 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

全球物聯(lián)網(wǎng)芯片規(guī)模Figure1-1GlobalInternetofThingschipscale

第 2 章 UVM 驗(yàn)證方法學(xué)解析第 2 章 UVM 驗(yàn)證方法學(xué)解析的基本概念電路前端設(shè)計(jì)的具體開發(fā)流程來說，首先需要設(shè)計(jì)的需求說明說明書提取出特性列表，硬件設(shè)計(jì)人員會(huì)根據(jù)芯片模塊功能詳?shù)墓δ苄〗M，按照功能劃分模塊，完成 RTL 的設(shè)計(jì)編寫[12]。按照特性列表寫出驗(yàn)證計(jì)劃，再選擇一種驗(yàn)證方法學(xué)來搭建驗(yàn)行驗(yàn)證，比如首先何搭建驗(yàn)證平臺(tái)，然后在其功能測試上充分要求，所有的命令和響應(yīng)，驅(qū)動(dòng)的接口與寄存器，相關(guān)的協(xié)場景與應(yīng)用層次等[13]。下圖 2-1，描述了設(shè)計(jì)與驗(yàn)證的關(guān)系以程中的地位。

傳模式下的連接關(guān)系：ESP 模塊上電產(chǎn)生 wifi,由此與 PC 端建立連接關(guān)制模塊通過 UART 發(fā)送端對(duì) ESP 模塊發(fā)送數(shù)據(jù)指令，將 ESP 模塊與手連接，由此將 PC 與 ESP 模塊建立透傳連接，這兩個(gè)模塊之間可相。其次 PC 端發(fā)送程序包頭為十六進(jìn)制的 A3A3A3 給 ESP 模塊，ESP 收的包頭進(jìn)行解析，若解析的結(jié)果同為 A3A3A3，則說明所傳輸?shù)陌?ESP 模塊收到十六進(jìn)制 A3A3A3 時(shí)，認(rèn)為要發(fā)送的數(shù)據(jù)有效，則下塊開始接收 PC 端發(fā)送給 ESP 模塊的所需的程序數(shù)據(jù)。當(dāng) PC 端發(fā)送的有效程序之后，PC 端再發(fā)送十六進(jìn)制的包圍 A5A5A5,當(dāng) ESP 模塊的時(shí)候，ESP 模塊對(duì)所接收的包尾進(jìn)行解析，若解析結(jié)果同為 A5A5傳輸?shù)挠行?shù)據(jù)結(jié)束。當(dāng) ESP 模塊接受到包尾后，此時(shí) PC 端與 ES連，并退出透傳模式。透傳模式的交換過程流程圖如圖 3-3 所示。服務(wù)器 ESP模塊 可重構(gòu)及其控制模塊WIFI透傳Uart程序圖 3-2 透明傳輸示意圖Figure 3-2 Transparent transmission

【參考文獻(xiàn)】：
期刊論文
[1]基于UVM的I2S驗(yàn)證IP設(shè)計(jì)[J]. 倪偉,袁琳,王笑天.  合肥工業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版). 2018(01)
[2]C8051F系列微控制器UART電路設(shè)計(jì)[J]. 孫靜.  微處理機(jī). 2017(04)
[3]基于UVM驗(yàn)證方法學(xué)的縱向可重用研究[J]. 熊濤,蔣見花.  微電子學(xué)與計(jì)算機(jī). 2016(04)
[4]集成電路功能驗(yàn)證方法[J]. 席筱穎.  科技傳播. 2010(23)
[5]感知中國——我國物聯(lián)網(wǎng)發(fā)展路徑研究[J]. 邵威,李莉.  中國科技信息. 2009(24)
[6]Verilog網(wǎng)表轉(zhuǎn)化為Hspice網(wǎng)表的程序設(shè)計(jì)[J]. 楊大宇,林爭輝.  計(jì)算機(jī)工程. 2002(05)

碩士論文
[1]基于UVM的SPI接口IP核的驗(yàn)證平臺(tái)設(shè)計(jì)[D]. 吳星星.安徽大學(xué) 2016
[2]基于UVM的接口模塊驗(yàn)證IP的研究[D]. 張吉純.合肥工業(yè)大學(xué) 2016
[3]UVM驗(yàn)證方法學(xué)在SSD主控SoC芯片驗(yàn)證中的應(yīng)用[D]. 桂瑋楠.東南大學(xué) 2015
[4]基于UVM的SPI設(shè)計(jì)與驗(yàn)證[D]. 曹亞晨.西安電子科技大學(xué) 2015
[5]基于UVM可重用驗(yàn)證平臺(tái)的研究[D]. 張怡琳.西安電子科技大學(xué) 2015
[6]基于FPGA的UART接口協(xié)議轉(zhuǎn)換模塊設(shè)計(jì)[D]. 楊晶.哈爾濱工業(yè)大學(xué) 2014
[7]基于UVM的高效驗(yàn)證平臺(tái)設(shè)計(jì)及可重用性研究[D]. 黃欣.上海交通大學(xué) 2014
[8]基于OVM架構(gòu)的EPA芯片驗(yàn)證的研究[D]. 仇荔.浙江大學(xué) 2012
[9]通用SOC虛擬原型驗(yàn)證平臺(tái)研究與設(shè)計(jì)[D]. 劉松.山東大學(xué) 2011
[10]基于驗(yàn)證方法學(xué)的IC驗(yàn)證平臺(tái)研究[D]. 鄧愛東.武漢郵電科學(xué)研究院 2009



本文編號(hào)：3022253