Proceedings Design, Automation and Test in Europe. Design Automation for Embedded Systems 1 , , Proceedings of the conference on Design, automation and test in Europe, , International Workshop on Hardware-Software Co-design 4, , Lavagno, C.
Passerone, A. Sangiovanni-Vincentelli, E.
Sentovich, K. Articles 1—20 Show more. Help Privacy Terms. IEEE micro 14 4 , , Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design.
Passerone, E. Sentovich, B. Tabbara, M. Chiodo, H. Hsieh, L. Lavagno, A. Sangiovanni-Vincentelli, and K. Kluwer Academic Publishers, April Bates, E. Chester, and D. ACMPress, May Bhattacharyya, R.
Hardware/Software Codesign Projects
Leupers, and P. Software synthesis and code generation for signal processing systems. Mascot: a specification and cosimulation method integrating data and control flow. In Proceedings of the conference on Design, automation and test in Europe , pages ACM Press, Buck, S. Ha, E. Lee, and D. Lukai Cai, Daniel D. Gajski, Mike Olivarez, and Paul Kritzingers. Technical report, University of California, Irvine, June Andrew Cassidy. High-level performance modelling and design exploration, -.
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach / Edition 1
Heterogeneous simulation - mixing discrete-event models with dataflow. Christen and K.
VHDL Coste, F. Hessel, and A. Multilanguage codesign using SDL and Matlab, Embedded processors: Characteristics and trends. Technical report, Delft University of Technology, Delgado Kloos and E. Janneck, Edward A. Overview of the Ptolemy project. Technical report, University of California at Berkeley, March A survey of system-level design notations for embedded systems.
List of Tables
Stephen Edwards, L. Lavagno, E. Lee, and A. Design of embedded systems: Formal models, validation, and synthesis.
EEC Embedded Software Systems - Codesign Projects
Stephen Anthony Edwards. PhD thesis, University of California, Berkeley, Design languages for embedded systems. Technical report, Synopsys, Inc. Eisenring, J. Teich, and L. In Proc. Taming heterogeneity - the Ptolemy approach. Ellervee, S. Kumar, A. Jantsch, B. Svantesson, T.
Meincke, and A. Irsyd: An internal representation for heterogeneous embedded systems. Ernst et al. Microprocessors and Microsystems , May Fin, F. Fummi, M. Martignano, and M. SystemC: A homogenous environment to test embedded systems. ACMPress, April Gajski and F.
Specification and design of embedded software-hardware systems. Gajski, J. Zhu, R. Domer, A. Gerstlauer, and S. SpecC: Specification Language and Methodology. Kluwer Academic Publishers, January IP-centric methodology and design with the SpecC language. Technical report, University of California, Irvine, Essential issues in codesign.