| Flexible modeling environment for embedded systems design |
| Full text |
Pdf
(474 KB)
|
| Source
|
International Conference on Hardware Software Codesign
archive
Proceedings of the 3rd international workshop on Hardware/software co-design
table of contents
Grenoble, France
SESSION: Analysis and synthesis
table of contents
Pages: 124 - 130
Year of Publication: 1994
ISBN:0-8186-6315-4
|
|
Authors
|
|
| Sponsors |
|
| Publisher |
IEEE Computer Society Press
Los Alamitos, CA, USA
|
| Bibliometrics |
Downloads (6 Weeks): 5, Downloads (12 Months): 14, Citation Count: 3
|
|
|
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. In this paper 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.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
"IEEE VHDL LRM", IEEE Standard 1076, 1987.
|
| |
3
|
|
| |
4
|
"Intel 80C196KC User's Guide", Intel Corporation, 1990.
|
| |
5
|
"ST7291 User Manual", SGS-Thomson Micro-electronics, 1993
|
| |
6
|
"ST18950 User Manual", SGS-Thomson Micro-electronics, 1993
|
 |
7
|
Takanobu Baba , Hiroshi Minakawa , Kenzo Okuda, A visual microprogramming system, Proceedings of the 20th annual workshop on Microprogramming, p.23-30, December 01-04, 1987, Colorado Springs, Colorado, United States
[doi> 10.1145/255305.255309]
|
 |
8
|
|
| |
9
|
|
CITED BY 3
|
|
Pierre Paulin , Jean Fréhel , Michel Harrand , Elisabeth Berrebi , Clifford Liem , François Naçabal , Jean-Claude Herluison, High-level synthesis and codesign methods: an application to a videophone codec, Proceedings of the conference on European design automation, p.444-451, September 18-22, 1995, Brighton, England
|
|
|
|
|
|
Stephen Edwards , Luciano Lavagno , Edward A. Lee , Alberto Sangiovanni-Vincentelli, Design of embedded systems: formal models, validation, and synthesis, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
|
|