基于PowerPC架构的通用处理器系统虚拟验证

来源 :计算机技术与发展 | 被引量 : 0次 | 上传用户:fly8468
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于PowerPC架构通用处理器系统在全球军用/宇航微处理器等长寿命、高可靠领域应用非常广泛,与此同时其规模和复杂度之大给设计和验证带来了巨大挑战。文中基于一款PowerPC架构的通用处理器系统,构建软硬件协同工作的虚拟验证平台,开发验证模型和测试程序,并采用模块级到系统级的分层验证策略。验证结果表明,基于PowerPC架构通用处理器系统虚拟验证能够有效地进行系统的功能和性能验证,提高了验证效率,缩短了设计中的查错纠错时间,从而降低风险,加快设计、验证进度。
其他文献
基于移动台位置的服务已经广泛融入人们的生活。目前基站定位主要作为GPS定位的补充,然而在低信噪比环境下,基站定位方法受信道影响具有较大定位误差。为了充分利用LTE系统中
党中央密集布局新型基础设施建设是有效推进经济社会高质量发展的长远之计。“新基建”坚持以新发展理念为引领,是基于信息网络基础的技术创新应用,基本涵盖了第六次技术革命
高校是国家应急管理体系的重要支持力量。目前,我国高校在参与重大公共安全事件应急管理中仍然存在学科建设、科研准备、人才储备、信息传播、协同合作等多重困境,需要充分挖
目的 探究与分析谷氨酸脱羧酶抗体(GAD-Ab)、胰岛细胞抗体(ICA)、胰岛素自身抗体(IAA)在糖尿病(DM)中的表达水平及临床意义。方法 选取1型糖尿病患者42例作为观察组A, 2型糖尿病患者4
杨春贵在《正确处理新形势下的人民内部矛盾》(载于1997.5.6《人民日报》)一文中指出,人民内部的思想矛盾在任何时候都会存在,不过,在改革开放和社会主义现代化建设的新形势
科技实力逐步增强 1994年底国有企事业单位专业技术人员达1865.9万人,是1978年的4.3倍。平均每万名职工中拥有专业技术人员1258人,是1978年的2.1倍。研究与开发机构不断发展
十一届三中全会以来,党正确地分析国情,作出了我国还处于社会主义初级阶段的科学论断。这是邓小平建设有中国特色社会主义理论的重要基础,是我们制定路线、方针、政策的根本
李振福,1969年生,吉林省榆树市人,2003年博士毕业于吉林大学交通运输规划与管理专业;2005年从南开大学经济与社会发展研究院博士后流动站出站。现为大连海事大学专业学位教育
相对于静态锚节点定位算法而言,基于移动锚节点的定位机制能较好地提升定位的准确性。由于受到移动性的限制,某些静态锚节点定位时会出现误差过大的情况。为此,提出了基于蜂窝模
不管你对它持何种态度,"现代新儒家"(也称"现代新儒学")作为一种学术文化思潮,近几年来正迅速发展成为我国现代思想文化研究中的一个新领域、新热点,影响日渐