110 5.4.1 Opérateurs d'affectation, p.115 ,
124 6.1.2 Ordonnancement totalement statique pour la simulation, p.125 ,
On the reuse of vhdl modules into systemc designs, Forum on Design Languages (FDL01), 2001. ,
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. ,
VSIA Architecture Document, 1997. ,
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
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. ,
Application télécom pour processeur réseau, Sciences Electroniques Technologies de l'Information et des Télécommunications, 2004. ,
Modular on chip multi processor for routing applications, EUROPAR 04, pp.847-855, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-01365379
Modélisation de Processeurs et de Systèmes, 2004. ,
A programmer's view of computer architecture : with examples from the MIPS RISC architecture. Fort worth : Saunders college pub, 1992. ,
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. ,
The semantics of a simple language for parallel programming, IFIP Congress : Information Processing, 1974. ,
Veri- log2sc : A methodology for converting verilog. hdl to systemc, Proceedings of the 11th International HDL Conference, pp.211-217, 2002. ,
Analyse sémantique de descriptions VHDL synchrones en vue de la synthèse, 1999. ,
A method for synthesizing sequential circuits, pp.1045-1079, 1955. ,
Gedanken experiments on sequential machines, pp.129-153, 1956. ,
Decision trees and diagrams, ACM Comput. Surv, vol.14, issue.4, pp.593-623, 1982. ,
The theory of definite automata, pp.233-243, 1963. ,
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
A new optimized implemention of the systemc engine using acyclic scheduling, Europe Conference and Exhibition, p.10552, 2004. ,
Pilotage evenementiel versus ordonnancement statique, Troisième colloque du GDR CAO de circuits et systèmes integres, pp.151-154, 2002. ,
Demand driven simulation: BACKSIM, 24th ACM/IEEE conference proceedings on Design automation conference , DAC '87, pp.181-187, 1987. ,
DOI : 10.1145/37888.37915
A modelisation & simulation plat-form for system on chip, 2003. ,
LECSIM, Conference proceedings on 27th ACM/IEEE design automation conference , DAC '90, pp.491-496, 1990. ,
DOI : 10.1145/123186.123349
Liste non exhaustive d'association de mots clefs Verilog, p.67 ,
Exemple d'architecture matérielle avec trois fonctions, p.26 ,
Architecture, p.57 ,
Architecture matérielle d'un cluster, p.58 ,
Comparaison des vitesses de simulation, p.60 ,
Graphe de dépendances entre modules, p.61 ,
Sous partie du graphe de dépendances entre signaux, p.62 ,
Architecture, p.99 ,
outil de vérification des modèles à automates synchrones communicants, p.118 ,
ii xii TABLE DES FIGURES Listings 2.1 Description d'un module, p.28 ,
32 2.4 DMA simplifié décrit en SystemC CABA : déclaration des ports externes, p.36 ,