Co-synthesis and co-simulation of control-dominated embedded systems
Abstract
This paper presents a methodology for hardware/software co-design with particular emphasis on the problems related to the concurrent simulation and synthesis of hardware and software parts of the overall system. The proposed approach aims at overcoming the problem of having two separate simulation environments by defining a VHDL-based modeling strategy for software execution, thus enabling the simulation of hardware and software modules with the same VHDL-based CAD framework. The proposed methodology is oriented towards the application field of control-dominated embedded systems implemented onto a single chip.
References
[1]
M. Altmae, P. Gibson, L. Taxen, and K. Torkelsson. Verification of systems containing hardware and software. In Proc, of EURO-VHDL '91. Stockholm, September 1991.
[2]
S. Antoniazzi, A. Balboni, W. Fornaciari, and D. Sciuto. HWISW co-design for embedded telecom systems. In Proc. of ICCD94 IEEE l,. Conf on Computer Design, pages 218-291. Cambridge. Massachusetts. October 10-12,1994.
[3]
S. Antoniazzi, A. Balboni, W. Fornaciari, and D. Sciuto. The role of VHDL within the TOSCA codesign framework. In Proc. of Euro- VHDL 94. Grenoble, France, September 1994.
[4]
A. Balboni, W. Fornaciari, and D. Sciuto. TOSCA: a pragmatic approach to co-design automation of control dominated systems. Hardware/Software Co-design NATO ASI Series. Series F: Applied Sciences. vol. 3l0, pp. 265-294. Kluwer Academic Publisher, 1996.
[5]
A. Balboni, W. Fornaciari, and D. Sciuto. System-level exploration for control-dominated embedded systems. In Proc. of APCHDL96, Bangalore. India. January 1996.
[6]
T. Benner, R. Ernst, and J. Henkel. Hardware-software cosynthesis for inicrocontrollers. IEEE Design & Test. 10(4). December 1993.
[7]
J. Buck, S. Ha, A. Lee, and D. G. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. Ins Journal of Computer Simulation, 4:155-182, April 1994.
[8]
M. Chiodo, P. Giusto, A. Jurecska, L. Lavagno, H. Hsieh, and A. Sangiovanni-Vincentelli. Synthesis of mixed software-hardware implementations from CESM specifications. In Proc. of 2nd Workshop on HW/SW Co.Design, Cambridge. Massachussetts, October 1993.
[9]
M. Chiodo, P. Giusto, A. Jurecska, H.C. Hsieh, A. Sangiovanni-Vincentelli, and L. Lavagno. Hardware-software co-design of embedded systems. IEEE Micro. 14(4):26-36. August 1994.
[10]
P. Chou, E. A. Wlakup, and G. BorrieIIo. Scheduling for reactive real-time systems. IEEE Micro. 14(4):37-47, August 1994.
[11]
G. De Micheli et al. The Olympus synthesis system. IEEE Design and Test of Computers. 7(5):77-53, October 1990.
[12]
W. Fornaciari, A. Agostini, G. S. Sturniolo, N. Missere, M. Vincenzi, and S. Prodi. Hardware-software co-design within the TOSCA design environment. In Proc. of IEEE-ICRAM9S. Istanbul. Turkey. August 1995.
[13]
D. Gajski, F. Vahid, and S. Narayan. A system-design methodology: executable-specification refinement. In Proc. of EDAC '94. Paris, France, February 1994.
[14]
S. Narayan and D. Gajski. Synthesis of system-Ievel bus interfaces. In Proc. of EDAC 94. Paris. France, February 1994.
[15]
R. K. Gupta, C. Coelho, and G. De Micheli. Synthesis and simulation of digital systems containing interacting hardware and software components. In Proc. of the 29th DAC. June 1992.
[16]
R. K. Gupta and C. De Micheli. Hardware-software cosynthesis for digital systems. IEEE Design & Test. September 1993.
[17]
D. Harel. Statecharts: A VisuaI Formalism for Complex Systems. Science of Computer Programming. North-Holland. 1987.
[18]
D. Harel et al. STATEMATE: a working environment for the development of complex reactive systems IEEE Trans. on Software Engineering. 16(4). April 1990.
[19]
C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 18(8):66-77 August 1978.
[20]
T. Ismail, K. O'Brien, and A. Jerraya. Interactive system-level partitioning with PARTIF. In Proc. EDAC'94, Paris, France. February 1994.
[21]
H. Jifeng, I. Page e J. Bowen. Towards a Provably Correct Hardware Implementation of OCCAM. Technical Report Oxford University Computing Laboratory. 1994.
[22]
A. K. Mok. The design of real-time programming systems based on process models. In Proc. of IEEE Real-Time Systems Symposium, pp. 5-Il, December 1984.
[23]
U. Steinhausen, R. Camposano, H. Gunther, P. Ploger, M.Theibinger, H. Veit, H. T. Vierhaus, U. Westerholz, and J. Wilberg, System-synthesis using hasdware/softwase co-design. In Proc. of 2nd Workshop on HW/SW Co-Design. Cambridge. Massachussetts. October 1993.
[24]
S. Sutarwala, P. Paulin, and Y. Kumar. Insulin: an instruction set simulation environment. In Proc. of CHDL'93, pages 355-362. Ottawa, Canada, April 1993.
[25]
F. Vahid and D. Gajski, SLIF: a specification-level intermediate format for system design. In Proc. ED & TC 95, pages 185-188.
[26]
F. Vahid and D. D. Gajski. Specification and design or embedded hardware-software systems. IEEE Design & Test of Computer. pages 53-67. Spring 1995.
[27]
W. Wolf, A. Takach, C. Huang, and R. Manno. The Princeton University Behavioral Synthesis System. 29th DAC. 1992.
[28]
W. H. Wolf, Hardware-software co-design of embedded systems. In Proceedings of the IEEE. 82(1), July 1994.
Index Terms
- Co-synthesis and co-simulation of control-dominated embedded systems
Recommendations
Co-synthesis and co-simulation of control-dominated embedded systems
This paper presents a methodology for hardware/software co-design with particular emphasis on the problems related to the concurrent simulation and synthesis of hardware and software parts of the overall system. The proposed approach aims at overcoming ...
HW/SW Co-Design and Implementation of Multi-Standard Video Decoding
ESTMED '06: Proceedings of the 2006 IEEE/ACM/IFIP Workshop on Embedded Systems for Real Time MultimediaIn this paper, we present a design and implementation of multi-standard video decoder, which adopts the principle of HW/SW cooperation to achieve real time video decoding process. Based on the profiling of MPEG-1/2/4 video decoding algorithms, the ...
Embedded UML: a merger of real-time UML and co-design
CODES '01: Proceedings of the ninth international symposium on Hardware/software codesignIn this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concepts drawn from the Hardware-Software co-design field. Embedded UML first selects ...
Comments
Information & Contributors
Information
Published In
Publisher
Kluwer Academic Publishers
United States
Publication History
Published: 01 June 2001
Author Tags
Qualifiers
- Chapter
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 09 Nov 2024
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in