蕴涵项相关论文
该论文的作者进行了工作包括:对基于BDD的面向逻辑综合的化简和转换进行研究,提出了删除-移动-合并算法.该算法对ROBDD作了进一步......
一般逻辑电路的设计,往往要借助于逻辑代数式的建立,运算和简化以设计出合乎要求的逻辑电路。这就要求逻辑电路的设计者比较熟练......
本文给出用卡诺图简化多输出组合逻辑函数的一种新方法。通过逐级选择合并,使函数最小化。对输入逻辑变量不超过6个,输出函数分量......
逻辑综合在集成电路设计中是非常重要的一环。本文对多输出逻辑优化软件OPLG进行了研究。文章围绕OPLG的基本框架、OPLG的蕴涵项扩......
本文提出了一种逻辑化简方法,它以一种新的“运算”为武器,直接揭示逻辑函数的内在联系,而整个化简过程就是在表格上反复进行这种......
本文介绍在PLA(FPLA)里单交叉点故障定位的一种在线算法,算法的主要特点是对某个故障的测试得到与其响应一致的故障集。这个集合里......
本文提出利用多输出逻辑函数之间的蕴涵关系,化简多输出逻辑函数的方法。这一方法能使多输出逻辑函数的总最小项数目减少,公有的本......
本文提出一种以输出函数符作记图符的多输出逻辑函数化简法。用该法在多函数卡诺图的图解中能清晰地圈合出函数的部分公共蕴涵项,......
为探讨单输出多级最佳“与非”逻辑网络CAD的理论及新的逻辑网络综合方法,本文定义了一种立方运算——间填运算。由本原蕴涵项计算......
对逻辑函数表格法最小化提出一种新方法,尤其适用于含有大量无关项的多变量逻辑函数最小化。......
本文论述了用C语言实现重复包含算法的过程,利用合并操作实现求全部质蕴涵和用包含操作实现函数的最小覆盖,从而实现对逻辑函数的......
利用化简布尔函数的常用方法,讨论布尔函数的单调分解,得到了判别布尔函数单调分解的几个简易明判别准则。......