布尔差分相关论文
在对JTAG技术的可测性设计方法进行讨论的基础上,分析了组合电路的一种可测性结构,利用布尔差分算法分析了测试矢量的生成问题。此......
本文分析了逻辑函数在部分变量取反时的或-符合展开系数图(即dj图)和降维或-符合展开系数图(即降维dj图),在此基础上提出了用dj图......
为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法.......
该文针对因运用逻辑代数进行逻辑分析与逻辑设计所存在的不便而建立的布尔线段理论,开发出布尔线段计算机辅助教学(CAI)系统.此教......
引入布尔差分的思想,对被测电路函数的BDD结构进行判断生成测试向量。本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销......
文章给出了一阶布尔差分的几种求法，并对这几种方法进行了分析、比较，进而通过具体逻辑电路阐述如何用布尔差分及其性质迅速求出逻辑......
介绍一种以潜艇指控系统电路板作为被测对象故障诊断技术，对指控系统电路的测试由布尔差分法产生可检测和可区分故障的测试向量．采用......
为了简化Reed—Muller型逻辑函数的布尔差分与布尔偏导数的计算过程，提出了一种基于表格的新方法．该方法通过用表格列出Reed—Muller......
讨论了数字系统的故障分析的内涵,阐述了故障的可测性定理,并以组合逻辑电路为例,介绍如何利用布尔差分法求解其全部测试码,给出了......
为解决求解布尔差分异或运算量大的问题,针对高速实时数据处理的需要,提出了用现场可编程门阵列（FPGA：Field Programmable Gate Arra......
分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题，在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与......
针对包含任意项的逻辑函数，提出了一种利用该类逻辑函数K图和bj图的图形转换来实现一阶布尔差分和二阶布尔差分计算的方法．实例表明，......
分析了布尔偏导数与布尔差分的关系,给出了基于布尔偏导数的组合电路双故障测试集的方程,引入了奇集合的概念.在此基础上提出了基......
讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式．在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法．根据二阶布尔......
分析了逻辑函数在部分变量取反时的或-符合展开系数图（即dj图）和降维或-符合展开系数图（即降维dj图），在此基础上提出了用dj图和降维dj图......
针对数字电路路径时滞故障测试生成较难的问题提出了一种基于布尔差分的数字电路路径时滞故障测试生成算法。首先应用路径分支转换......
分析了逻辑函数在部分变量取反时的bj图和降维bj图，在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的......
基于K图和降维K图,讨论了计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明该方法具有直观、简单等特点,并且它能给......
<正> 布尔差分(布尔导数)是对逻辑电路进行动态分析和求故障测试集的有效数学工具,自1968年由Sellers等人提出后被人们广泛采用.如......
针对或-符合型三变量通用逻辑门组合电路,提出了一种基于布尔差分的故障检测方法.引入了或-符合代数中的布尔差分定义和运算性质,......
针对求解逻辑门数目比较多的组合电路故障测试矢量问题，特别是求解多故障测试矢量时布尔差分法需要进行大量的布尔表达式化简和求异......
布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具．从线性函数、冗余函数、自反函数、自双反函数、......
随着集成电路的特征尺寸逐渐缩小，集成度与复杂度日益提高，测试已成为VLSI设计面临的重大挑战之一。如何应用可测性设计方法进行逻辑......
随着数字电路的设计规模和复杂程度的大大提高，传统的数字理论已不能很好的满足需要，有必要对它做进一步的探讨和研究。近代数字理论......
针对布尔差分算法需要进行大量的异或运算,特别是求解多故障测试矢量时,求解高阶布尔差分更是繁琐的问题,依据卡诺图求解异或运算......
