一种易于线性压缩的测试图形生成方法

为解决VLSI测试中数据量大、功耗高和故障检测难等问题,提出一种易于线性压缩的测试图形生成方法(LCG法).与传统方法不同,LCG法先解析出一类每个向量内部具有线性关系的测试序列,这种线性关系是基于单输入变化序列的,构成的测试序列可有效地减少被测电路内部的开关活动.测试生成时只需搜索测试向量少量的位值,其他位的值按预定义的线性关系解析出,再通过故障模拟的方法确认测试图形.压缩后的测试图形为其少量位的内容,具有压缩率高、易于实现、功耗低和覆盖率高的特点.对ISCAS89中5个最大的基准电路的实验结果表明,LCG法在固定故障覆盖率大于96%的情况下,压缩率都在10倍以上,甚至可以达到100倍以上.     

FPGA逻辑资源测试图形自动生成方法

提出一种通用FPGA逻辑资源测试图形自动生成方法.建立了可编程逻辑单元CLB的测试模型,提出了FPGA的测试配置集的自动生成算法,在测试配置集的基础上得到了具有通用性的,高故障覆盖率且测试时间短的测试图形.     

一种低功耗测试图形的生成方法

为解决测试图形生成电路功耗高、硬件开销大、故障检测难等问题,提出了一种用于内建自测试的低功耗测试图形生成方法。该方法将种子向量和SIC计数器生成向量进行运算,产生MSIC测试向量。通过设计一种可配置SIC计数器和种子生成电路,证明了该方法中任意的2个MSIC图形在任何情况下都是相异的。以国际基准测试电路ISCAS’89为对象,在nangate 45nm工艺上的仿真实验表明,基于该方法的测试生成电路的平均功耗占被测电路正常工作时平均功耗的1%～3%;与传统的伪随机测试生成电路相比,该测试生成电路的测试功耗降低了5.48%～66.86%,且其所生成的测试图形具有唯一性、低跳变等特性。     

数字电路测试的故障诊断和测试码生成

随着数字电路的广泛应用,电路的测试与故障诊断已成为设计与生产过程中重要的组成部分.本文讨论了电路的测试方法、故障模型和利用通路敏化法导出测试码等问题,需要在数字电路安装之前对元件进行逻辑功能测试,从而避免因器件功能不正常而增加测试的困难.     

基于赋值判决图的AT89C51微处理器全速电流测试实验研究

全速电流测试是一种新的电路测试方法,以AT89C51微处理器为例,说明用全速电流测试进行微处理器测试的可能性.实验中将80C51内核的HDL描述转换为赋值判决图（ADD）,然后由ADD产生测试所需的指令序列,最后令微处理器重复执行产生的指令序列,并用普通的万用数字电流表测量微处理器消耗的平均电流.实验结果表明,用全速电流测试在指令级对AT89C51微处理器进行测试是可行的.通过测试所有的数据通路,不仅可以检测数据通路的故障,而且可以检测由于控制错误而引起的数据传送错误.     

一种低功耗低成本测试图形的生成方法

针对半导体器件特征尺寸小、集成电路集成度和复杂度高导致的芯片测试功耗高、面积开销和测试数据量大等问题,提出了一种带广播结构的低功耗低成本内建自测试的测试图形生成方法,给出了硬件实现方式和测试方案。首先,该方法通过一个异或网络将线性反馈移位寄存器(LFSR)结构和Johnson计数器相结合,产生具有多维单输入跳变(MSIC)特性的测试向量;然后,通过复用测试生成结构,广播电路将测试向量扩展为能够填充更多扫描链的基于广播的多维单输入跳变(BMSIC)测试图形,从而减小了测试图形生成电路的面积开销;最后,以ISCAS’89系列中较大的5款电路为对象实验,结果表明,与MSIC测试生成电路相比,BMSIC测试图形生成方法可在确保低功耗高故障覆盖率基础上,减小50%左右的电路面积开销。     

时序电路测试生成算法研究

随着大规模集成电路复杂性的提高,时序电路的测试生成变得越来越困难,因此研究有效的时序电路测试生成算法不仅具有学术意义,还具有巨大的经济效益和社会效益。本文对近年国内外学者在时序电路测试生成算法方面的研究进行了综述,对其作了比较,分析了相对的优点及缺点。最后做了总结并展望了未来的发展方向。     

数字电路逻辑测试系统中的测试生成

测试生成是数字电路测试的关键问题之一,文章闸述计算机辅助测试系统DCTS-CAT仪中测试图形产生的确定法和部分随机法。研究表明采用的方法满足功能级在线检测要求,测试速度较快,测试的错误覆盖率较高。     

相异路径选择问题的模型与仿真结果研究

