多核处理器事务级模型多视图协同验证环境-论文.pdf

《多核处理器事务级模型多视图协同验证环境-论文.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、CN43一l258．／TP计算机工程与科学第36卷第5期2014年5月ISSNl007—130XComputerEngineering&ScienceVo1．36，No．5，May．2014文章编号：1007一l30X(2O14)05—0821—07多核处理器事务级模型多视图协同验证环境王俊，刘磊，张龙，李思昆(国防科学技术大学高性能计算国家重点实验室，湖南长沙410073)摘要：随着集成电路工艺持续高速发展，片上处理器核数目呈现指数增长规律，设计复杂程度不断增长，对处理器验证提出了严峻的挑战，至今仍缺乏有效的工具手段。提出了

2、一种多核处理器事务级模型的多视图协同验证方法，将模拟验证、形式验证、应用验证三种不同验证视图，采用统一平台集成为一体化验证环境。从而可在一体化验证环境中，充分发挥多种验证方法综合应用的优势，协同高效完成多核处理器事务级模型验证任务。基于SoCLib事务级建模仿真平台实现了一个具有良好可扩展性的多视图协同验证环境MVIE。初步应用实验结果表明，多视图协同验证和传统单一视图验证方法相比，在模型验证的方便性、完备性、高效性以及模型数据一致性维护等方面，具有明显的优势。关键词：多核处理器；事务级模型；多视图；协同验证；SoCLib平台

3、中图分类号：TP311．52文献标志码：Adoi：10．3969／j．issn．1007—13OX．2O14．05．008Multi_。coretransactionlevelmodelingand_●●●一●●-multi—VieWC0一veriticationenvironmentWANGJun，LIULei，ZHANGLong，LISi—kun(StateKeyLaboratoryofHighPerformanceComputing，NationalUniversityofDefenseTechnology，Changs

4、ha410073。China)Abstract：Withthecontinuousrapiddevelopmentofintegratedcircuittechnology，theexponentialgrowingofthenumberofon—chipprocessorcores，thegrowingcomplexityofthedesign，theprocessorverificationfaceschallenges．However，SOfareffectivetoolsarestilllacked．Thepaperp

5、roposesamulti—viewCO—verificationmethodregardingtransaction—levelmodelingofmulti—coreprocessors．Usingaunifiedplatform，themulti—viewCO—verificationenvironmentcontainssimulationverification。forma1ver—ificationandapplicationverificationasthreedifferentviews．Hence，multi

6、—coreprocessorstransaction—levelmodelvalidationtaskcanbedoneinthisintegratedverificationenvironment，owningmultiplemethodsadvantagesofthreedifferentviews．Basedonatransaction—levelmodelingandsimulationDlat—form，namedSoCLib，weimplementagoodscalablemulti—viewCO—verifica

7、tionenvironmentcailedMVIE．Experimentalresultsshowthat，comparedwithtraditionalsingleviewverification，theproposedmulti—viewCO—verificationmethodhasobviousadvantagesintransactionverification，especiallyintermsofconvenience，completeness，efficiency，andmodeldataconsistency

8、maintenance，etc．Keywords：multi—coreprocessor；transactionlevelmodeling；multi—view；CO—verification；SoCLibplat—form收稿日期：2013-0810；修回日期：2O13一l