逻辑函数综合的图形方法研究

本文综述了逻辑函数综合巾的图形方法 ，介绍了作者在最近提出的 bi系数图与 Ri谱系数图。此外 ，本文又提出了两种新的图形方法 ：变量互斥型 K 图与多函数 K 图， 前者适用于变量互斥的悄况 ，后者可用于多函数的最小化 ．     

RM分解图及其应用

针对与-异或逻辑代数系统中电路设计与化简的要求，提出了一种全新的图形表示方法——RM分解图，讨论了利用RM分解图将任意开关函数变为RM对称函数等方面的应用，并在此基础上提出了一系列基于RM分解图的图形方法，用来指导超大规模集成电路中基于通用逻辑门的单元电路的设计与化简，设计出的电路具有易于检测、连线数少等优点。     

基于dj图的逻辑函数布尔偏导数的计算方法

讨论了基于dj图和降维dj图计算逻辑函数的一阶布尔偏导数和二阶布尔偏导数的图形方法.实例表明该方法具有直观、简单等特点,并且它能给出布尔偏导数的最简CRM式.     

逻辑函数修改技术在由D触发器构成的任意进制同步计数器中的应用

本文总结了由D触发器构成2^n进制同步计数器的设计方法,并在此基础上分析了如何用逻辑函数修改技术实现任意进制同步计数器。通过实例设计表明,推广此设计方法于任意进制的加、减法计数器具有使用方便、设计迅速等优点和一定的实用意义。     

计算逻辑函数布尔差分及布尔偏导数的表格方法

分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题,在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与布尔偏导数的表格方法,讨论了在1值最小项数较多时用7计算布尔差分与布尔偏导数的表格方法．本文提出的表格方法与图形方法相比,具有不需画图,操作方便,易于计算机编程操作以及可用于多变量逻辑函数等优点．     

基于表格法的CRM型对称函数检测

分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明．与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效．     

基于bj图检测自双反函数和自反函数的新方法

自双反函数和自反函数为特殊布尔函数．本文讨论了自双反函数和自反函数的定义和性质,给出了基于bj图获得变量全部取反的逻辑函数f（x1^-～xn^-）的bj图的方法．在此基础上提出了基于bj图检测自双反函数和自反函数的新方法．该图形方法具有直观、简单以及可并行处理等优点．     

基于三变量通用阈值逻辑门的量逻辑函数查表综合变

介绍并讨论了逻辑函数的分类和通用阈值逻辑门，提出了使用三变量通用阈值逻辑门实现任意三变量逻辑函数的查表综合方法．并给出了若干设计实例。     

基于三变量通用阈值逻辑门的三变量逻辑函数查表综合

 介绍并讨论了逻辑函数的分类和通用阈值逻辑门,提出了使用三变量通用阈值逻辑门实现任意三变量逻辑函数的查表综合方法,并给出了若干设计实例.     

基于传输函数理论的四值CMOS电路

本文提出了传输函数理论。在这一理论中,四值变量与逻辑变量被区分,同时,三种新运算——阈比较运算、传输运算及并运算被引入。由于这些运算能描写MOS晶体管的工作原理,因此用它们及逻辑运算表示的传输函数能直接指导四值CMOS电路的实现。文中提出了若干基本传输函数的CMOS电路设计,它们经计算机模拟被证明具有正确的逻辑功能与理想的DC传输特性。此外,本文还介绍了四值CMOS传输网络的综合技术。