Skip to main content
Springer Nature Link
Log in

Co-synthesis and co-simulation of control-dominated embedded systems

  • Published:
Design Automation for Embedded Systems Aims and scope Submit manuscript

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 within 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

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. HW/SW co-design for embedded telecom systems. In Proc. of ICCD'94 IEEE Int. Conf. on Computer Design, pages 278–291, Cambridge, Massachusetts, October 10–12, 1994.

  3. S. Antoniazzi, A. Balboni, W. Fornaciari, and D. Sciuto. The role of VHDL within the TOSCA co-design 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 E: Applied Sciences, vol. 310, 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 APCHDL'96, Bangalore, India, January 1996.

  6. T. Benner, R. Ernst, and J. Henkel. Hardware-software cosynthesis for microcontrollers. 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. Int. Journal of Computer Simulation, 4:155–182, April 1994.

    Google Scholar 

  8. M. Chiodo, P. Giusto, A. Jurecska, L. Lavagno, H. Hsieh, and A. Sangiovanni-Vincentelli. Synthesis of mixed software-hardware implementations from CFSM specifications. In Proc. of 2nd Workshop on HW/SW Co-Design, Cambridge, Massachusetts, October 1993.

  9. M. Chiodo, P. Giusto, A. Jurecska, H. C. Hsieh, A. Sangiovanni-Vincentelli, and L. Lavagno. Hardware-software codesign of embedded systems. IEEE Micro, 14(4):26–36, August 1994.

    Google Scholar 

  10. P. Chou, E. A. Wlakup, and G. Borriello. Scheduling for reactive real-time systems. IEEE Micro, 14(4):37–47, August 1994.

    Google Scholar 

  11. G. De Micheliet al. The Olympus synthesis system. IEEE Design and Test of Computers, 7(5):37–53, October 1990.

    Google Scholar 

  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-ICRAM95, 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-level 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 G. De Micheli. Hardware-software cosynthesis for digital systems. IEEE Design & Test, September 1993.

  17. D. Harel. Statecharts: A Visual 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.

    Google Scholar 

  20. T. Ismail, K. O'Brien, and A. Jerraya. Interactive system-level partitioning with PARTIE In Proc. of 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–17, 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 hardware/software co-design. In Proc. of 2nd Workshop on HW/SW Co-Design, Cambridge, Massachusetts, 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 of embedded hardware-software systems. IEEE Design & Test of Computer, 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(7), July 1994.

Download references

Author information

Authors and Affiliations

  1. ITALTEL-SIT, Central Research Labs, CLTE, 20019, Castelletto di Settimo m.se, MI, Italy

    Alessandro Balboni

  2. Dip. Elettronica e Informazione, Politecnico di Milano, P.zza L. Da Vinci 32, Milano, Italy

    William Fornaciari

  3. CEFRIEL, via Emanueli 15, 20126, Milano, MI, Italy

    William Fornaciari

  4. Dip. Elettronica e Informazione, Politecnico di Milano, P.zza L. Da Vinci 32, Milano, Italy

    Donatella Sciuto

Authors
  1. Alessandro Balboni
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. William Fornaciari
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. Donatella Sciuto
    View author publications

    You can also search for this author inPubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Balboni, A., Fornaciari, W. & Sciuto, D. Co-synthesis and co-simulation of control-dominated embedded systems. Des Autom Embed Syst 1, 257–289 (1996). https://doi.org/10.1007/BF00133305

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00133305

Keywords