發(fā)布時間：2018-05-05 08:30

  本文選題：芯片驗證 + Cache一致性��； 參考：《計算機工程與科學》2017年08期

【摘要】：隨著集成電路設計復雜度指數(shù)級增長,功能驗證已經越來越成為大規(guī)模芯片設計的瓶頸,而在多核處理器中,Cache一致性協(xié)議十分復雜,驗證難度大。針對Cache一致性協(xié)議驗證提出基于模擬驗證的一種基于貝葉斯網絡的隨機測試生成方法,解決Cache一致性協(xié)議狀態(tài)空間爆炸的問題。首先分析了Cache一致性協(xié)議及基于貝葉斯網絡推理的CDG方法,并將CDG方法應用于Cache一致性的驗證。以FT處理器中的Cache一致性協(xié)議驗證為例,對比偽隨機測試,使用CDG方法將覆蓋率提高近30%。
[Abstract]:With the exponential growth of IC design complexity, functional verification has become the bottleneck of large-scale chip design. However, in multi-core processors, the cache consistency protocol is very complex and the verification is very difficult. A random test generation method based on Bayesian network is proposed for Cache conformance protocol verification, which solves the problem of state space explosion of Cache conformance protocol. Firstly, the Cache consistency protocol and the CDG method based on Bayesian network reasoning are analyzed, and the CDG method is applied to the verification of Cache consistency. Taking Cache conformance protocol verification in FT processor as an example, compared with pseudorandom test, CDG method is used to increase coverage by nearly 30%.
【作者單位】： 國防科技大學計算機學院;
【基金】：國家自然科學基金(61402497,61303069) 國家科技重大專項核高基課題(2015ZX01028001-002-001)
【分類號】：TP333

【相似文獻】

相關期刊論文 前10條

1 李妍 ,楊誠文;淺談高速緩存(Cache)的應用[J];電站系統(tǒng)工程;2002年01期

2 趙學梅,葉以正,李曉明,時銳;一種低功耗高性能的滑動Cache方案[J];計算機研究與發(fā)展;2004年11期

3 VioLin;高容量L2Cache=高性能嗎[J];電腦應用文萃;2004年10期

4 VioLin;電腦設備加速之Cache談[J];電腦應用文萃;2004年11期

5 杜紅燕,田興彥,田新華;一種新穎的軟件可控Cache優(yōu)化方法[J];計算機工程與應用;2005年21期

6 唐雙燕;楊云仙;劉偉;;IA-32CPU Cache的一種特殊應用[J];軟件導刊;2006年15期

7 楊君;李曦;仲力;周學海;;一種新型的嵌入式X路組相聯(lián)cache結構[J];中國科學技術大學學報;2007年02期

8 趙昊翔;;從程序員的角度看Cache[J];程序員;2008年09期

9 ;Dynamic cache resources allocation for energy efficiency[J];The Journal of China Universities of Posts and Telecommunications;2009年01期

10 黎玉琴;孫常慶;;多機系統(tǒng)中Cache一致性問題的研究與評價[J];計算機時代;2009年02期

相關會議論文 前10條

1 所光;楊學軍;;雙核處理器性能最優(yōu)的共享Cache劃分[A];2008年全國開放式分布與并行計算機學術會議論文集(上冊)[C];2008年

