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