多值开关级代数结点方程组及其求解

多值开关级代数可以在晶体管开关级为MOS电路建模,井已在分析与设计通路晶体管开关网络中取得了很好的效果。本文对多位开关级代数作了进一步研究,取得了若干新结果:(1)提出以(A#B)*G的形式来描述MOS管的双向开关特性;(2)提出以#范式及结点方程组来描述一个复杂的MOS开关网络的特性;(3)提出吸收定理,以简化并求解网络的结点方程组。

基于多值开关级代数的逻辑设计自动化

本文在多值开关级代数理论的基础上,提出了适合于NMOS及CMOS组合电路的逻辑设计自动化算法。这些算法包括:由真值表导出最简布尔表达式的算法,由布尔表达式导出与各种MOS电路相应的开关级代数表达式的算法;由开关级代数表达式导出其等价的MOS元件联接关系表的算法;从而初步实现了组合MOS电路的逻辑设计自动化。