Le force du modèle des réseaux de Kahn

Table des matières

INTRODUCTION
1 Heptagon un langage synchrone fonctionnel flots de données
1.1 Tour d’horizon
1.1.1 Code généré et boucle de simulation
1.1.2 Le registre synchrone fby, aussi appelé délai unité
1.1.3 Opérateurs combinatoires
1.1.4 Appel de fonction
1.2 Rythmes différents et horloges des flots
1.2.1 La primitive when
1.2.2 La primitive merge
1.2.3 Versions non booléennes
1.2.4 Ne pas confondre merge et if then else
1.2.5 Horloges et pointeaux
1.2.6 Signature d’horloge
1.3 Automates et réinitialisation
1.3.1 Automates
1.3.2 Réinitialisation
1.4 Principe de substitution
1.5 Paramètres statiques
1.6 Les tableaux
1.7 Conclusion
2 Sémantiques et compilation d’Heptagon
2.1 Sémantique de Kahn
2.1.1 Noyau fonctionnel du langage
2.1.2 Domaine de Kahn
2.1.3 Sémantique de Kahn
2.2 Sémantique de Kahn Synchrone
2.2.1 Le registre synchrone
2.2.2 Les constantes
2.2.3 Les horloges
2.2.4 Programme et fonctions
2.2.5 Lien avec la sémantique non synchrone
2.3 Noyau équationnel et pointage
2.3.1 Noyau équationnel
2.3.2 Pointage (clocking ou calcul d’horloges)
2.3.3 Cohérence du pointage
2.4 Sémantique de Kahn synchrone implicite (sans réaction à abs)
2.5 Compilation vers du code séquentiel
2.5.1 Ordonnancement
2.5.2 Obc un langage impératif intermédiaire
2.5.3 Traduction du noyau
2.5.4 Optimisation du contrôle
2.5.5 Memalloc
2.6 Réinitialisation
2.6.1 Réinitialisation hyperchrone
2.6.2 Traduction source à source de la réinitialisation
2.6.3 Gestion de la réinitialisation dans le noyau
2.6.4 Sémantiques de la réinitialisation
2.6.5 Sémantique synchrone implicite de la réinitialisation d’équations
2.7 Conclusion
CONCLUSION