• DocumentCode
    2630397
  • Title

    Enhancing a simulation environment for computer architecture to a SystemC based testbench tool for design verification

  • Author

    Westmeier, M. ; Herwig, B. ; Börcsök, J.

  • Author_Institution
    Comput. Archit. & Syst. Program., Univ. of Kassel, Kassel, Germany
  • fYear
    2011
  • fDate
    27-29 Oct. 2011
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    This paper presents a simulation environment, which is a C++/SystemC based integrated framework for functional verification of designed components or electronic architectures and enhances the existing computer architecture simulation tool named sefca. As the VHDL sources are converted to SystemC it is sufficient for verification engineers to have a fundamental knowledge of C++ and the SystemC library. The testbench framework uses the same graphical user interface (GUI) based on the wxPython library, which was presented in the sefca tool. Verification of the design is supported by the SystemC verification library (SCV). Inter-Process-Communication is used to send the stimuli for simulation input from the GUI to the simulation process and the simulation results back to the online viewer in the GUI. With these enhancements sefca becomes a universal tool for testing the software and the hardware part of a new design at the same time. Working on the transaction level model (TLM) the proposed methodology offers a high performance and a high level of abstraction.
  • Keywords
    C++ language; computer architecture; digital simulation; formal verification; graphical user interfaces; hardware description languages; program testing; C++; SystemC based testbench tool; SystemC verification library; VHDL sources; computer architecture simulation; design verification; electronic architectures; graphical user interface; interprocess-communication; sefca tool; simulation environment; software testing; testbench framework; transaction level model; wxPython library; Clocks; Computer architecture; Hardware; Libraries; Object oriented modeling; Software; Unified modeling language; RTL; SystemC; TLM; VHDL; design verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information, Communication and Automation Technologies (ICAT), 2011 XXIII International Symposium on
  • Conference_Location
    Sarajevo
  • Print_ISBN
    978-1-4577-0744-5
  • Type

    conf

  • DOI
    10.1109/ICAT.2011.6102113
  • Filename
    6102113