布尔差分相关论文
通过对布尔差分法的剖析 ,得到了组合电路单固定故障测试生成的简化方法。该方法不必进行异或运算 ,只须求解恒等式就能得到组合逻......
引入布尔差分的思想,对被测电路函数的BDD结构进行判断生成测试向量。本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销......
介绍一种以潜艇指控系统电路板作为被测对象故障诊断技术，对指控系统电路的测试由布尔差分法产生可检测和可区分故障的测试向量．采用......
为了简化Reed—Muller型逻辑函数的布尔差分与布尔偏导数的计算过程，提出了一种基于表格的新方法．该方法通过用表格列出Reed—Muller......
分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题，在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与......
分析了逻辑函数在部分变量取反时的或-符合展开系数图（即dj图）和降维或-符合展开系数图（即降维dj图），在此基础上提出了用dj图和降维dj图......
针对数字电路路径时滞故障测试生成较难的问题提出了一种基于布尔差分的数字电路路径时滞故障测试生成算法。首先应用路径分支转换......
分析了逻辑函数在部分变量取反时的bj图和降维bj图，在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的......
基于K图和降维K图,讨论了计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明该方法具有直观、简单等特点,并且它能给......
<正> 布尔差分(布尔导数)是对逻辑电路进行动态分析和求故障测试集的有效数学工具,自1968年由Sellers等人提出后被人们广泛采用.如......
针对或-符合型三变量通用逻辑门组合电路,提出了一种基于布尔差分的故障检测方法.引入了或-符合代数中的布尔差分定义和运算性质,......
针对求解逻辑门数目比较多的组合电路故障测试矢量问题，特别是求解多故障测试矢量时布尔差分法需要进行大量的布尔表达式化简和求异......
布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具．从线性函数、冗余函数、自反函数、自双反函数、......
随着集成电路的特征尺寸逐渐缩小，集成度与复杂度日益提高，测试已成为VLSI设计面临的重大挑战之一。如何应用可测性设计方法进行逻辑......
随着数字电路的设计规模和复杂程度的大大提高，传统的数字理论已不能很好的满足需要，有必要对它做进一步的探讨和研究。近代数字理论......
