Hardware-Software Codesign of Embedded Systems

IEEE Micro

Volumn 14, Issue 4, 1994, Pages 26-36

  Chiodo, Massimiliano ^a   Giusto, Paolo ^a   Jurecska, Attila ^a   Hsieh, Harrcy C ^b   Sangiovanni Vincentelli, Alberto ^b   Lavagno, Luciano ^c  

^a Magneti Marelli SpA   (Italy)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONTROL EQUIPMENT; CONTROL SYSTEM SYNTHESIS; FINITE AUTOMATA; INTERFACES (COMPUTER); REAL TIME SYSTEMS;

COMPUTER SYNTHESIS; EMBEDDED SYSTEMS; HARDWARE SOFTWARE CODESIGN;

COMPUTER AIDED DESIGN;

EID: 0028485267     PISSN: 02721732     EISSN: None     Source Type: Journal    
DOI: 10.1109/40.296155     Document Type: Article

References (14)

1. R.P. Kurshan, “Analysis of Discrete Event Coordination,” Lecture Notes in Computer Science, J.W. de Bakker, W.P. de Roever, and G. Rozenberg, eds., Springer-Verlag, Berlin, Heidelberg, Germany, 1990, pp. 414–453.
2. A. Benveniste and G. Berry, “The Synchronous Approach to Reactive and Real-Time Systems, “ Proc. IEEE, Vol. 79, No. 9, IEEE, Piscataway, N.J., 1991, pp. 1270-1282.
3. D. Druzinski and D. Har'el “Using Statecharts for Hardware Description and Synthesis,” IEEE Trans. Computer-Aided Design, Vol. 8, No. 7, 1989, pp. 798–807.
4. N. Woo, A. Dunlop, and W. Wolf, “Codesign from Co-specification,” Computer, Vol. 27, No. 1, Jan. 1994, pp. 42–47.
5. R.K. Gupta, C.N. Coelho, Jr., and G. De Micheli, “Program Implementation Schemes for Hardware-Software Systems, “ Compute, Vol. 27, No. 1, Jan. 1994, pp. 48–55.
6. P. Chou, R. Ortega, and G. Borriello, “Synthesis of Hardware/Soft-ware Interface in Microcontroller-Based Systems, “ Proc. Int'l Conf Computer-Aided Design, IEEE Computer Society Press, Los Alamitos, Calif., 1992, pp. 488–495.
7. M.C. McFarland, T.J. Kowalski, and M.J. Peman, “Language and Formal Semantics of the Specification System CPA, “ Proc. Int'l Workshop Hardware-Software Codesign, CS Press, 1991, pp. 342–345.
8. N. Halbwachs et al., “The Synchronous Data Flow Programming Language LUSTRE,” Proc. IEEE, Vol. 79, No. 9, IEEE, Sept. 1991, pp. 1305–1320.
9. W. Wolf et al., “The Princeton University Behavioral Synthesis System,” Proc. 29th ACM/IEEE Design Automation Conf., Assn. Computing Machinery, June 1992, pp. 182–187.
10. M. Chiodo et al., “A Formal Specification Model for Hard-ware/Software Codesign, “ Tech. Report UCB/ERL M93/48, University of California at Berkeley, Berkeley, Calif., June 1993.
11. W. Baker, “Application of the Synchronous/Reactive Model to the VHDL Language,” Tech. Report, UCB/ERL-93-10, U.C. Berkeley, 1993.
12. E.M. Sentovich et al., “Sequential Circuit Design Using Synthesis and Optimization,” Proc. Int'l Conf. Computer Design, CS Press, Oct. 1992, pp. 328–333.
13. A.V. Aho, R. Sethi, and J.D. Ullman, Compilers, Principles, Techniques, and Tools, Addison-Wesley, Reading, Mass., 1988.
14. R. Alur, C. Courcoubetis, and D. Dill, “Model-Checking in Dense Real Time, “ Information and Computation, Vol.104, No. 1, May 1993, pp. 2–34.