论文部分内容阅读
设计错误注入在数字集成电路验证中广泛应用,可用于评估验证质量和指导激励生成.首先介绍设计错误注入验证方法的基本原理,然后介绍设计错误注入验证领域的主要研究方向,以及这些研究工作针对设计错误注入验证方法的3个最基本问题:设计错误模型选择、设计错误注入和针对设计错误的激励生成所提出的解决方法.
设计错误注入验证方法综述
【摘 要】
：
设计错误注入在数字集成电路验证中广泛应用,可用于评估验证质量和指导激励生成.首先介绍设计错误注入验证方法的基本原理,然后介绍设计错误注入验证领域的主要研究方向,以及
【机 构】
：
中国科学院计算技术研究所计算机体系结构国家重点实验室北京100090;中国科学院大学北京100049中国科学院计算技术研究所计算机体系结构国家重点实验室北京100090
【出 处】
：
第十五届全国容错计算学术会议(CFTC'13)
【发表日期】
：
2013年7期
其他文献
电力系统频率是电力系统的重要状态反馈量,为保障电力系统安全稳定运行,需加以动态控制。随着科学技术的不断发展,频率的测量的精度和技术速度在不断的提高,但由于电力系统负
软件定义网络通过分离网络控制平面与数据转发平面,利用对底层网络硬件的抽象和虚拟化,逻辑上实现对网络的集中式可编程控制,从而提高网络的开放性、灵活性、可扩展性和可管
命名数据网络是为改善当前互联网在拥塞控制、移动性、安全性等方面的不适应性而提出的一种新型网络.网络关注的核心是消息的内容,消息在网络中基于名字路由,不携带消息的源
网络地址转换(Network Address Translation,NAT)和虚拟专用网(Virtual Private Network,VPN)分别用以缓解IP地址耗尽和建立安全通信,但NAT协议和支撑VPN的IPSec协议协同使用
当前Hadoop的实现主要针对同构集群,假设任务处理的数据基本是本地的。然而,实际应用中硬件配置的差异、资源虚拟化等都将导致节点的异构。这就暴露出现有的数据分配策略对数
在半导体工业中使用过硅通孔的3D集成电路是一项新型的技术.过硅通孔是克服规模限制的一种有效的技术,可靠性低以及成品率低是这项新兴技术主要的挑战.过硅通孔在制作过程中
基于MATLAB平台的半物理仿真技术的研究在工程领域应用越来越广泛,成为世界各国研究的热点,在搭建半物理仿真系统形成闭环测试时,目标机与主机之间的信号交互对于整个仿真系
随着FPGA集成度和微电子工艺的提升,其系统的复杂性必然导致电路中存在各种故障的隐患,因此,为了保证整个芯片的可靠性和安全性,对FPGA的测试尤为重要.目前,测试成为影响FPGA
随着工艺特征尺寸逐渐趋近于纳米级,SRAM型FPGA越来越容易受到软错误的影响而引发系统故障.检查点是进行故障恢复的有效技术,可以将故障系统恢复至之前的正常状态.由于检查点
虚拟化技术经历了50多年的研究和发展.随着云计算的快速发展和推广,虚拟化技术的研究取得了重要进展.虚拟化技术是云计算的支撑技术,目前仍然有很多问题急需解决.频繁爆出的