本文關(guān)鍵詞：SIM卡中7816接口的UVM驗證平臺設(shè)計與實現(xiàn)

  更多相關(guān)文章： sim卡 驗證平臺 覆蓋率 7816接口

【摘要】：隨著科技的日益發(fā)展,支付功能變得多樣化,帶有nfc功能的sim卡應(yīng)用越來越廣。雖然sim卡的市場大部分被國外公司所占領(lǐng),但是隨著國內(nèi)的芯片設(shè)計技術(shù)及安全算法的發(fā)展,我國自主研發(fā)的高端sim卡也受到越來越多的客戶的歡迎。在這種背景下,國內(nèi)已經(jīng)出現(xiàn)了大批的專注于智能卡業(yè)務(wù)的公司。本文主要內(nèi)容就是根據(jù)公司實習(xí)期間參與的sim卡驗證工作進行論述的。此產(chǎn)品是基于ARM架構(gòu),采用7816接口作為主通信接口的sim卡,內(nèi)部集成了大量的加密模塊及功能模塊。由于人們對功能及安全性的需求日益增加,芯片的規(guī)模越來越大,功能越來越復(fù)雜。所以一款能滿足市場需求的的芯片需要大量的驗證工作來確保其功能的正確性及可靠性,這種特征也推動著驗證方法學(xué)進一步的發(fā)展。本文就對這款芯片的7816接口驗證環(huán)境的搭建、使用及特點進行了論述。驗證環(huán)境采用目前業(yè)內(nèi)使用最為普遍的UVM驗證方法學(xué)進行搭建,較之前的基于Verilog架構(gòu)的驗證環(huán)境有很多的優(yōu)點及特點。例如,加入了register model方法,使得對DUT中寄存器的操作更加靈活和方便;將平臺內(nèi)各個功能單元進行分類,使得環(huán)境的架構(gòu)清晰且易于修改;同時由于UVM是基于面向?qū)ο缶帉懙姆椒▽W(xué),所以環(huán)境具有靈活性高、功能繼承與擴展方便等特點,易于驗證環(huán)境的移植與集成。工作內(nèi)容主要是驗證7816接口在chip-level的DUT(除CPU外)中是否實現(xiàn)其正常功能。驗證環(huán)境的DUT中并不包含CPU,主要原因是CPU要想對AHB及APB總線進行一個實際的控制要經(jīng)過取指、譯碼等階段,需要耗費大量的仿真時間,但是UVM平臺可以很快的產(chǎn)生激勵來模擬AMBA總線協(xié)議對AHB及APB總線進行控制。所以我們用UVM搭建一個模擬AHB及APB總線行為的環(huán)境來實現(xiàn)對DUT中AHB及APB總線的操作。所以該環(huán)境仿真速度相對基于CPU控制的仿真速度要快上很多,這大大減少了仿真所需的時間,加快項目進度。同時,由于UVM環(huán)境可以對事件的操作進行精確的時間控制及激勵產(chǎn)生,所以驗證場景的實現(xiàn)更加容易。該環(huán)境除了可以進行功能驗證外還可以進行覆蓋率的收集。環(huán)境中通過在sequence中使用covergroup方法進行功能覆蓋點的指定來進行功能覆蓋率收集。在覆蓋率收集過程中可以通過分析覆蓋點的收集情況來調(diào)整隨機參數(shù)的隨機權(quán)重,使得覆蓋率的收集速度大大提高,這對于項目后期的多次regression十分重要。基于此方法可以很好的完成功能覆蓋率的收集任務(wù)。由于本文主要針對芯片的7816接口進行chip-level的驗證且芯片基于AMBA總線架構(gòu)進行設(shè)計,所以寄存器讀寫、AMBA總線數(shù)據(jù)傳輸與信息收集是通過驗證平臺中ahb_if_uvc及apb_if_uvc(平臺中的一部分組件)進行控制的。7816接口的數(shù)據(jù)傳輸與信息收集是通過7816接口對應(yīng)的7816_if_uvc(平臺中的一部分組件)進行控制的。所以論文中平臺搭建的主要內(nèi)容就是描述AHB總線、APB總線及7816接口對應(yīng)驗證環(huán)境的搭建,然后對7816接口在整個系統(tǒng)中能否實現(xiàn)其正常功能進行驗證并完成覆蓋率的收集。
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TN406

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前9條

1 王英;王金城;;Clock Gating技術(shù)在超大規(guī)模集成電路設(shè)計時的應(yīng)用[J];數(shù)字技術(shù)與應(yīng)用;2015年09期

2 王鵬;劉萬和;劉銳;田毅;;基于SystemVerilog可重用測試平臺的實現(xiàn)[J];電子技術(shù)應(yīng)用;2015年02期

3 徐金甫;李森森;;采用UVM方法學(xué)實現(xiàn)驗證的可重用與自動化[J];微電子學(xué)與計算機;2014年11期

4 施燕;;智能卡通訊協(xié)議T=1的介紹和卡片軟件實現(xiàn)[J];中國集成電路;2013年11期

5 劉星江;王慧;;一種基于Verilog的驗證平臺搭建及應(yīng)用[J];信息安全與通信保密;2013年01期

6 張軍;常國鋒;;基于UVM的高效SOC驗證環(huán)境[J];科技通報;2012年12期

7 尹旭峰;苑士華;胡紀(jì)濱;;ARM微處理器中斷響應(yīng)時間的實驗研究[J];計算機工程;2011年04期

8 封君;蒲智星;王新安;;基于3G SIM卡SoC芯片設(shè)計的AMBA總線的精簡策略[J];微電子學(xué)與計算機;2008年03期

9 龔宗躍,孫東昱,張學(xué)志;接觸式CPU卡中T=0異步半雙工字符傳輸協(xié)議的硬件實現(xiàn)[J];電子設(shè)計應(yīng)用;2004年01期

，

本文編號：1236155