【摘 要】
：
随着集成电路工艺进入纳米级，片上网络将会遭受日益严重串扰效应和单事件干扰错误．因此，在开销可接受的情况下设计一种可以同时容忍串扰效应和单事件干扰的可靠片上网络是一件有意义的工作．本文提出了一种采用基于码字选择的串扰容忍编码SCAC和双内锁单元DICE的可靠片上网络设计方案，它将数据影射成基于码字选择的串扰避免编码用于信息传输，然后采用双内锁单元保护路由器内部的状态和控制寄存器．因为SCAC在通道上
【机 构】
：
中国科学院计算技术研究所,北京 100190,中国 中国科学院研究生院,北京 100190,中国
论文部分内容阅读
随着集成电路工艺进入纳米级，片上网络将会遭受日益严重串扰效应和单事件干扰错误．因此，在开销可接受的情况下设计一种可以同时容忍串扰效应和单事件干扰的可靠片上网络是一件有意义的工作．本文提出了一种采用基于码字选择的串扰容忍编码SCAC和双内锁单元DICE的可靠片上网络设计方案，它将数据影射成基于码字选择的串扰避免编码用于信息传输，然后采用双内锁单元保护路由器内部的状态和控制寄存器．因为SCAC在通道上禁止了导致较大串扰时延的信号跳变，这种方法非常适用于高速电路．同时，由于应用双内锁单元，容错路由器的面积和功耗开销显著减少．实验结果表明SCAC-DICE方案仅需在普通路由器上增加74％的面积开销和28％的功耗开销，就可以同时避免串扰导致较大时延和容忍单事件干扰．与其它容错方法相比，它显著地减少了容错路由器的面积和功耗开销．
其他文献
@@我们经过实验研究提出：一种利用铁矿煤球团作为直接还原铁竖炉颗粒床除尘器的除尘颗粒，在对高温粗煤气除尘的过程中，生产直接还原铁，同时降低粗煤气温度，煤气净化后用于生产化工产品的原料气，可以有效地提高煤炭能源综合利用效率约7.8％，降低炼铁能耗约30%-70%。
为了满足系统对通信带宽的要求，片上网络逐渐取代总线成为当前多核及众核系统的主流互连方案．然而，由于芯片特征尺寸的不断减小，芯片内发生故障的概率显著增加．为了提供可靠的片上通信，本文提出了一种低成本的可重构路由算法．通过时路由器状态的更新，本文提出的片上网络系统可以容忍任意数目，任意分布的路由器以及链路故障．与目前存在的容错设计方案不同之处在于，本文提出的可重构路由器不需要增加虚拟通道来保证网络的无
基于形式化方法PAR，提出了一种高可靠算法程序设计技术，并采用范畴论形式化了相关的概念和定义．该技术通过重用一类问题的算法规约，算法程序的形式化推导和正确性证明来快速设计出正确的问题求解算法程序，使得算法程序的设计效率和可靠性得到提高．通过实例说明了使用这一技术进行算法程序设计的过程。
本文通过对云计算环境的服务质量评价出发，分析当前服务质量评价体系的存在的不足，现有大多数评价采用运行期的集中、单一的测试方法，通过测试结果来评价服务质量．本文从云计算环境的特征进行分析，认为云环境中面向服务的质量评价不应采用现有评价方式，也不适合开发过程后模拟真实环境所进行的度量评价方法，而是应该采用多种方法从不同角度来综合地获得评价数据，再进行相关的度量评价．本文提出基于测试集成的服务质量的在线
针对无线传感器网络，采用基于身份的理念，提出一种新的分布式基于身份的密钥管理方案；不需要在线认证中心，通过网络中的节点自发共举产生通信组密钥，引入ZSS签名方案，实现通信各个节点间的双向认证，结合门限密码机制提高系统的健壮性，在保证系统安全性的同时，改进系统效率，达到轻量级应用．对于所提出的基于身份的密钥管理方案，阐述了它在随机预言模型下的可证安全性，并探讨了它在无线传感器网络中的可行性与适用性．
缓冲区溢出已经成为一种常见的安全漏洞．本文介绍了一种基于代码静态分析的缓冲区溢出检测算法，该算法对源代码进行建模，构造其抽象语法树．符号表、控制流图、函数调用图，在此基础上对所有变量进行区间运算，并采用函数摘要的方式记录函数的前置约束条件．该方法具有良好的扩展性，用户可以通过配置文件增加需要检测的函数，最后使用该方法对开源项目进行检测，检测结果表明该方法能够有效地、精确地检测缓冲区溢出．
在晶圆芯片测试时，提高单位时间内的效率能够实现低投入、高产出的效果．在采用Multi-site方式的并行测试中，需要先解决选择何种产品进行并行测试，如何确定并行site数等问题，然后再用最高效率的方法设计确定Multi-site并行测试方案．本文从软件和硬件方面对当前流行的Multi-site并行测试进行了效率分析，研究了影响Multi-site并行测试效率的各种因素，并对其影响深度和范围进行分析
本文介绍了一种实现1553B总线智能节点功能的SOPC，并以此为例对本领域工程师们共同面临的可靠性问题进行了分析，展示了在民用FPGA上构建高可靠性低恢复延时的复杂系统的一种可行的方法．文中使用域划分模型对具有多个候选配置的可重构SOPC进行建模，从而将各候选配置的资源优化分配问题转化为二次规划问题求解，产生使可靠性最大的分配方案．使用盲重构的故障恢复技术降低恢复延时．本文还介绍了仿真实验，用于权
针对纳米级工艺下瞬态故障引发的软错误可能造成电路失效这一问题，提出一种容软错误的电路加固方案．该方案面向软错误的两种诱因SEU与SET，构造容错时序单元RHBD-DFF，并在对电路中原始时序单元进行加固的同时，考虑到所带来的附加开销，提出了基于开销限制前提的选择性加固关键单元的策略，达到以低开销代价换取高容错性能的目的．
通过中国古代文化中的哲学与辩证思想，解释并解决软件测试理论中的一些基本问题，丰富和发展软件测试理论．从中国古代《周易》中的阴阳哲学思想的角度，对软件测试理论中的静态测试与动态测试、黑盒测试与白盒测试等技术进行了解释，并对其哲学意义上的“固有，互含、转化”三个基本原理进行了在软件测试应用上的探讨．指出《周易》中阴阳哲学思想在软件测试方法、模式的选取，测试工作量的平衡等问题的研究方向．