字符串谓词边界的ON—OFF测试点自动生成算法

针对字符串谓词边界 ,提出了一个ON—OFF测试点自动生成算法。通过对字符串输入变量的每一字符 ,构造其线性分支函数 ,进行Korel的分支函数极小化 ,动态生成给定字符串谓词边界的ON—OFF测试点。实验表明 :该算法是行之有效的。     

一种新的CMOS组合电路最大功耗快速模拟方法

过大的峰值功耗会使芯片承受过大的瞬间电流冲击,降低芯片的可靠性及性能,因此有效地对电路最大功耗做出精确的估计非常重要。由于在实际电路中存在的时间延迟,而考虑延时的电路功耗模型计算量较大,因此用模拟方法求取电路最大功耗非常耗时。为了在尽可能短的时间内对VLSI电路的最大功耗做出较为可信的估计,首次提出了二阶段模拟加速方法。对ISCAS85电路集的实验结果表明,这种估计方法具有最大功耗估计值准确和加速明显的优点。     

布尔过程论的实验研究

布尔过程论是1994年提出的一种高速电路设计与测试分析理论,是布尔代数在时域中的扩充,适用于IC定时研究与分析。但布尔过程论的实践可行性受到一些国际同行的质疑,该文的工作旨在解释布尔过程论的物理意义以及构成布尔过程论的实际基础。文中采用SPICE软件模拟电路中的电压波形,对一些电路例子进行模拟,发现模拟结果与用布尔过程得出的结果是一致的,这就以实验验证了布尔过程论。同时,又通过实验得到了布尔过程论中提出的一些参数的数值。     

一种新的CMOS电路最大功耗估计方法

过大的峰值功耗会使芯片承受过大的瞬间电流冲击,降低芯片的可靠性及性能,因此有效地对电路最大功耗作出精确的估计非常重要,为了在尽可能短的时间内对VLSI电路的最大功耗下限作出较为可信的估计,给出了一种新的CMOS电路最大功耗估计方法,ISCAS85电路集的实验结果表明这种估计方法不仅对于无时间延迟功耗计算模型,而且对于有时间延迟功耗计算模型,都具有最大功耗估计值较准确和耗时短的优点。     

通路时延测试综述

本文对目前通路时延测试领域的主要研究成果进行了综述，阐述了主要的通路时延可测试性及相应的单通路时延故障的分类，并介绍了三种精简通路集的通路时延测试方法。     

容错计算系统中数据的可信性

本文提出了容错计算系统中数据可信性的概念。同时提出一种容错计算系统的初步方案,详尽地研究了用各种线性反馈移位寄存器进行数据压缩而产生误认的充分必要条件。并给出一种电路设计,以防止由双错所引起的误认。     

基于输出违例概率的时延向量测试质量评估

针对冒险引起的测试质量评估误差,本文提出了一种基于输出违例概率的测试质量评估方法.定义了到达时间窗口和输出违例概率的概念,使用输出违例概率来反映测试向量的小时延缺陷检测能力,有效地避免了忽略冒险引起的计算误差,从而准确的评估了向量对小时延缺陷的检测质量.实验结果表明,相对于基于输出偏移的国际同类方法,本文的评估方法不增...     

基于遗传算法的TBDD排序方法

带时间参数的二叉判决图（ＴＢＤＤ）在电路的时滞故障测试中有着重要的应用价值，但其变量排序是用常规方法无法解决的一个优化问题。本文提出一种基于遗传算法的ＴＢＤＤ排序算法。用快速衡量值和ＴＢＤＤ节点数来计算个体的适应度。针对变量排序的特定问题，提出一种模板保序交叉方法。采用知适应的变异概率计算方法，并提出一个适合于ＴＢＤＤ排序问题的变异算法。实验结果表明较好地解决了ＴＢＤＤ的排序问题。     

网络流量的半马尔可夫模型

引入半马尔可夫模型描述网络流量特性,通过忙阈值和闲阈值的设定将网络流量划分为四种状态:忙、空闲、上升和下降,研究各状态下的网络流量特性及各状态间的相互转换关系.通过网络协议性能分析,在一定的假设条件下推出IP网络流量在处于忙状态时服从几何布朗运动,在空闲状态下服从正态分布,在上升状态或下降状态下服从指数分布.对广域网和局域网的实际流量数据的分析和检验表明,95%的数据均服从相应状态下的上述随机分布,同时根据此模型计算的系统平均利用率与实际统计结果之间的相对误差小于5%,说明引入的模型能真实反映网络流量特性.