Title :
Flexible modeling environment for embedded systems design
Author :
Sutarwala, Shailesh ; Paulin, Pierre
Author_Institution :
Bell-Northern Res., Ottawa, Ont., Canada
Abstract :
The integration of hardware and software is perhaps the most important issue of embedded systems design. The software content of these systems is increasing in complexity which makes the code verification an important issue. Moreover, if the software development is to proceed in parallel with the hardware design, a simulation model representing the hardware behavior is needed. We describe a strategy for modeling the behavior of instruction set processors. The proposed strategy allows for retargetability and cycle true simulation with practically acceptable speed. The approach allows for very flexible timing annotations so that complex instruction sets with data dependant or addressing mode dependant timing can be modeled. The cycle true behavior allows the model to be embedded into its environment so that the system operation can be verified. The approach is seen as an improvement over a stand alone, hard-coded models since being retargetable, it requires a fraction of the development time
Keywords :
computer architecture; instruction sets; program verification; real-time systems; systems analysis; addressing mode dependant timing; code verification; complex instruction sets; cycle true simulation; data dependant; development time; embedded systems design; flexible modeling environment; flexible timing annotations; hard-coded models; hardware behavior; hardware design; hardware/software integration; instruction set processors; retargetability; retargetable; simulation model; software content; software development; system operation; Application specific processors; Costs; Digital signal processing; Embedded software; Embedded system; Hardware; Microprocessors; Real time systems; Software systems; Time to market;
Conference_Titel :
Hardware/Software Codesign, 1994., Proceedings of the Third International Workshop on
Conference_Location :
Grenoble
Print_ISBN :
0-8186-6315-4
DOI :
10.1109/HSC.1994.336715