【摘要】：隨著移動通信技術的不斷發(fā)展,使得移動通信設備的應用市場越來越廣泛,其中最重要的就是移動通信基帶SoC芯片,伴隨著集成電路芯片設計的復雜度的不斷加大,與之而來的芯片設計缺陷出現(xiàn)的可能性也越來越大,因此對于芯片驗證的要求也變得越來越高,特別是對于SoC系統(tǒng)級的驗證來說,對應的驗證工作量和難度越來越大。一個SoC系統(tǒng)的驗證工作分為功能驗證、性能驗證和效能(功耗)驗證,其中功能驗證是在硅前完成對,其花費的驗證周期最長;對于性能和效能驗證,很難在硅前對其進行充分的驗證,一般都是通過流片之后,通過芯片實物測得真實的性能和效能指標數(shù)據,并且目前三大EDA廠商還沒有提出相應的在硅前功能驗證的同時兼顧性能驗證和效能驗證的解決方案。本文基于移動基帶SoC芯片的開發(fā)項目,通過研究和分析SoC系統(tǒng)級功能驗證、性能驗證和效能驗證過程中所面臨的困難和挑戰(zhàn),提出了一種新的SoC系統(tǒng)驗證解決方案,并且設計了一個面向移動基帶SoC系統(tǒng)功能、性能和效能(功耗)驗證的監(jiān)測系統(tǒng)。最終通過實例驗證分析驗證了該監(jiān)測系統(tǒng)可以對SoC系統(tǒng)級硅前功能、性能和效能驗證工作起到加速作用,同時可以提高整個SoC系統(tǒng)級驗證效率和驗證質量。首先,通過仔細研究和分析了當前SoC系統(tǒng)級功能、性能以及效能驗證所面臨的困難和挑戰(zhàn),在此基礎上,針對當前業(yè)界主要采用的系統(tǒng)級硅前功能、性能以及效能驗證的方法做了分析和比較,明確了它們的優(yōu)缺點。通過深入研究SoC系統(tǒng)級驗證最新的方法和策略,結合當前主流的UVM驗證方法學,提出了一種SoC系統(tǒng)級硅前功能、性能和效能驗證的系統(tǒng)級驗證解決方案。然后,通過該系統(tǒng)級驗證解決方案,設計出了一個SoC系統(tǒng)級硅前驗證監(jiān)測系統(tǒng)(HKY,Hawkeye),其中該監(jiān)測系統(tǒng)HKY主要由功能驗證監(jiān)測子系統(tǒng)、性能驗證子系統(tǒng)以及效能驗證監(jiān)測子系統(tǒng)以及一些分布式的監(jiān)測應用組成。最后,通過對比不同的系統(tǒng)集成方法,通過插件式的集成方法將Hawkeye硅前驗證監(jiān)測系統(tǒng)集成到移動基帶SoC系統(tǒng)的仿真驗證平臺中,然后在通過選取一些SoC系統(tǒng)級功能、性能以及效能驗證的測試驗證點,通過實例仿真完成對Hawkeye硅前驗證監(jiān)測系統(tǒng)設計的功能進行充分驗證。通過分析最終的仿真結果,可以得出Hawkeye硅前驗證監(jiān)測系統(tǒng)實現(xiàn)了預期的設計目標。本論文的主要創(chuàng)新點包括一下幾個方面:1)通過直接編程接口DPI技術,實現(xiàn)了在C測試用例中動態(tài)定義創(chuàng)建功能覆蓋率模型,即在SoC系統(tǒng)級的C測試用例中實現(xiàn)了基于功能覆蓋率驅動的驗證方法。2)通過實現(xiàn)SoC系統(tǒng)級中心化的寄存器模型,對整個SoC系統(tǒng)中的寄存器進行統(tǒng)一管理,同時通過該寄存器模型,收集對應的寄存器讀寫覆蓋率數(shù)據,進一步提升功能驗證的質量和效率。3)實現(xiàn)對目標處理器進行實時在線動態(tài)行為監(jiān)測和解析報告,從而在系統(tǒng)級驗證過程中為處理器驗證提供了更好的調試方法。4)實現(xiàn)對目標接口進行實時在線的性能數(shù)據抓取和解析分析,給出目標接口的性能指標數(shù)據,從而在硅前驗證過程中,獲得更多的性能驗證方面的數(shù)據。使得性能驗證可以提前至硅前驗證階段進行。5)實現(xiàn)對目標時鐘信號時鐘周期和頻率信息進行實時在線的捕獲和比較分析,并且給出相應的比較分析結果。6)實現(xiàn)了效能驗證中測試場景所需的時間窗波形文件的自動化產生,不需要手工定位時間窗中對應的起始時間點和結束時間點,大大加速了效能驗證的工作,提高了硅前效能驗證的效率。7)實現(xiàn)了插件式的集成方法,使得該SoC系統(tǒng)級功能、性能以及效能驗證解決方案通過極少的插件配置文件可以快速集成到不同的仿真驗證平臺中,且對原有的仿真驗證平臺不會造成任何負面影響,即該SoC系統(tǒng)級驗證解決方案可以作為系統(tǒng)級驗證IP直接復用到不同的項目中。
【學位授予單位】：西安電子科技大學
【學位級別】：碩士
【學位授予年份】：2018
【分類號】：TN47
【圖文】：

