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
Link To Document :
بازگشت