• DocumentCode
    3478616
  • Title

    Modeling multi-valued circuits in SystemC*

  • Author

    Grosse, Daniel ; Fey, Görschwin ; Drechsler, Rolf

  • Author_Institution
    Inst. of Comput. Sci., Bremen Univ., Germany
  • fYear
    2003
  • fDate
    16-19 May 2003
  • Firstpage
    281
  • Lastpage
    286
  • Abstract
    The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area is SystemC which is a C++-library. To take advantage of SystemC in the multi-valued domain, the concept of multi-valued logic has to be embedded in SystemC In this paper such a concept is introduced and details of the implementation are given. This creates a powerful development environment to model and efficiently simulate complex multi-valued circuits and systems. Due to C++-concepts, like operator overloading and templates, the task of modeling circuits becomes very convenient and handling of multi-valued signals is elegant. This gives the opportunity to design large circuits that can be mapped onto physically multi-valued gates. A scalable arithmetic logic unit is studied and experimental results are given.
  • Keywords
    C++ language; logic design; logic gates; multivalued logic circuits; software libraries; C++-library; SystemC; circuit modeling; multi-valued gate; multivalued logic circuit; scalable arithmetic logic unit; Arithmetic; Circuit simulation; Circuit synthesis; Circuits and systems; Computer science; Formal verification; Hardware design languages; Logic programming; Multivalued logic; Power system modeling;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on
  • ISSN
    0195-623X
  • Print_ISBN
    0-7695-1918-0
  • Type

    conf

  • DOI
    10.1109/ISMVL.2003.1201418
  • Filename
    1201418