RTL和门级结合的处理器时延测试产生方法

针对处理器的数据通路中的通路时延故障,提出一种基于指令集的处理器时延测试产生方法．对于每条指令提取出状态矩阵,并基于状态矩阵将通路分为功能不可测（FUPs）和潜在功能可测的（PFTPs）．对PFTPs记录潜在测试指令（序列）组合,提取控制和数据约束,在门级进行有约束的非强健时延测试产生．最后的测试指令由控制指令（序列）＋潜在测试指令（序列）＋观测指令（序列）构成．     

基于STIL的测试向量转换模型及其实现

在双步测试向量转换解决方案的基础上,构建了一个通用的测试向量转换模型.在细化双步解决方案的过程中,提出了一个改进的转换流程;将标准测试接口语言(STIL)作为描述语言,设计了一种具有per-pin-ATE资源的数据格式;开发了面向3种国产测试仪的测试向量转换系统--SpeedyE2A(S).实验结果表明,在相同的转换条件下,当测试向量较大时,SpeedyE2A(S)系统的转换时间远远少于Credence的TDS系统.经SpeedyE2A(S)系统转换的8051和海尔"爱国者"芯片的测试向量,已经成功地在北京自动测试技术研究所的测试系统上运行.     

结合ATPG和SAT的无界模型检验前像计算方法

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后通过在ISCAS89和ITC99电路上的实验证明了文中方法的有效性.     

用于片上网络的容错通信算法

提出一种带有端到端反馈的随机路由算法.随机路由可以有效地处理传输过程中的随机错误,并具有较高的转发速度.端到端的反馈机制保证了传输的正确性,同时降低了传输功耗.实验结果表明,该算法具有较短的延迟,较低的功耗,并能提供高可靠的片上通信.     

复合型膨胀增韧剂的研究与应用

针对温北油田油气井水泥石高收缩、高脆性带来的固井质量问题，制备了一种油井水泥复合型膨胀增韧剂(代号EF35),并利用该剂开发了一套适用于温北油田油层套管固井的膨胀增韧型水泥浆体系。实验结果表明：EF35的膨胀率达1.5%,弹性模量降到7 GPa;水泥浆的可混拌性与流变性良好，各性能指标均满足现场施工要求。经温北油田7口井的现场检验，一、二界面的固井质量合格率均达到100%,平均优质率达94.52%。     

计算机系统容错设计简述

高可靠计算机系统是是保证信息服务质量的基石。从第一台计算机 ENIAC 诞生起，可靠性就是计算机系统面临 的主要挑战之一，容错设计是实现可靠性的有效途径，也是一项典型的跨计算机多个设计层次的系统科学。从底层的器 件到顶层的应用程序，都存在优化可靠性的设计空间，每个层次的设计面向特定的可靠性设计挑战。文章将遵循自底向 上的逻辑层次简述这些经典的设计方法。     

面向高能效加速器的二值化神经网络设计和训练方法

针对二值化神经网络加速器计算溢出和乘法器依赖的问题,提出一套二值化神经网络设计及其训练方法.首先设计能够模拟溢出的矩阵乘法,保证模型部署后不丢失准确率;然后优化卷积层和激活函数,缓解溢出总量;再设计移位批标准化层,使二值化神经网络摆脱对乘法运算的依赖,并有效地降低访存;最后针对改进的模型提出基于溢出启发的协同训练框架,确保模型训练能够收敛.实验结果表明,与10个主流的关键词激活方法相比,在准确率无明显损失的情况下,所提方法使片上计算规模减少超过49.1%,并为加速器带来至少21.0%的速度提升.