[发明专利]CMOS传输门逻辑电路的逻辑表达式提取和开关级设计方法

权利要求书

1.一种CMOS传输门逻辑电路的逻辑表达式提取和开关级设计方法，其特征在于：将布尔代数系统进行扩展，得到扩展的布尔代数系统；由CMOS传输门逻辑电路建立相应的开关级信号流图模型，由此模型提取出该电路输出函数的等效信号流图模型，并由开关级信号流图模型结合扩展的布尔代数系统得到该电路的开关级函数表达式，从而得到CMOS传输门逻辑电路；

所述将布尔代数系统进行扩展，得到扩展的布尔代数系统是指：逻辑值集合V＝{ф，0，1，U}，变量为信号变量和开关变量，信号变量和开关变量均为二值变量，取值集合分别为子集合{0，1}和{ф，U}；

信号变量逻辑值1和0分别表示与信号性质有关的物理量的大小；

开关变量逻辑值U和ф表示与网络元件或节点性质有关的物理量的大小；

在集合{0，1}和{ф，U}上分别建立布尔代数系统，建立在集合{0，1}上的布尔代数为信号代数，建立在集合{ф，U}上的布尔代数为开关代数，它们均可用布尔代数的公式和定理进行运算和化简；

由所述逻辑值集合V和“与”、“或”、“非”三种基本逻辑运算，构成了一个四值布尔代数系统，四值变量ξ,η∈V，三种基本逻辑运算分别定义为

式1:

式2:

式3:

ξ,η是属于集合V的四值变量，为对ξ取补运算，对于子集合{0，1}和{ф，U}，分别有全序关系1＞0和U＞ф，信号代数和开关代数分别是子集合{0，1}和{ф，U}上的四值布尔代数的子代数；增加一个逻辑值阈值0.5作为1和0的分界值，全序关系为1＞0.5＞0，阈比较运算分为低阈比较运算和高阈比较运算，分别定义为

式4：

式5：x为MOS管栅极上的输入信号，

信号对晶体管元件的控制作用通过阈比较运算实现，晶体管元件对信号的控制作用通过“与”运算实现，产生的受控信号取值集合为{ф，0，1}，其中信号变量取值集合为{0，1}；定义在集合{ф，U}ⁿ×{0，1}ⁿ上的运算为“线或”运算，反映了n个受控信号在其并联节点上的相互作用，在并联节点上，信号取值集合为{ф，0，1，U}，其中信号变量取值集合为{0，1}，逻辑值集合V和五个运算式构成一个扩展的布尔代数系统；

所述由CMOS传输门逻辑电路建立相应的开关级信号流图模型是指：CMOS传输门逻辑电路的元件支路有PMOS管支路、NMOS管支路、CMOS传输门支路和连线支路四类，其中PMOS管和NMOS管为单沟道传输门，分别无损失地传输1信号和传输0信号，CMOS传输门支路为双沟道传输门，无损失地传输信号变量，此三类支路均为受控支路，连线支路为非受控支路，为直接传输支路，四类元件支路的开关级函数表达式分别为

由所给出的CMOS传输门逻辑电路，利用CMOS传输门逻辑电路中元件支路的信号流图模型，得到该电路的开关级信号流图模型，在开关级信号流图模型中，支路上的箭头表示信号的传输方向，箭头旁边的开关变量或开关常量为该支路的控制，该支路的左、右两个端点称为信号流图的节点，每个节点对应一个节点信号，其中左边的节点称为源节点或输入节点，连接信号源，右边的节点称为函数节点或输出节点，连接负载，该节点上的输出信号为受控信号。

2.根据权利要求1所述的CMOS传输门逻辑电路的逻辑表达式提取和开关级设计方法，其特征在于：所述晶体管元件对信号的控制作用通过“与”运算实现是指：MOS管的开关状态对输入信号的控制作用，以“与”运算表示“控制”运算，定义为

式6：

式中g为开关变量或开关函数，表示MOS管的控制作用，g∈{ф，U}；符号“[ ]”表示输入激励信号源，y为输入激励信号，y∈{0,1}；该运算执行后得到的输出信号为受控信号，取值集合为{ф，0，1}，其中ф为高阻状态；T代表逻辑值真，F代表逻辑值假。