Issue No. 10 - October (1980 vol. 29)
S. Leinward , Department of Applied Mathematics, The Weizmann Institute of Science
Switching algebra is unable to represent the dynamic behavior of digital circuits. There are several known methods for modeling the dynamics of circuits, using either multivalued algebras or specialized operators. None of them preserves the framework of switching algebra; therefore, existing analysis and synthesis methods developed by switching theory cannot be used.
transition logic, Boolean algebra, digital design, logic simulators, transient errors
T. Lamdan and S. Leinward, "Dynamic Boolean Algebras," in IEEE Transactions on Computers, vol. 29, no. , pp. 950-953, 1980.