• DocumentCode
    3591543
  • Title

    Verification of embedded real-time systems using hardware/software co-simulation

  • Author

    El Shobaki, Mohammed

  • Author_Institution
    IDt/CUS, Malardalen Univ., Vasteras, Sweden
  • Volume
    1
  • fYear
    1998
  • Firstpage
    46
  • Abstract
    This paper presents hardware/software co-simulation and discusses its suitability in the development of real-time systems. Due to the facts that time-to-market challenge has increased the need for shortening the development process, new techniques and methodologies are introduced. A fashionable technique is to use co-simulation environments in the verification phase of a design process. As this technique is being adopted, and the fact that companies from a wide industry area are using it, real-time issues are becoming relevant. This paper discusses the use of a co-simulation tool for verification of embedded real-time systems
  • Keywords
    formal verification; high level synthesis; real-time systems; systems analysis; embedded real-time systems verification; hardware/software co-simulation; time-to-market challenge; Application specific integrated circuits; Embedded computing; Embedded software; Embedded system; Field programmable gate arrays; Frequency; Hardware; Process design; Real time systems; Virtual prototyping;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Euromicro Conference, 1998. Proceedings. 24th
  • ISSN
    1089-6503
  • Print_ISBN
    0-8186-8646-4
  • Type

    conf

  • DOI
    10.1109/EURMIC.1998.711774
  • Filename
    711774