Title :
Dynamic Boolean Algebras
Author :
Leinward ; Lamdan, T.
Author_Institution :
Department of Applied Mathematics, The Weizmann Institute of Science
Abstract :
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.
Keywords :
Boolean algebra; digital design; logic simulators; transient errors; transition logic; Boolean algebra; Calculus; Circuit simulation; Circuit synthesis; Digital circuits; Logic circuits; Logic design; Logic functions; Mathematics; Switching circuits; Boolean algebra; digital design; logic simulators; transient errors; transition logic;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1980.1675483
