.. Construction-du-support-des-variables, 110 5.4.1 Opérateurs d'affectation, p.115

. Modélisation-précise-au-cycle and .. Au-bit-près-sur-les-interfaces, 124 6.1.2 Ordonnancement totalement statique pour la simulation, p.125

A. Agliada, A. Fin, F. Fummi, M. Martignano, and G. Pravdelli, On the reuse of vhdl modules into systemc designs, Forum on Design Languages (FDL01), 2001.

Z. Amal, D. Julien, W. Franck, and D. Anne, Design of the hadamard coprocessor with the alliance cad system carried by post-graduating students, 3rd European Workshop on Microelectronics Education (EWME), pp.265-268, 2000.

. Vsi-alliance, VSIA Architecture Document, 1997.

J. [. Chandy and . Misra, Asynchronous distributed simulation via a sequence of parallel computations, Communications of the ACM, vol.24, issue.4, pp.198-206, 1981.
DOI : 10.1145/358598.358613

H. Denis, Une méthode d'évaluation et de synthèse des communications dans les systèmes intégrés matériel-logiciel, Rabin et D. Scott. Sequential machines, pp.63-91, 1964.

E. Faure, S. Berrayana, D. Genius, and F. Pétrot, Application télécom pour processeur réseau, Sciences Electroniques Technologies de l'Information et des Télécommunications, 2004.

E. Faure, D. Genius, F. Pétrot, and S. Berrayana, Modular on chip multi processor for routing applications, EUROPAR 04, pp.847-855, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01365379

[. Gilles, Modélisation de Processeurs et de Systèmes, 2004.

J. Goodman, A programmer's view of computer architecture : with examples from the MIPS RISC architecture. Fort worth : Saunders college pub, 1992.

]. A. Gpc-+-06, F. Greiner, M. Petrot, M. Carrier, R. Benabdenbi et al., Mapping an obstacles detection, stereo vision-based, software application on a multi-processor system-on-chip, Proceedings of Intelligent Vehicles Symposium, pp.370-376, 2006.

]. G. Kah74 and . Kahn, The semantics of a simple language for parallel programming, IFIP Congress : Information Processing, 1974.

O. F. Nadjarbashi, L. Mahmoudi-ayough, A. Haj-abutalebi, and S. Hessabi, Veri- log2sc : A methodology for converting verilog. hdl to systemc, Proceedings of the 11th International HDL Conference, pp.211-217, 2002.

J. Ludovic, Analyse sémantique de descriptions VHDL synchrones en vue de la synthèse, 1999.

]. G. Mea55 and . Mealy, A method for synthesizing sequential circuits, pp.1045-1079, 1955.

]. E. Moo56 and . Moore, Gedanken experiments on sequential machines, pp.129-153, 1956.

M. E. Bernard and . Moret, Decision trees and diagrams, ACM Comput. Surv, vol.14, issue.4, pp.593-623, 1982.

E. [. Rabin, M. Shamir, and . Perles, The theory of definite automata, pp.233-243, 1963.

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

D. Gracia-perez, G. Mouchard, and O. Temam, A new optimized implemention of the systemc engine using acyclic scheduling, Europe Conference and Exhibition, p.10552, 2004.

[. Richard, P. Frederic, and G. Alain, Pilotage evenementiel versus ordonnancement statique, Troisième colloque du GDR CAO de circuits et systèmes integres, pp.151-154, 2002.

M. [. Smith, B. Mercer, and . Brodk, Demand driven simulation: BACKSIM, 24th ACM/IEEE conference proceedings on Design automation conference , DAC '87, pp.181-187, 1987.
DOI : 10.1145/37888.37915

. Soc03 and . Soclib, A modelisation & simulation plat-form for system on chip, 2003.

[. Wang and P. M. Maurer, LECSIM, Conference proceedings on 27th ACM/IEEE design automation conference , DAC '90, pp.491-496, 1990.
DOI : 10.1145/123186.123349

. .. Systemc, Liste non exhaustive d'association de mots clefs Verilog, p.67

.. .. De-mealy, Exemple d'architecture matérielle avec trois fonctions, p.26

.. Stéréo-vision-matérielle-générale, Architecture, p.57

.. Stéréo-vision, Architecture matérielle d'un cluster, p.58

P. Java and .. , Comparaison des vitesses de simulation, p.60

P. Java and .. , Graphe de dépendances entre modules, p.61

P. Java, Sous partie du graphe de dépendances entre signaux, p.62

.. Hadamard-interne-du-coprocesseur, Architecture, p.99

.. Flot-de-de-la-chaîne-d, outil de vérification des modèles à automates synchrones communicants, p.118

.. .. Systemc, ii xii TABLE DES FIGURES Listings 2.1 Description d'un module, p.28

C. Additionneur-accumulateur-32-bits-décrit-en-systemc, 32 2.4 DMA simplifié décrit en SystemC CABA : déclaration des ports externes, p.36