Hardware/software communication and system integration for embedded architectures

Design Automation for Embedded Systems

Volumn 2, Issue 3-4, 1997, Pages 359-382

  Vercauteren, Steven ^a   Lin, Bill ^a  

^a IMEC   (Belgium)

Author keywords

Hardware Software Co Design; Interface and Communication Synthesis; Target Architecture

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SYSTEMS PROGRAMMING; DATA TRANSFER; INTERFACES (COMPUTER); PROGRAM PROCESSORS; RAPID PROTOTYPING; VLSI CIRCUITS;

APPLICATION SPECIFIC EMBEDDED SYSTEM ARCHITECTURE;

COMPUTER ARCHITECTURE;

EID: 0031130631     PISSN: 09295585     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1008843820959     Document Type: Article

References (30)

1. G. Berry, P. Couronne, and G. Gonthier. The synchronous approach to reactive and real-time sysems. IEEE Proceedings, 79, September 1991.
2. J. T. Buck et al. Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal on Computer Simulation, January 1994.
3. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. A formal methodology for hardware/software codesign of embedded systems. IEEE Micro, August 1994.
4. P. H. Chou, R. B. Ortega, G. Borriello. The Chinook Hardware/Software Co-Synthesis System, International Symposium on System Synthesis, September 1995.
5. H. De Man, I. Bolsens, B. Lin, K. Van Rompaey, S. Vercauteren, and D. Verkest. Co-design of DSP systems. NATO ASI Hardware/Software Co-Design, Tremezzo, June 1995.
6. R. Ernst, J. Henkel, and T. Benner. Hardware-software cosynthesis for microcontrollers. IEEE Design and Test of Computers, 10(4):64-75, December 1993.
7. D. Gajski, F. Vahid, S. Narayan, and J. Cong. Specification and Design of Embedded Systems. Prentice-Hall, 1994.
8. G. Goossens, I. Bolsens, B. Lin, and F. Catthoor. Design of heterogeneous ICs for mobile and personal communication systems. IEEE International Conference on Computer-Aided Design, November 1994.
9. R. Gupta and G. De Micheli. Hardware-software cosynthesis for digital systems. Computers and Electrical Engineering, 10(3)29-41, September 1993.
10. D. Harel. StateCharts: A visual formalism for complex systems. Science of Computer Programming, (8):231 -274, 1987.
11. P. .N. Hilfinger et al. DSP specification using the Silage language. Proceedings International Conference on Acoustics, Speech and Signal Processing, page 1057-1060. April 1990.
12. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
13. IEEE, IEEE/ANSI Standard 1014, Versatile Backplane Bus: VMEbus, IEEE Service Center, Piscataway, NJ, 1987.
14. T. B. Ismail, M. Abid, and A. A. Jerraya. Cosmos: A codesign approach for communication systems. Third International Workshop on Hardware/Software Codesign, September, 1994.
15. A. Kalavade, E. A. Lee. A Hardware/Software Codesign Methodology for DSP Applications. IEEE Design and Test of Computers, vol.10, no.3, pp.16-28, September, 1993.
16. D. Knapp, T. Ly, D. MacMillen, and R. Miller. Behavioral Synthesis Methodology for HDL-Based Specification and Validation. ACM Design Automation Conference, San Francisco, June 1995.
17. J. Kessels, K. van Berkel, R. Burgess, M. Roncken, and F. Schalij. A Tangram Program for Error Decoding in the Compact Disc Player. European Conference on Design Automation, 1992.
18. D. Lanneer, J. Van Praet, K. Schoofs, W. Geurts, A. Kifli, F. Thoen, and G. Goossens. Chess: retargetable code generation for embedded processors. In P. Marwedel and G. Goossens, editors, Code Generation for Embedded Processors. Kluwer Academic Publishers, Boston, 1995.
19. R. Lauwereins et al. Grape-II: A system level prototyping environment for DSP applications. IEEE Computer, pages 35-43, February 1995.
20. E. A. Lee and D. G. Messerschmitt. Synchronous data flow. IEEE Proceedings, September 1987.
21. B. Lin and S. Vercauteren. Synthesis of concurrent system interface modules with automatic protocol conversion generation. In Proceedings of the IEEE International Conference on Computer-Aided Design, ICCAD 94, pages 101-108. San José, CA, November 1994.
22. P. G. Paulin, C. Liem, T. C. May, and S. Sutarwala. FlexWare : a flexible firmware development environment for embedded systems. In Code generation for embedded processors, pp. 67-84, Kluwer Acad. Publ., Boston, 1995.
23. A. W. Roscoe, C. A. R. Hoare. Laws of Occam Programming. Theoretical Computer Science, 60, 177-229, 1988.
24. G. Koch, U. Kebschull, and W. Rosenstiel. A prototyping environment for hardware/software codesign in the Cobra project. Third International Workshop on Hardware/Software Codesign, September, 1994.
25. C. L. Seitz. System Timing. In C. .A. Mead and L. A. Conway, editors, Introduction to VLSI Systems, Chapter?, Addison-Wesley, 1980.
26. M. Srivastava, B. Richards, and R. W. Brodersen. System level hardware moduke generation. IEEE Transactions on VLSI Systems, 3(1), March 1995.
27. D. E. Thomas, J. K. Adams, and H. Schmitt. A model and methodology for hardware-software codesign. IEEE Design and Test for Computers, page 6-15, September 1993.
28. K. van Berkel. Handshake circuits: an intermediary between communicating processes and VLSI. Ph.D thesis, Philips Research Laboratories, Eindhoven, The Netherlands, 1992.
29. A. van Someren and C. Atack. The ARM RISC Chip, A programmer's Guide. Addison-Wesley Publishing Company, 1994. ISBN 0 201 40695 0.
30. C. Ykman, B. Lin, and H. De Man. Assassin: An asynchronous synthesis system for control circuits. User manual and tutorial. IMEC report. 1994.