• DocumentCode
    2104655
  • Title

    HW/SW CoVerification performance estimation and benchmark for a 24 embedded RISC core design

  • Author

    Albrecht, Thomas W. ; Notbauer, Johann ; Rohringer, Stefan

  • Author_Institution
    Siemens, Vienna, Austria
  • fYear
    1998
  • fDate
    19-19 June 1998
  • Firstpage
    808
  • Lastpage
    811
  • Abstract
    This paper describes the benchmarking of a HW/SW-coverification design strategy. The benchmark results were the base for making a principal verification decision for an already ongoing project at Siemens AG, Public Communication Network Group. The intention for this benchmark was to verify whether commercial available coverification tools can handle the design complexity of an embedded system containing 24 embedded RISC cores and provides the necessary performance in terms of simulation speed and throughput.
  • Keywords
    formal verification; high level synthesis; performance evaluation; reduced instruction set computing; HW/SW-coverification; Siemens AG; design complexity; embedded system; verification decision; Application specific integrated circuits; Communication networks; Embedded system; Hardware design languages; Permission; Protocols; Reduced instruction set computing; SDRAM; Signal design; Throughput;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 1998. Proceedings
  • Conference_Location
    San Francisco, CA, USA
  • Print_ISBN
    0-89791-964-5
  • Type

    conf

  • Filename
    724582