【摘 要】
：
前像计算是无界模型检验中的一个基本问题.本文提出了一种新的基于二叉判定图(BDD)启发策略的门级电路前像计算方法.这种方法发崛和利用无关解子空间之间的组合,避免了重复搜索.由于使用了BDD来引导搜索过程,这种方法可以减少搜索中的冲突.同时,利用hash表记录回溯点的位置,可以加速回溯的过程.文章最后给出了实验结果,说明了这种方法的优越性.
【机 构】
：
中国科学院计算技术研究所先进测试技术实验室,北京,100080
论文部分内容阅读
前像计算是无界模型检验中的一个基本问题.本文提出了一种新的基于二叉判定图(BDD)启发策略的门级电路前像计算方法.这种方法发崛和利用无关解子空间之间的组合,避免了重复搜索.由于使用了BDD来引导搜索过程,这种方法可以减少搜索中的冲突.同时,利用hash表记录回溯点的位置,可以加速回溯的过程.文章最后给出了实验结果,说明了这种方法的优越性.
其他文献
内存泄漏故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态测试方法主要存在漏报和误报过多的情况.针对这些问题,分析了指针状态及其转换函数,给出了内存泄漏故障的形式化描述,并以此为基础,提出了一种静态测试方法.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.测试结果表明,该方法能够有效检测内存泄漏故障,而且误报率也较低.
新一代的自动测试设备具有更丰富的可配置资源,但同时也使得传统的手工配置测试资源的方法变得十分困难.为自动优化配置测试资源,本文提出了测试向量格式压缩方法、基于Huffman树结构的测试向量分组方法和基于模拟退火算法的测试资源调度算法,逐步应用于自动测试设备来优化资源配置.文章最后给出了工业应用实例.
基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径.构件测试是保证构件质量的重要技术手段.构件技术的新特点为构件测试带来了挑战.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.本文提出一种基于合约的构件易测试性设计方法,定义描述构件合约的巴科斯-诺尔范式,在构件的接口和内部加入合约信息,然后由工具自动将合约翻译成相应的检查代码,以便在构件运行时检查合约是否被违反;开发相应的
随着系统芯片及模拟和数字混合信号电路的发展,模拟测试领域出现了许多采用传统故障诊断理论和方法难以解决的问题.神经网络因为能够在没有任何先验知识的情况下自动从输入数据中提取特征、发现规律,并通过自组织过程将自身构建成适合于应用环境的规律,为模拟电路故障诊断提供了一个全新的解决方案.主要介绍了模拟电路故障诊断的新方法及测试原理,重点讲解了神经网络结构中参数选择方案.以现代测试技术、信号处理、信息融合和
软件的故障模式就是总结那些经常出现、并具有一定模式的故障.经过大量的源码分析,我们总结出一些极具代表性的错误模式.在本文中,给出了整个测试环境的框架和组成,并以内存泄漏为例简要讨论了设计检测算法的原则和方法.我们已经基本实现了提出的所有故障模式并建立了一个原型系统.在应用中发现这种面向故障模式的测试方法有以下优点:1、不需要设计任何测试用例,自动化程度高;2、结果相对较为客观,测试结果可复现;3、
介绍锁相环测量荧光寿命的原理,给出荧光寿命与锁相环输出频率的数学关系.设计具体的锁相环电路,并建立利用锁相环技术检测荧光寿命的荧光温度传感器系统.采用Cr3+YAG作为荧光敏感材料,此系统在20℃-150℃范围内分辨率达到±0.08℃,最低测量精度为1℃.
将数字电路、模拟电路、处理器、存储器等集成到同一块芯片上的SoC技术,给集成电路的测试提出了新的挑战,其中模拟和混合信号电路的测试是目前SoC测试的瓶颈.本文提出一种基于振荡的SoC模拟核和模数转换器(ADC)可测性设计方案,在测试模式下,被测模拟核通过重构形成振荡器,产生周期性的信号作为ADC的测试激励.通过分析A/D转换结果,可对ADC进行柱状图测试,并同时检测模拟核的振荡频率,实现对模拟核的
本文提出用Volterra频域核作为故障特征对弱非线性定常动态网络进行故障诊断的方法,利用计算方法求出电路响应在各种常见故障状态下的Volterra级数解的各阶频域核,将其输入给BP神经网络,利用BPNN的分类功能建立故障字典,对实测的故障网络的各阶频域核进行测试样本分类来实现故障诊.文中给出了各阶频域核的统一递推离散算式,采用的改进BPNN算法及其程序实现,并给出了故障诊断实例.
提出了一种基于统计理论、信息融合及神经网络的容差模拟电路故障诊断方法.该方法将故障诊断分为两个阶段完成,即故障检测与故障定位.通过监测可测点工作电压利用所构建的故障阈值函数与故障判据来实现容差电路的故障在线检测.再通过离线测量电路在不同测试频率下输出对输入的增益,利用可测点工作电压与电路增益,运用所提出的数据融合方法及改进的BP算法对电路进行故障定位.模拟诊断结果表明:所提方法可用于容差电路的硬故
本文将经典确定性优化算法和现代概率搜索优化算法结合起来,使用现代概率搜索算法获取初始值,再通过经典确定性优化算法根据初始值得到优化结果.本方法有效的解决了确定性算法的全局搜索能力差和概率搜索算法局部收敛能力差的问题,为大容差、多故障的模拟电路故障诊断的全参数辨识问题提供了一种有效的方法.本文最后给出了一个仿真实例,证明了算法的可行性.