高可靠性微处理器验证技术的研究

来源 :哈尔滨工程大学 | 被引量 : 0次 | 上传用户:sheng198208
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
验证最终设计的正确性,对设计复杂芯片起到了关键性的保证作用。有资料显示,目前芯片一次投片成功率只有35%左右,造成重复投片的主要原因就是验证不够充分。随着设计规模不断增大,验证的工作量和复杂度以更高速度增加。根据有关研究数据,目前多数的IC设计项目中,验证工作占了整个设计流程约60%—80%左右的时间。设计正确性的验证引起了学术界和工业界的广泛关注,成为了研究热点。同时如何快速而有效地实现验证平台完成设计验证也成为当今IC设计验证领域的重要研究方向之一。论文针对高可靠性微处理器的特点,提出了多级验证体系对高可靠性微处理器进行多层次验证:并在测试过程中针对高可靠性要求,提出了进行基于故障注入的测试;针对高可靠性微处理器的软件模拟验证,设计了一种新的高可靠性微处理器软件验证平台,并具有较高的可重用性;设计了FPGA硬件验证平台,并在FPGA验证平台上进行了硬件仿真验证,最后还对FPGA的划分问题进行了研究,并针对多片FPGA互连问题提出了芯片引脚多功能复用。本文的研究对于实现微处理器芯片的全面和高效验证有着十分重要的参考价值和实用意义。
其他文献
稀疏规则库广泛的存在于模糊推理系统中。当出现稀疏模糊规则库时,采用传统的模糊推理方法是得不到任何结果的。由此,产生了模糊插值推理方法。目前,已经存有很多的插值推理
目前,Web服务已经成为一种十分流行的web应用技术。Web应用的一个重要基础就是根据请求者的提出的需求发现合适的Web服务。由于网络世界的复杂性,Web服务属性可以分为确定性属
随着网格应用的不断拓展,能否为用户提供可靠的、有保障的服务质量(QoS)将成为衡量一个网格应用是否成功的重要因素。服务水平协议(SLA)是为保证QoS,依据标准化规范在服务提
学位
分布式对象技术随着网络和面向对象技术的发展而不断完善,但客户对分布式对象系统的性能也提出了更高的要求。本文从软件设计入手,找到适合多层分布式对象系统优化性能的设计
三维建模是计算机视觉和计算机图形学领域中的一个基本问题,人脸借助其特有的普遍性和易用性成为众多先进三维建模算法的实验平台。但是由于人脸的复杂性、易变形,建立逼真的
随着网络技术的迅速发展,Internet上不断涌现出如IP电话、视频会议、远程教学等多媒体业务,网络环境呈现前所未有的多元化、复杂化。原有的尽力而为的服务已无法满足各种应用
Blog作为一种全新的网络信息发布模式,已经深入到每一个网络用户的生活中。它提供了一种个人信息的发布、交流和沟通的平台。Blog的迅速发展已经构成了一个巨大的网络资源,如
国际航空航天技术中逐步采用AOS数据标准,使得关于AOS体制标准的研究变得越来越重要,由于AOS数据传输系统的基础设备研究设计开发缓慢,极大地阻碍了对AOS系统进一步的研究。
远程医疗系统能充分利用国内、国际的医疗资源帮助我国偏远地区病人得到及时医治,能在紧急医疗救助时帮助患者得到最快的治疗,同时在某些特殊情况下(比如SARS)能帮助患者从医院