相异路径选线问题考虑的是 ,给定一运输网络和源宿接点 ,找出源宿节点之间在空间上有差异的路径。多个相异路径对于军事后勤供应、有害物品运输等在异常情况 (如原来的最佳线路因气候等原因不可用 )下的决策 ,具有重要意义。文章着重对已有的迭代惩罚和通道最短路 2种生成空间相异路径的算法进行了分析和评价 ,并构建了基于边的通道最短路的相异路径的算法。在此基础上 ,对这几种算法给出了仿真实验计算结果 ,通过对结果的分析 ,找到了影响结果的几个关键因素     

高程点与等高线快速赋值方法设计

对地形图等高线、高程点在大规模作业中存在的问题进行研究和探讨,给出了解决此类问题的程序设计思路和部分代码,在Mapinfo基础上,设计了快速赋值程序,提供了利用本程序在Mapinfo下制作DEM的实例工程。     

基于遗传算法的组合测试用例生成研究

对遗传算法的种群规模、选择策略、迭代策略等环节进行了研究,设计实现了一种实用的基于遗传算法的组合测试用例生成算法,具有用例生成速度快、用例集最小化的特点.     

高考自主命题改革的多维度审视

高考是我国高风险的大规模测试,其任何一项改革都会牵涉社会全局,分清利弊谨慎推进改革是关键。文章从考试的公平性、科学性、教育机会的公平性和安全性等角度,分析分省自主命题改革的弊端,提出高考应回归全国统一命题。     

利用拉格朗日松弛算法求解三维分配问题

将拉格朗日松弛算法与最优求解算法的复杂性进行了分析比较，并将该算法应用于求解3-D分配问题,分析与算例结果表明，该算法可大幅度降低3-D分配问题的求解计算量，是求解3-D分配问题的一种有效算法．     

芯片功能验证流的高效生成方法

设计验证（Design Verification）在数字系统设计中已经非常重要。功能验证成为了现代数字系统设计周期地瓶颈。作为对基于仿真地验证方法改进的一次尝试,介绍了一种基于有限状态机生成测试向量的方法。它有效地提高了状态空间的覆盖率。     

分层交换波分复用网络中的路由与波长分配

提出了一种运用于分层光交换波分复用(WDM)环中的静态路由与波长分配方法,对于任意给定的业务需求矩阵,在最小化波长数的条件下,最大化波段路径数,从而最小化光端口数目以降低网络构建成本.该方法在构造环算法的基础上,将波段优先函数引入路由与波长分配的计算,在路由与波长分配过程中同时解决波段合并问题.仿真结果表明,所提出方法能够有效减少网络所需的光端口数,从而降低网络建设成本.     

双准则交通分配和方式划分相结合的网络均衡

分析了综合交通体系下不同时间价值的出行者路径和方式的时间、费用交易选择行为.运用了交通方式路径虚拟和对路径费用重新排序的方法,给出了双准则交通分配和方式划分的综合模型、有效路径算法和用户均衡算法.通过计算机模拟的方法,举例分析了交通改进措施和交通政策对交通分配和方式划分的灵敏度.模型可以更加真实地反映出行者在权衡时间价值和费用下的路径和方式选择,并可定量研究交通方式服务水平提高和交通政策对交通方式引导和缓解路段拥挤的作用.     

利用微电子测试图形研究CMOS IC的锁定效应

体硅 CMOS IC 内不可避免地存在着寄生 pnpn 四层结构,在一定条件下,导致器件闭锁失效。本文结合专门用于研究 CMOS IC 内锁定的微电子测试图形,对以设计、工艺制备的一系列组合测试结构,进行测试,并对锁定现象作对比分析,提出了优化设计的途径。     

基于贪心策略自动生成高区分度试卷的方法

建立了以生成高区分度试卷为目标的自动组卷问题的数学模型,针对该模型提出了基于贪心算法的试卷生成方法,将算法应用于实际的考试系统中,并与禁忌搜索算法生成试卷的策略进行比较,结果表明：贪心算法用更少的时间找到了更好的解．     

蒙特卡罗方法在黑盒测试用例生成中的应用

测试用例的生成方法是软件测试技术研究的核心内容,利用蒙特卡罗方法自动产生随机数并将其映射到测试用例的输入域上。可以提高软件测试的准确性和正确率、缩短软件测试的周期。     

广义模糊指派问题的解法

对于指派问题,工作未完成之前,其效率矩阵中的元素应该是不确定的。但是决策者为了得到具有指导性的决策,有必要对效率矩阵中的元素进行统计或粗略估计。由此产生了更加贴近于现实生活中的不确定环境中的指派问题。针对现实生活中的模糊指派问题,讨论了模糊指派问题出现的三种可能情况,分别建立了它们的数学模型。将求解传统指派问题的匈牙利算法和伏格尔法进行了推广,讨论了模糊指派问题的求解方法,并结合算例进行了说明。