A. S. Antoniazzi, A. Balboni, W. Fornaciari, and D. R. Sciutoabr97-]-j, A methodology for control-dominated systems codesign, Third International Workshop on Hardware/Software Codesign, pp.2-9, 1994.
DOI : 10.1109/HSC.1994.336729

P. [. Altmae and . Gibson, Hardware/Software Coverification, Proceedings of VHDL-Forum for CAD, 1994.

]. M. Alt95a and . Altmae, Hardware/Software Coverification, Proceedings of EDA Traff, 1995.

]. M. Alt95b and . Altmae, Synthesia tools documentation, 1995.

. Are00 and . Arexsys, Arexsys : Product Description, 2000.

M. R. Barbacci, Co-Verification of Embedded Systems Design Using Virtual System Integration Eagle Design Automation Instruction set processor specification (isps) : The notation and its applications, IEEE trans. on computer, vol.30, issue.1, pp.24-40, 1981.

L. [. Berry and . Cosserat, The Esterel Synchronous Programming Language and its Mathematical Semantics. Language for Synthesis, Ecole National, 1984.
URL : https://hal.archives-ouvertes.fr/inria-00076230

P. [. Budowki and . Dembinski, An introduction to Estelle : A Specification Language for Distributed Systems, Computer Networks and ISDN Systems, pp.2-23, 1987.

]. G. Ber91 and . Berry, Hardware Implementation of Pure Esterel, The ACM Workshop on Formal Methods in VLSI Design, 1991.

F. Balarin, P. Giusto, A. Jurecska, C. Passerone, E. Sentovich et al., Hardware-Software Co- Design of Embedded Systems, The POLIS Approach, ENGINEE- RING AND COMPUTER SCIENCE, vol.404, 1997.

J. Buck, S. Ha, and E. Lee, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, International Journal of Computer Simulation, 1994.
DOI : 10.1016/B978-155860702-6/50048-X

]. I. Bol97 and . Bolsens, Specification, Cosimulation and Hardware/Software Interfacing for Telecom Systems, Leuven Codesign Course, 1997.

P. [. Benzakki and . Asar, Framework and Multi-Formalism : the ASAR Project, Fourth International IFIP 10.5 Working Conference on Electronic Design Automation Frameworks, 1994.

]. J. Bru87 and . Bruijnin, Evaluation and integration of specification languages, Computer Networks and ISDN Systems, vol.13, issue.2, pp.75-89, 1987.

W. [. Barros, X. Rosentiel, and . Xiong, A method for partitionning unity language in hardware and software, European Design Automation Conference 5EuroDAC), pp.220-225, 1994.

R. [. Becker and S. G. Singh, An Engineering Environment for Hardware/Software Co-Simulation, 29th ACM/IEEE Proc. of the Design Automation Conference, pp.129-134, 1992.
DOI : 10.1016/b978-155860702-6/50050-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.5633

]. K. Buc94 and . Buchenreider, A prototyping Environment for Control-Oriented HW/SW Systems using State-Charts, Activity-Charts and FPGAs, IEEE CS Press Euro-DAC with Euro-VHDL, pp.60-65, 1994.

]. A. Cha96 and . Changuel, Prototypage rapide d'architectures mixtes logiciels/matériel à partir de modèles mixtes C-VHDL, 1996.

