A multiple-valued algebra for modeling MOS VLSI circuits at switch-level
A Multiple-Valued Algebra for Modeling MOS VLSI Circuits at Switch-Level

A multiple-valued algebra for modeling MOS VLSI circuits at switch-level is proposed in this paper. Its structure and properties are studied. This algebra can be used to transform a MOS digital circuit to a switch-level algebraic expression so as to generate the truth table for the circuit and to derive a Boolean expression for it. In the paper, methods to construct a switch-level algebraic expression for a circuit and methods to simplify expressions are given. This algebra provides a new tool for MOS VLSI circuit design and analysis. Project supported by the National Natural Science Foundation of China.