计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2012年
12期
1521-1532
,共12页
片上多核处理器%模拟验证%形式验证%片上网络%集成电路
片上多覈處理器%模擬驗證%形式驗證%片上網絡%集成電路
편상다핵처리기%모의험증%형식험증%편상망락%집성전로
随着集成电路工艺水平的不断提升以及应用对处理器性能要求的日益增长,验证已成为未来片上多核处理器发展的主要技术瓶颈.文中深入分析了片上多核处理器验证中状态空间大、完备性不足、存储结构与互连网络验证复杂、硅后验证困难等突出问题,系统地总结了片上多核处理器模拟验证、硬件仿真、形式验证、硅后验证等方面的研究进展,并对该领域未来的发展方向进行了分析与展望.
隨著集成電路工藝水平的不斷提升以及應用對處理器性能要求的日益增長,驗證已成為未來片上多覈處理器髮展的主要技術瓶頸.文中深入分析瞭片上多覈處理器驗證中狀態空間大、完備性不足、存儲結構與互連網絡驗證複雜、硅後驗證睏難等突齣問題,繫統地總結瞭片上多覈處理器模擬驗證、硬件倣真、形式驗證、硅後驗證等方麵的研究進展,併對該領域未來的髮展方嚮進行瞭分析與展望.
수착집성전로공예수평적불단제승이급응용대처리기성능요구적일익증장,험증이성위미래편상다핵처리기발전적주요기술병경.문중심입분석료편상다핵처리기험증중상태공간대、완비성불족、존저결구여호련망락험증복잡、규후험증곤난등돌출문제,계통지총결료편상다핵처리기모의험증、경건방진、형식험증、규후험증등방면적연구진전,병대해영역미래적발전방향진행료분석여전망.
