• DocumentCode
    2996961
  • Title

    Gate-level simulation of digital circuits using multi-valued Boolean algebras

  • Author

    Woods, S. ; Casinovi, G.

  • Author_Institution
    Sch. of Electr. & Comput. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
  • fYear
    1995
  • fDate
    5-9 Nov. 1995
  • Firstpage
    413
  • Lastpage
    419
  • Abstract
    This paper describes an algorithm for the simulation of gate-level logic. Multiple logic levels are used to describe the state of each node. Each state corresponds to a different voltage level, and the number of levels to be used for a simulation is user-defined. This feature simplifies considerably the interface between a digital and an analog simulator. A DC solver is incorporated to find the initial operating point of a circuit before a transient analysis begins. This solver has the capability of finding the operating point of gates located in feedback loops. For transient analysis, a gate delay model that takes into account the slope of the input waveforms is used. The performance of the algorithm is demonstrated by simulations of a number of benchmark circuits.
  • Keywords
    Boolean algebra; circuit analysis computing; logic CAD; logic design; multivalued logic; transient analysis; digital circuits; feedback loops; gate delay model; gate-level logic; multi-valued Boolean algebras; performance; simulation; transient analysis; Algebra; Circuit simulation; Computational modeling; Digital circuits; Logic devices; Logic gates; Propagation delay; Timing; Transient analysis; Voltage;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer-Aided Design, 1995. ICCAD-95. Digest of Technical Papers., 1995 IEEE/ACM International Conference on
  • Conference_Location
    San Jose, CA, USA
  • ISSN
    1092-3152
  • Print_ISBN
    0-8186-8200-0
  • Type

    conf

  • DOI
    10.1109/ICCAD.1995.480149
  • Filename
    480149