2 石文強;倪曉強;金作霖;張民選;;Cache動態(tài)插入策略模型研究[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（B輯）[C];2011年

3 汪騰;楊少軍;;一種高效的指令Cache的結構[A];中國聲學學會2001年青年學術會議[CYCA'01]論文集[C];2001年

4 張承義;郭維;周宏偉;;Cache漏流功耗的自適應優(yōu)化:動態(tài)容量調整[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（B輯）[C];2011年

5 尹飛;吳磊;;基于功能覆蓋率驗證多核處理器中的Cache一致性協(xié)議[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（A輯）[C];2011年

6 Zhang Xiang;Liu Yang;;A kind of Cache Engine Runing in Client[A];2012年計算機應用與系統(tǒng)建模國際會議論文集[C];2012年

7 雷廣玉;;使用超高速緩存cache提高并行速度[A];中國工程物理研究院科技年報（2000）[C];2000年

8 楊華;劉宏偉;崔剛;楊孝宗;;同時多線程D-cache的分配與安全[A];2006年全國開放式分布與并行計算學術會議論文集（一）[C];2006年

9 鄭啟龍;欒俊;房明;吳曉偉;;CCSim:基于Pin的CMP Cache訪問模擬器[A];2008年全國開放式分布與并行計算機學術會議論文集(下冊)[C];2008年

10 任靜;唐遇星;徐煒遐;;微處理器Cache體系結構級功耗模型研究[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（A輯）[C];2011年

相關重要報紙文章 前10條

1 上海 李超;什么是Cache[N];電腦報;2001年

2 劉昌勇;小緩存里的大學問[N];中國電腦教育報;2004年

3 超頻者;K7-650（0015）最新實超報告[N];大眾科技報;2000年

4 ;阿萌小辭典[N];電腦報;2004年

5 中國計算機報測試實驗室 王炳晨;Duron抵京，，Thunderbird爭宏[N];中國計算機報;2000年

6 陳自文;CPU如何影響IA服務器的性能？[N];網絡世界;2000年

7 王軍;電腦運行速度為何變慢？[N];中國電腦教育報;2003年

8 小漁;電腦變慢之謎[N];中國電腦教育報;2004年

9 龍哥;軟件應用問答！[N];中國計算機報;2004年

10 ;速度跨過2GHz的Opteron[N];中國計算機報;2003年

相關博士學位論文 前10條

1 黃安文;面向延遲優(yōu)化的多核處理器Cache數(shù)據(jù)管理機制研究[D];國防科學技術大學;2013年

2 鄭重;異構眾核體系結構Cache功耗和性能優(yōu)化關鍵技術研究[D];國防科學技術大學;2014年

3 周宏偉;微處理器中Cache漏流功耗的體系結構級優(yōu)化技術研究[D];國防科學技術大學;2007年

4 田新華;面向性能優(yōu)化的壓縮cache技術研究[D];國防科學技術大學;2007年

5 陳黎明;嵌入式微處理器中動態(tài)可配置Cache結構的研究[D];華中科技大學;2009年

6 付雄;利用程序分析和優(yōu)化提高Cache性能[D];中國科學技術大學;2007年

7 賈小敏;多核處理器片上Cache訪問行為分析與優(yōu)化機制研究[D];國防科學技術大學;2011年

8 唐軼軒;面向多線程應用的Cache優(yōu)化策略及并行模擬研究[D];中國科學技術大學;2012年

9 項曉燕;體系結構級Cache功耗優(yōu)化技術研究[D];浙江大學;2013年

10 所光;面向科學計算應用的多核處理器Cache劃分策略研究[D];國防科學技術大學;2009年

相關碩士學位論文 前10條

1 舒晰;支持多媒體計算的可重構Cache研究與設計[D];湖南大學;2008年

2 楊向峰;一種32位DSP cache的設計與驗證技術研究[D];江南大學;2008年

3 蘇小昆;基于Tournament Caching的低功耗動態(tài)可重構Cache研究[D];湖南大學;2009年

4 郝玉艷;嵌入式系統(tǒng)中低功耗Cache的研究與設計[D];湖南大學;2009年

5 劉彬;基于路暫停方法的高性能低功耗Cache研究[D];湖南大學;2007年

6 彭方;路預測與可重構Cache的自適應低能耗算法研究[D];湖南大學;2008年

7 胡濤;面向存儲器完整性驗證的Cache設計[D];華中科技大學;2011年

8 劉清;嵌入式系統(tǒng)中低功耗可重構Cache的研究與設計[D];湖南大學;2012年

9 李冬妮;嵌入式系統(tǒng)中低功耗Cache的重構技術研究[D];湖南大學;2012年

10 郭輝;Cache Copy-On-Write：TLS猜測數(shù)據(jù)管理機制的研究[D];國防科學技術大學;2013年

本文編號：1846972