Title :
Verification of embedded real-time systems using hardware/software co-simulation
Author :
El Shobaki, Mohammed
Author_Institution :
IDt/CUS, Malardalen Univ., Vasteras, Sweden
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;
Conference_Titel :
Euromicro Conference, 1998. Proceedings. 24th
Print_ISBN :
0-8186-8646-4
DOI :
10.1109/EURMIC.1998.711774