-
题名基于组合逻辑最小化技术的时序逻辑综合方法
- 1
-
-
作者
王芳雷
-
机构
上海科学技术大学计算机科学系
-
出处
《计算机辅助设计与图形学学报》
EI
CSCD
1994年第2期119-124,共6页
-
文摘
介绍一种以组合逻辑最小化工具为基础，提出按满足压缩状态表约束关系进行状态分配的新思想，通过一系列的转换，可完成从描述时序逻辑的原始状态表到满足该状态表状态转换要求的由ＰＬＡ作为组合逻辑部件的时序逻辑电路的转换。由于该时序逻辑综合新方法在处理过程中要涉及解大型覆盖表的问题，为此提出满足压缩状态表约束关系的状态分配的简化算法。文中用一些实例说明简化算法的具体运算过程。结果表明简化算法可导出满足原始状态表的较简化的时序逻辑表达式。
-
关键词
时序逻辑综合
逻辑电路
组合逻辑
-
Keywords
sequential logic synthesis, state assignment, logic minimization, dichotomies,covering table.
-
分类号
TP331.1
[自动化与计算机技术—计算机系统结构]
-
-
题名XOR和XNOR门的神经网络
- 2
-
-
作者
刘永才
-
机构
上海科学技术大学计算机科学系
-
出处
《计算机学报》
EI
CSCD
北大核心
1992年第10期791-796,共6页
-
基金
上海市自然科学基金
-
文摘
M.L.Bushnell教授在[1]中分别给出了一个XOR和XNOR门的神经网络.本文推广了他的结果,给出了XOR和XNOR门的所有部分对称和全对称神经网络.从而,拓广了神经网络在电路模拟和自动故障模型生成中的应用范围.
-
关键词
神经网络
XNOR门
XOR门
-
Keywords
Neural network, Hopfield net, decision hyper plane.
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名求组合电路无冗余覆盖的立方有序扩展法
- 3
-
-
作者
王芳雷
王积杰
-
机构
上海科学技术大学计算机科学系
-
出处
《计算机辅助设计与图形学学报》
EI
CSCD
1992年第1期19-25,共7页
-
文摘
本文提出一种直接求组合电路无冗余覆盖的立方有序扩展算法。算法根据预定要求达到的目标,制订了相应的处理策略,对立方的可扩展组元(变量)排出次序,并按次序逐个对立方的可扩展组元(变量)进行扩展。本算法比以往的对扩展变量任意排序的简单立方扩展法有更优化的运算结果。
-
关键词
组合电路
覆盖
冗余
逻辑电路
算法
-
Keywords
logic synthesis, cubical expansion, irredundant cover, logic minimization.
-
分类号
TN791
[电子电信—电路与系统]
-
