多核处理器事务级模型多视图协同验证方法研究与实现

《多核处理器事务级模型多视图协同验证方法研究与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、ResearchandImplementationofMulti-coreProcessorTransactionLevelModelingandMulti-ViewCo-verificationMethodologyCandidate：WangJunAdvisor：ProfessorLiSikunAdissertationSubmittedinpartialfulfillmentoftherequirementsforthedegreeofMasterofEngineeringinComputerScienceandTechnologyGra

2、duateSchoolofNationalUniversityofDefenseTechnologyChangsha，Hunan，P.R.China（November，2013）万方数据万方数据国防科学技术大学研究生院硕士学位论文目录摘要...............................................................................................................................iABSTRACT....................

3、................................................................................................iii第一章绪论..................................................................................................................11.1研究背景及意义..............................................

4、.................................................11.2相关研究现状...................................................................................................41.2.1面向多核处理器的模拟验证................................................................41.2.2面向多核处理器的形式验证.................

5、...............................................51.2.3面向多核处理器的应用验证................................................................61.2.4SoC高级验证方法学.............................................................................71.3论文主要研究工作及创新点.....................................

6、......................................91.4论文组织结构...................................................................................................91.5本章小结.........................................................................................................10第二章多核处理器事务级多视

7、图协同验证方法研究............................................112.1多核处理器功能验证方法介绍.....................................................................112.1.1模拟仿真验证方法..............................................................................112.1.2软硬件协同验证方法..........................

8、................................................132.1.3形式验证及半形式验证方法........