• DocumentCode
    1141059
  • Title

    Dynamic Boolean Algebras

  • Author

    Leinward ; Lamdan, T.

  • Author_Institution
    Department of Applied Mathematics, The Weizmann Institute of Science
  • Issue
    10
  • fYear
    1980
  • Firstpage
    950
  • Lastpage
    953
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1980.1675483
  • Filename
    1675483