• DocumentCode
    516617
  • Title

    Symbolic Simulators of Digital Circuits

  • Author

    Giambiasi, N. ; Hassouni, L. ; Piana, G. ; Saumont, S.

  • Author_Institution
    Faculté des sciences et techniques de Saint Jérome / LAIM, Rue Henri Poincaré - 13397 Marseille Cedex 13, Telephone 91 98 22 30
  • fYear
    1986
  • fDate
    16-18 Sept. 1986
  • Firstpage
    208
  • Lastpage
    210
  • Abstract
    In this paper, we present a structural and a behavioural symbolic simulators of digital circuits which work at the Register Transfer Level. One of our objectives in developing those simulators is to build basic tools capable to show a "formal proof" of correctness of hardware design. These two simulators allow the simulation of two representations of the same design, a behavioural and structural ones.
  • Keywords
    Circuit simulation; Circuit synthesis; Computational modeling; Computer simulation; Digital circuits; Hardware; Optical propagation; Process design; Registers; Telephony;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Solid-State Circuits Conference, 1986. ESSCIRC '86. Twelfth European
  • Conference_Location
    Delft, The Netherlands
  • Type

    conf

  • Filename
    5468424
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=516617