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

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