计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2014年
5期
821-827
,共7页
王俊%刘磊%张龙%李思昆
王俊%劉磊%張龍%李思昆
왕준%류뢰%장룡%리사곤
多核处理器%事务级模型%多视图%协同验证%SoCLib平台
多覈處理器%事務級模型%多視圖%協同驗證%SoCLib平檯
다핵처리기%사무급모형%다시도%협동험증%SoCLib평태
Key words : multi-core processor%transaction level modeling%multi-view%co-verification%SoCLib platform
随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺乏有效的工具手段.提出了一种多核处理器事务级模型的多视图协同验证方法,将模拟验证、形式验证、应用验证三种不同验证视图,采用统一平台集成为一体化验证环境.从而可在一体化验证环境中,充分发挥多种验证方法综合应用的优势,协同高效完成多核处理器事务级模型验证任务.基于SoCLib事务级建模仿真平台实现了一个具有良好可扩展性的多视图协同验证环境MVIE.初步应用实验结果表明,多视图协同验证和传统单一视图验证方法相比,在模型验证的方便性、完备性、高效性以及模型数据一致性维护等方面,具有明显的优势.
隨著集成電路工藝持續高速髮展,片上處理器覈數目呈現指數增長規律,設計複雜程度不斷增長,對處理器驗證提齣瞭嚴峻的挑戰,至今仍缺乏有效的工具手段.提齣瞭一種多覈處理器事務級模型的多視圖協同驗證方法,將模擬驗證、形式驗證、應用驗證三種不同驗證視圖,採用統一平檯集成為一體化驗證環境.從而可在一體化驗證環境中,充分髮揮多種驗證方法綜閤應用的優勢,協同高效完成多覈處理器事務級模型驗證任務.基于SoCLib事務級建模倣真平檯實現瞭一箇具有良好可擴展性的多視圖協同驗證環境MVIE.初步應用實驗結果錶明,多視圖協同驗證和傳統單一視圖驗證方法相比,在模型驗證的方便性、完備性、高效性以及模型數據一緻性維護等方麵,具有明顯的優勢.
수착집성전로공예지속고속발전,편상처리기핵수목정현지수증장규률,설계복잡정도불단증장,대처리기험증제출료엄준적도전,지금잉결핍유효적공구수단.제출료일충다핵처리기사무급모형적다시도협동험증방법,장모의험증、형식험증、응용험증삼충불동험증시도,채용통일평태집성위일체화험증배경.종이가재일체화험증배경중,충분발휘다충험증방법종합응용적우세,협동고효완성다핵처리기사무급모형험증임무.기우SoCLib사무급건모방진평태실현료일개구유량호가확전성적다시도협동험증배경MVIE.초보응용실험결과표명,다시도협동험증화전통단일시도험증방법상비,재모형험증적방편성、완비성、고효성이급모형수거일치성유호등방면,구유명현적우세.
