基于重量分析的OBDD变量排序算法

有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性。本文提出一种电路结构图，并在此基础上定义了原始输入重量和节点重量等参数，并建立了用重量分析来指导的ＯＢＤＤ变量排序算法。由于从考虑变量对输出函数的影响出发与从考虑ＯＢＤＤ节点共享性出发对变量排序的要求不同，本文分别设计了两类算法。实验结果表明，本文对大多数标准电路变量排序的效果都优于国际上的同类算法，     

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

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

基于蕴涵树的冗余添加和删除技术

可替换线逻辑综合（如ＰＡＭＢＯ）是近年来兴起的一种方法,它采用测试向量自动生成（ＡＴＰＧ）方法来实现冗余添加和删除．但是,频繁调用逻辑蕴涵过程使得整个逻辑综合的速度较慢．因此,如何减少ＡＴＰＧ过程的调用次数便成为提高这类算法的速度之关键．该文提出一种逻辑蕴涵树来存储节点间的逻辑蕴涵关系,并设计了一个基于逻辑蕴涵树的可替换线源节点的挑选法．在此基础上形成一个快速的可替换线逻辑变换算法ＩＢＡＷ,实验结     

一个有效的通路时滞故障测试生成系统DTPG

本文提出了一种两向量测试模式下的通路时滞故障分类，并在此基础上设计并实现了一个有效的通路时滞故障测试生成系统ＤＰＴＧ，该系统可识别强健可测通路、非强度可测通路和功能可敏化 通路。     

OBDD变量排序的自适应选择算法

有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一,由于ＯＢＤＤ的最大对变量序非常敏感,使得变量排序问题成为最关键的一个问题。首先将ＯＢＤＤ变量排序问题分解为３个子问题,定义了若干启发信息,给出了上述子问题的启发式解法;然后提出了一个变量排序自适应选择算法,从若干候选变量序中选出“最后”的变量序。最后给出了ＩＳＣＡＳ８５电路的实验结果。