【摘 要】
：
随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺乏有效的工具手段.提出了一种多核处理器事
【机 构】
：
国防科学技术大学高性能计算国家重点实验室
论文部分内容阅读
随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺乏有效的工具手段.提出了一种多核处理器事务级模型的多视图协同验证方法,将模拟验证、形式验证、应用验证三种不同验证视图,采用统一平台集成为一体化验证环境.从而可在一体化验证环境中,充分发挥多种验证方法综合应用的优势,协同高效完成多核处理器事务级模型验证任务.基于SoCLib事务级建模仿真平台实现了一个具有良好可扩展性的多视图协同验证环境MVIE.初步应用实验结果表明,多视图协同验证和传
其他文献
交换超立方网是一种新提出来的互连网络。首先，利用图论的方法研究了交换超立方网的拓扑性质，引入了相似子网的概念，得出相似子网和超立方体同构的结论；然后，利用将物理通道分成两
多媒体教学给教师提供了一种非常先进的教学手段,成为优化课堂教学的利器,但部分初中英语教师对多媒体教学的运用存在认识上的误区。如何把它和传统的教学手段完美结合实现我
朗读是语文学习中最基本的一项训练,不仅可以锻炼学生的阅读能力,还能提高学生的理解能力,最重要的是能够让学生在自读中陶冶情操,锻炼语言的组织能力。通过朗读,可以把平面
虚拟网络映射问题是网络虚拟化要解决的重点问题,也是云计算环境下实现资源多租赁运营的技术基础。现有的映射算法在计算效率上有待提高,不能充分利用可重用技术以节省网络带
素质教育的推动,小学教育引来了众多关注,学者及社会人士也越来越重视教育对学生综合素质的发展。对于小学数学来讲,如何激发学生学习数学的乐趣,笔者认为可以从以下几个方面
“综合与实践”在小学数学义务教育数学课程中得到了进一步的重视。它为学生提供全面，实用和探索性的学习方式。“综合与实践”既是学习活动，也是数学课程的内容。
我国的古典诗歌具有鲜明的艺术特点,时而短小精悍,时而鸿篇巨制,是我国中国古代传统文化的精粹。因此,本文就基于笔者自身教学经验,以小学语文古诗的教学为载体,对小学高段古
阳新布贴的传承人——蔡月娥，在2017年被评为国家级非物质文化遗产传承人，使得阳新布贴这种手工艺术形式再一次进入世人的眼帘，被人们所重视。而图案作为这种艺术形式的表达方式
小学教育是学生接受教育的起始阶段,是学生认知世界的起点。而识字作为学生学习语文乃至其他学科的基础,学生迈向知识殿堂的根基,在小学语文教学中占据着重要的位置。以往的
结合自身的教学实践活动和对新课程理论的认识，从新教材的特点、教学方法和困惑三个方面阐述我对新课程改革下初中地理教学的一些看法和认识。