S. [. Chang, E. Ha, and . Lee, Heterogeneous simulation mixing discrete event models with dataflow, Journal on VLSI Signal Processing, vol.13, issue.1, 1997.

D. [. Calvez, O. Heller, and . Pasquier, System Performance Modeling and Analysis with VHDL : Benefits and Limitations, Proceedings of VHDL-Forum Europe Conference, 1995.

. Coware, CoWare : Product Description, 1996.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.178-188, 1987.
DOI : 10.1145/41625.41641

D. [. Coumeri and . Thomas, A simulation environment for hardware-software codesign, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors, 1995.
DOI : 10.1109/ICCD.1995.528791

]. D. Cur91 and . Curry, Using C on the UNIX System, o'reilly & associates edition, 1991.

]. A. Dav95 and . Davis, Software Requirements : Analysis and Specification. Elsiever, NY, Daveau. Specifications Systemes et Synthese de la Communication Pour Le Co-Design Logiciel/Materiel, 1995.

J. M. Delosme, J. Benzakki, B. Djafri, R. H. Java, and . Vhdl-ams, Ada or C for System Level Specification ?, DATE'99, 1999.

J. Daveau, G. Fernandes-marchioro, and A. A. Jerraya, VHDL Generation from SDL Specification, pp.182-201, 1997.
DOI : 10.1016/b978-155860702-6/50011-9
URL : https://hal.archives-ouvertes.fr/hal-00016246

]. R. Ernst, J. Henkel, . Th, W. Benner, U. Ye et al., The COSYMA Environment for Hardware/Software Cosynthesis, Journal of Microprocessors and Microsystems, 1995.

L. Freund, M. Israel, F. Rousseau, J. M. Berge, M. Auguin et al., A codesign experiment in acoustic echo cancellation : GDMDFa ", ACM Transaction on Design Automation for Embedded Systems, vol.2, issue.4, 1997.

