Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink Models
暂无分享,去创建一个
Christian Haubelt | Jürgen Teich | Martin Streubühr | Axel Schneider | Michael Jäntsch | M. Streubühr | C. Haubelt | J. Teich | Michael Jäntsch | A. Schneider
[1] Alain Girault,et al. Software implementation of synchronous programs , 2001, Proceedings Second International Conference on Application of Concurrency to System Design.
[2] Alberto L. Sangiovanni-Vincentelli,et al. Correct-by-construction transformations across design environments for model-based embedded software development , 2005, Design, Automation and Test in Europe.
[3] Alexandru Turjan,et al. System design using Khan process networks: the Compaan/Laura approach , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.
[4] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.
[5] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[6] Thorsten Grotker,et al. System Design with SystemC , 2002 .
[7] BerryGérard,et al. The ESTEREL synchronous programming language , 1992 .
[8] Ying Cai,et al. A Transformational approach to constraint relaxation of a time-driven simulation model , 2000, ISSS '00.
[9] Luigi Carro,et al. Simulink-Based MPSoC Design Flow: Case Study of Motion-JPEG and H.264 , 2007, 2007 44th ACM/IEEE Design Automation Conference.
[10] Nacer-Eddine Zergainoh,et al. Simulink-based MPSoC Design: New Approach to Bridge the Gap between Algorithm and Architecture Design , 2007, IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07).
[11] Christian Haubelt,et al. A SystemC-Based Design Methodology for Digital Signal Processing Systems , 2007, EURASIP J. Embed. Syst..
[12] Stephen A. Edwards,et al. The specification and execution of heterogeneous synchronous reactive systems , 1998 .
[13] Stavros Tripakis,et al. From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications , 2003, LCTES '03.
[14] Albert Benveniste,et al. The synchronous approach to reactive and real-time systems , 1991 .
[15] Klaus Schneider,et al. Averest: Specification, Verification, and Implementation of Reactive Systems , 2005 .