103果如下圖 5.5~5.7 所示。圖5.5 單個覆蓋值(single)類型的覆蓋率仿真結果圖5.6 基于覆蓋值轉換(transition)類型的覆蓋率仿真結果圖5.7 交叉類型(corss)類型的覆蓋率仿真結果仿真完成之后，通過打開生成的覆蓋率數(shù)據庫文件，可以看到在之前 CPU 子系統(tǒng) C 測試用例中動態(tài)定義創(chuàng)建的單個信號覆蓋點(hky_cg_single_width1)的覆蓋率模型、基于信號值翻轉的事件類型(hky_cg_transition_width1)覆蓋率模型以及交叉覆蓋(hky_cg_cross_with1)的覆蓋率模型最終貢獻的覆蓋率數(shù)據均達到了 100%，也即在CPU 子系統(tǒng)中的 C 測試用例中定義的覆蓋率模型最終都被覆蓋到了。2）對目標處理器操作進行實時解析分析結果在上一節(jié)中，通過選取 SoC 系統(tǒng)中的CPU子系統(tǒng)作為目標處理器，通過明確 CPU核設計在整個 SoC 級的仿真驗證平臺中的層次路徑，然后通過在 HKY 硅前驗證監(jiān)測系統(tǒng)的頂層文件 hky_top 中，給其綁定一個類型為 hky_axi_master_bind 的模塊，同時為綁定文件指定例化名為 ap_bus0_bind

果如下圖 5.5~5.7 所示。圖5.5 單個覆蓋值(single)類型的覆蓋率仿真結果圖5.6 基于覆蓋值轉換(transition)類型的覆蓋率仿真結果圖5.7 交叉類型(corss)類型的覆蓋率仿真結果仿真完成之后，通過打開生成的覆蓋率數(shù)據庫文件，可以看到在之前 CPU 子系統(tǒng) C 測試用例中動態(tài)定義創(chuàng)建的單個信號覆蓋點(hky_cg_single_width1)的覆蓋率模型、基于信號值翻轉的事件類型(hky_cg_transition_width1)覆蓋率模型以及交叉覆蓋(hky_cg_cross_with1)的覆蓋率模型最終貢獻的覆蓋率數(shù)據均達到了 100%，也即在CPU 子系統(tǒng)中的 C 測試用例中定義的覆蓋率模型最終都被覆蓋到了。2）對目標處理器操作進行實時解析分析結果在上一節(jié)中，通過選取 SoC 系統(tǒng)中的CPU子系統(tǒng)作為目標處理器，通過明確 CPU核設計在整個 SoC 級的仿真驗證平臺中的層次路徑，然后通過在 HKY 硅前驗證監(jiān)測系統(tǒng)的頂層文件 hky_top 中，給其綁定一個類型為 hky_axi_master_bind 的模塊，同時為綁定文件指定例化名為 ap_bus0_bind

【參考文獻】

相關期刊論文 前10條

1 呂毓達;謝雪松;張小玲;;基于UVM的可重用SoC功能驗證環(huán)境[J];半導體技術;2015年03期

2 胡海生;;基于UVM的覆蓋率驅動自動驗證系統(tǒng)[J];電子世界;2014年16期

3 黃欣;;基于UVM的高效驗證平臺設計及運用[J];電子技術與軟件工程;2014年04期

4 李響;;使用先進技術來加速SoC驗證[J];電子產品世界;2013年12期

5 王紅衛(wèi);占楊林;梁利平;;以覆蓋率為導向的自動化驗證平臺[J];電子測試;2013年05期

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

7 吳軍;華更新;劉鴻瑾;;SoC驗證方法學研究與應用[J];空間控制技術與應用;2012年05期

8 閆瑾;;SOC技術與發(fā)展預測[J];信息技術;2011年09期

9 羅莉;何鴻君;徐煒遐;竇強;;面向SOC芯片的跨時鐘域設計和驗證[J];計算機科學;2011年09期

10 靖朋;高德遠;黃小平;;“龍騰R2”微處理器模塊級驗證[J];計算機測量與控制;2009年06期

相關碩士學位論文 前1條

1 馮宏偉;基于多性能指標評價的SoC軟硬件劃分方法研究[D];哈爾濱理工大學;2008年

本文編號：2734826