R. [. Gajski, J. Dömer, and . Zhu, IP-Centric Methodology and Design with the SpecC Language, Contribution to NATO-ASI Workshop on System Level Synthesis, 1998.
DOI : 10.1007/978-94-011-4698-2_10

P. [. Gautier and . Guernic, SIGNAL: A declarative language for synchronous programming of real-time systems, Computer Science, Formal Languages and Computer Architectures, p.274, 1987.
DOI : 10.1007/3-540-18317-5_15
URL : https://hal.archives-ouvertes.fr/inria-00075791

D. [. Gong and . Gajski, Model refinement for hardware-software codesign, IEEE Design & Test of Computers, pp.270-274, 1996.
DOI : 10.1145/250243.250247

]. W. Glu93 and . Glunz, Methodology for using SDL for Hardware Design at abstract Levels, 1993.

G. [. Gupta and . Micheli, System-level synthesis using re-programmable components, [1992] Proceedings The European Conference on Design Automation, pp.2-7, 1992.
DOI : 10.1109/EDAC.1992.205881
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.4881

[. Graphics, A Cosimulation Tool from Mentor Graphics for ST20, 1996.

A. Group, Application-Specific Design Automation Tools, 1996.

A. Group, Signal Processing WorkSystem : DSP Processor Models User's Guide, 1996.

D. [. Gokhale and . Schmidt, The performance of the CORBA dynamic invocation interface and dynamic skeleton interface over high-speed ATM networks, Proceedings of GLOBECOM'96. 1996 IEEE Global Telecommunications Conference, pp.50-56, 1996.
DOI : 10.1109/GLOCOM.1996.594332

F. [. Gajski and . Vahid, Specification and design of embedded hardware-software systems, IEEE Design & Test of Computers, vol.12, issue.1, pp.53-67, 1995.
DOI : 10.1109/54.350695

D. Gajski, F. Vahid, S. Narayan, and J. Gong, Specification and Design of Embedded Systems, 1994.

]. D. Har87 and . Harel, Statecharts : A Visual Formalism for Complex Systems, Science of Computer Programming, vol.8, pp.231-274, 1987.

]. F. Hessel, P. Coste, P. L. Marrec, N. Zergainoh, J. M. Daveau et al., Communication interface synthesis for multilanguage specifications, Proceedings Tenth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype (Cat. No.PR00246), 1999.
DOI : 10.1109/IWRSP.1999.779025
URL : https://hal.archives-ouvertes.fr/hal-00008101

H. [. Hagen and . Meyer, Timed and Untimed Hardware/ Software Cosimulation : Application and Efficient Implementation, International Workshop on Hardware-Software Codesign, 1993.

D. Hermann, J. Henkel, and R. Ernst, An approach to the adaptation of estimated cost parameters in the COSYMA system, Third International Workshop on Hardware/Software Codesign, 1994.
DOI : 10.1109/HSC.1994.336718

P. [. Hessel, A. Lemarrec, and . Jerraya, MCI ??? Multilanguage Distributed Co-Simulation Tool, 1998.
DOI : 10.1007/978-0-387-35570-2_17
URL : https://hal.archives-ouvertes.fr/hal-00016267

]. C. Hoa85 and . Hoare, Communicating sequential Processes, HP98] HP. HP Advanced Design System, 1985.

[. Ismail and A. Jerraya, Synthesis steps and design models for codesign, IEEE Computer, special issue on Rapid-prototyping of Microelectronics Systems, pp.44-52, 1995.
DOI : 10.1109/2.347999
URL : https://hal.archives-ouvertes.fr/hal-00008146

[. Ismail, K. O-'brien, and A. A. Jerraya, PARTIF : Interactive system-level Partitionning, VLSI Design, pp.333-345, 1995.

T. [. Issarny, A. Saridakis, and . Zarras, A Survey of Architecture Description Languages, 1998.

A. Jantsch, S. Kumar, I. Sander, B. Svantesson, J. Öberg et al., Evaluation of Languages for Specification of Complex Telecom Systems, 1998.

K. [. Jerraya and . O-'brien, SOLAR : An Intermediate Format for System-level Modeling and Synthesis, 1994.

]. C. Jon90 and . Jones, Systematic software development using vdm, International Series in Computer Science, 1990.

A. A. Jerraya, M. Romdhani, P. L. Marrec, F. Hessel, P. Coste et al., Multilanguage Specification for System Design, System-Level Synthesis, NATO ASI 1998, pp.103-136, 1999.
DOI : 10.1007/978-94-011-4698-2_3
URL : https://hal.archives-ouvertes.fr/hal-00016268

A. A. Jerraya, M. Romdhani, C. Valderrama, P. L. Marrec, F. Hessel et al., Hardware/Software co-design, pp.235-262, 1997.
DOI : 10.1007/0-387-32500-X_7
URL : https://hal.archives-ouvertes.fr/hal-01384974

]. C. Kea95, M. Delgado-kloos, and . Lopez, From Lotos to Vhdl, Current Issues in Electronic Modelling, vol.3, 1995.

D. [. Karathanasis, D. Karkas, and . Metafas, DECT Source Algorithmic Components

U. [. Koch and W. Kebshull, A prototyping environment for hardware/software codesign in the COBRA project, Third International Workshop on Hardware/Software Codesign, 1994.
DOI : 10.1109/HSC.1994.336728

]. K. Kim, Y. Kim, Y. Shin, K. Choi, and S. Ha, An Integrated Hardware-Software Cosimulation Environment with Automated Interface Generation, Proceedings of 7th IEEE International Workshop on Rapid System Prototyping, pp.66-71, 1996.

E. [. Kalavade and . Lee, A Hardware-Software Codesign Methodology for DSP Applications, IEEE Design & Test of Computers, pp.16-28, 1993.

G. [. Ku and . Micheli, HardwareC, a Language for Hardware Design, 1988.

S. [. Kloos, L. Pickin, A. Sanchez, and . Groba, High-Level Specification Languages for Embedded System Design, System-Level Synthesis, NATO ASI 1998, pp.137-174, 1999.
DOI : 10.1007/978-94-011-4698-2_4

W. Loucks, B. J. Doray, and D. G. Agnew, Experiences in Real Time Hardware- Software Cosimulation, Proc VHDL Int. Users Forum, pp.47-57, 1993.

]. W. Lda93b, B. J. Loucks, D. G. Doray, and . Agnew, Experiences In Real Time Hardware- Software Cosimulation, Proc VHDL Int. Users F o rum (VIUF), pp.47-57, 1993.

J. Liu, M. Lajolo, and A. Sangiovanni-vincentelli, Software timing analysis using HW/SW cosimulation and instruction set simulator, Proceedings of the sixth international workshop on Hardware/software codesign , CODES/CASHE '98, pp.67-71, 1998.
DOI : 10.1145/278241.278299

C. Liem, F. Naçabal, C. Valderrama, P. Paulin, and A. A. Jerraya, Cosimulation and Software Compilation Methodologies for the System-on-a-Chip in Multimedia, IEEE Design & Test of Computers, 1997.

J. [. Lee and . Rabaey, A Hardware Software Cosimulation Environment, International Workshop on Hardware-Software Codesign, 1993.

B. [. Lambrette, G. Schmandt, H. Post, and . Meyr, Cossap-Matlab Cosimulation, ICSPAT95, 1995.

L. Lavagno, A. Sangiovani-vincentelli, and H. Hsieh, Embedded System Codesign : Synthesis and Verification [Mar96] Integrated System Design with an Object Oriented Methodology CIEM : Current Issues in Electronic Modelling, Kluwer Academic, pp.213-242, 1996.

]. R. Mil83 and . Milner, Calculi for synchrony and asynchrony, Theoritical Computer Science, pp.267-310, 1983.

[. Marrec, C. Valderrama, F. Hessel, and A. Jerraya, Harware, Software and Mechanical Cosimulation for Automotive Applications, RSP'98, 9th IEEE International Workshop on Rapid System Prototyping, 1998.

F. [. Narayan, D. Vahid, and . Gajski, System specification and synthesis with the SpecCharts language, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers, pp.226-296, 1991.
DOI : 10.1109/ICCAD.1991.185249

A. Österling, T. Benner, R. Ernst, D. Herrmann, T. Scholz et al., The Cosyma System, chapter Hardware/Software Co-Design : Principles and Practice, pp.263-305, 1997.

]. J. Ous97 and . Ousterhout, Scripting : Higher Level Programming for the 21st Century, IEEE/ACM International Conference on Computer Aided Design, 1997.

P. Piloty, Conlan report, Lecture notes in computer science, p.151, 1983.
DOI : 10.1007/3-540-12275-3

]. J. Pet81 and . Peterson, Petri Net Theory and the modeling of Systems, N.J, 1981.

]. R. Pfe97 and . Pfeifer, Simulation Backplane 1.5b5, 1997.

F. Petrot, D. Hommais, and A. Greiner, Cycle precise core based hardware/software system simulation with predictable event propagation, EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167), pp.182-187, 1997.
DOI : 10.1109/EURMIC.1997.617257

]. F. Phg97b, D. Petrot, A. Hommais, and . Greiner, A Simulation Environment for Core Based Embedded Systems, Proceeding of the 30th Annual Simulation Symposium, pp.86-91, 1997.

C. [. Paulin, T. Liem, S. May, and . Sutarwala, DSP Design Tool Requirements for Embedded Systems : A Telecommunication Industrial Perspective " . in journal of VLSI Signal Processing (special issue on synthesis for real-time DSP), 1994.

M. [. Pfaff, R. Schutti, and . Hagelauer, SHarC : Coupling Simulation and Physical Hardware to Improve Design Validation, Design Automation and Test in Europe Conference, pp.129-133, 1998.

Y. [. Rault, A. Bezard, T. Coustre, and . Halconruy, Systems Integration in the Car Industry, 1996.

R. [. Runstadler and . Crevier, Virtual Prototyping for System Design and Verification, 1995.

D. Daniel, J. Gajski-rainer-dömer, and . Zhu, The SpecC Language Reference Manual, 1998.

]. S. Rei87 and . Reis, Working in the Garden Environment Form Conceptual Programming, IEEE Software, vol.4, pp.16-27, 1987.

M. Romdhani, R. P. Hautbois, A. Jeffroy, P. De-chazelles, and A. A. Jerraya, Evaluation and composition of specification languages, an industrial point of view, Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair, pp.519-523, 1995.
DOI : 10.1109/ASPDAC.1995.486364
URL : https://hal.archives-ouvertes.fr/hal-00008135

]. J. [-row94 and . Rowson, Hardware/Software Co-Simulation, Proceedings of the 31st Design Automation Conference, pp.439-440, 1994.

K. Van-rompaey, D. Verkest, I. Bolsens, and H. De-man, CoWare-a design environment for heterogeneous hardware/software systems, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition, p.252, 1996.
DOI : 10.1109/EURDAC.1996.558213

P. [. Rethman and . Wilsey, RAPID : A Tool For Hardware/ Software Tradeoff Analysis, Proc. CHDL'93, 1993.

]. E. Sch98 and . Schulz, The New System-Level Design Language, Integrated System Design, pp.26-34, 1998.

]. J. Spi89 and . Spivey, An introduction to z formal specifications, Software Engineering Journal, pp.40-50, 1989.

P. [. Sarracco and . Tilanus, CCITT SDL: Overview of the language and its applications, Computer Networks and ISDN Systems, vol.13, issue.2, pp.65-74, 1987.
DOI : 10.1016/0169-7552(87)90091-2

]. A. Tan89 and . Tanenbaum, Computer Networks, chapter 7, N.J, 1989.

J. [. Thomas, H. Adams, and . Schmit, A model and methodology for hardware-software codesign, IEEE Design & Test of Computers, vol.10, issue.3, pp.16-28, 1993.
DOI : 10.1109/54.232468

S. [. Vahid, D. Narayan, and . Gajski, SpecCharts: a VHDL front-end for embedded systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.14, issue.6, pp.694-706, 1995.
DOI : 10.1109/43.387730

F. [. Valderrama, P. Nacabal, A. A. Paulin, and . Jerraya, Automatic generation of interfaces for distributed C-VHDL cosimulation of embedded systems: an industrial experience, Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype, pp.72-77, 1996.
DOI : 10.1109/IWRSP.1996.506730
URL : https://hal.archives-ouvertes.fr/hal-00008130

C. Valderrama, M. Romdhani, J. M. Daveau, G. Marchioro, A. Changuel et al., Hardware and Software Co-design : Principles and Practice, chapter COSMOS : A Transformational Codesign Tool for Multiprocessor Architectures, pp.307-357, 1997.

]. D. Wil92 and . Wile, Integrating Syntaxes and their Associated Semantics, 1992.

P. [. Xiong and W. Gutberlet, Automatic Generation of Interprocess Communication in the PARGON System, RSP'96, 7th IEEE International Workshop on Rapid System Prototyping, 1996.

K. [. Yoo and . Choi, Optimistic Timed HW-SW Cosimulation, APCHDL'97, pp.43-49, 1997.

W. [. Yen and . Wolf, Communication Synthesis for Distributed Embedded Systems, IEEE/ACM International Conference on Computer Aided Design, pp.288-294, 1995.

M. [. Zave and . Jackson, Conjunction as composition, ACM Transactions on Software Engineering and Methodology, vol.2, issue.4, pp.379-411, 1993.
DOI : 10.1145/158431.158438
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3663

J. M. Marchioro, N. E. Daveau, and . Zergainoh, Multilanguage Specification for System Design and Codesign " . Chapter in System-level Synthesis, NATO ASI, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00016268

-. Hessel, P. L. Marrec, C. A. Valderrama, M. Romdhani, and A. A. Jerraya, MCI -Multilanguage Distributed Co-Simulation Tool " . Chapter in Distributed and Parallel Embedded Systems, DI- PES'98 organized by IFIP WG10, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00016267

-. A. Jerraya, M. Romdhani, C. A. Valderrama, P. L. Marrec, F. Hessel et al., Languages for system-level specification and design " . Chapter in Hardware/Software Co-design : Principles and Practice, pp.235-262, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00016271

-. Hessel, P. Coste, P. L. Marrec, N. Zergainoh, J. M. Daveau et al., Communication Interface Synthesis for Multilangage Specifications, pp.15-20, 1999.

. Jerraya, Multilanguage design of heterogeneous Systems, CODES 99, pp.54-58, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00008102

L. Marrec, C. A. Valderrama, F. Hessel, and A. A. Jerraya, Hardware, software and mechanical cosimulation for automotive applications, Proceedings. Ninth International Workshop on Rapid System Prototyping (Cat. No.98TB100237), pp.202-206, 1998.
DOI : 10.1109/IWRSP.1998.676692