Séminaire COSI


Photos de groupe prise un jour de beau temps : 1, 2, 3
 

Mercredi 6 juin

8h40- 9h : Patrice Quinton
Alpha : état des lieux,introduction aux présentations à venir

9h-9h40 :Tanguy Risset,Patrice Quinton

Ordonnancement de systèmes Alpha structurés

On peut en Alpha décrire des systèmes structurés d'équations, et ordonnancer ces systèmes en respectant leur structure. Dans

cet exposé, on présentera les méthodes qui permettent de le faire, et on donnera une évaluation du gain de temps qu'elles permettent d'obtenir sur l'ordonnancement d'un système mis à plat.

9h40 – 10hGautam Gupta

Scanning a Union of Z-Polyhedra

Scanning is the term employed to visit every point in a domain in a certain order. The problem arises in the context of generating code for transformed loop nests in automated parallelization. We provide a method to scan a union ofZ-Polyhedra, described by the intersection of a polyhedra and a lattice, in the lexicographic order of its points. We hope to show how it improves upon the algorithm of Feautrier.

10h – 10h 20Aditya Gupta

Variations to the 2-dimensional tiling

Mostcurrent parallelizing compliers tile only innermost two loops of an n-dimensional loop while the best known method is to tile

n-dimensionally. By little variations to the 2-dimensional tiling, we see that reach close to the n-dimensional tiling. I present

various strategies for 2-dimensional tiling and their comparison with optimal n-dimensional tiling.

10h20 – 10h40 :pause café

10h40 – 11h :Rahul Tripathi

Work on Polylib Library

(1) A brief detail of my initial work on Polylib Library. I will explaina little bit on where the library fits in ALPHA framework

and what things I did in the library.

(2) Then I would like to mention the kind of research problems that have been assigned to me and on which I am currently working. 

I would alsolike to mention any progress that has been made and any result that I am expecting.

11h – 11h40 : Anne Claire Guillou

Interprétation hardware du temps multi-dimensionnel

Nous nous intéressonsà l'interprétation hardware de programme Alpha0 exprimé avec un ordonnancements multi-dimensionnel.Baséesur les travauxdePaul Feautrier sur les ordonnancementsaffinesune implémentation aété réalisée dans MMAlpha par Tanguy Rissetmais le générateur VHDL ne prend pasencore en comptece type de programmes. Les problèmes liés à l'interprétation de ce type de programme comme la gestion des mémoires ou la générationde contrôle spécifique s'appuie notammment surles travaux de Fabien etde Sanjay surla gestion mémoire.Ces travauxsurordonnancements multi-dimensionnel qui à l'originepermettent detraiterdesproblèmes pourlesquelsil n'existepasd'ordonnancementlinéaire trouvent leursapplications dans la génération deréseaux partitionnés. Nous étudierons notamment l'exemple du produit Matrice-Matrice partitionné.

11h40 –12h : Inderaj Bains

Extensions to the Code Generator in ALPHA

There are many prototypes of the Alpha Code generator currently in the distribution. We would like to incorporate the functionalities of all into a single unified framework. We would then proceed to provide an implementation for unserialized reductions and later for subsystems. The immediate implications of these functionalities would help us get closer to an implementation of an automated Test 

Bench for the VHDL description we produce from AlpHARD

12h – 14h  déjeuner

14h – 14h20 :David Cachera
vérification pour Alpha - état des lieux : preuves par induction dans MMAlpha, interface avec PVS

14h20– 14h50 :Katell Morin-Allory

Méthodes formelles et modèle polyédrique.

Le but est de mettre au point des nouvelles méthodes et outils pour vérifier des spécifications de très haut niveau. On s'attachera

Plus particulièrement a la preuve de propriétés quantifiées universellement ou existentiellement sur des variables booléennes.

Les outils utilises seront la substitution, les méthodes récurrences, le calculateur omega et PVS.

14h50 – 15h20 : David Cachera, Tanguy Risset

Détermination formelle des largeurs de chemins de données pour les boucles imbriquées

Nous décrivons une méthode pour la détermination symbolique des largeurs de chemins de données dans les implémentations

d'algorithmes contenant des nids de boucles. L'originalité principale de ce travail réside dans le fait qu'il utilise des résultats

de la théorie de l'algèbre(max,+) pour résoudre ce problème pour des nids de boucles paramétrés (c'est à dire des nids

de boucles dans lesquels les bornes des indices dépendent de paramètres qui ne sont pas nécessairement connus statiquement).

Bien qu'ils soient présentés dans le contexte de la méthodologie de synthèse de haut niveau avec Alpha, les résultats

de ce travail peuvent être utilisés dans tout autre environnement de synthèse de haut niveau.

15h20- 15h 40 : David Cachera

le futur : les pièges à éviter ; les méthodes formelles, un outil d'aide au raffinement ?

15h40 – 16h : pause café

16h – 16h40 :Steven Derrien,Sanjay Rajopadhye

Loop Tiling for Low-power High-Performance FPGA based Systems

Les travaux présentés dans ce rapport portent sur la modélisation haut niveau de la dissipation d'energie liée à l'implantation
de réseaux de processeurs réguliers sous la forme de coeurs IP pour des systèmes à base de logique programmable. Nous
nous intéresserons en particulier à l'impact de la stratégies de partitionnement (et de ses paramètres) sur le volume d'E/S
et le nombre ainsi que la taille des mémoires locales, ces deux caracteristiques ayant un impact très fort sur la puissance
dynamique dissipée par le circuit. Le modèle que nous proposons a fait l'objet d'une validation experimentale pour laquelle

nous avons obtenus des résultats encourageants (erreur relative moyenne de 12\%)

16h 40 – 17h10 : Erwan Fabiani

Le temps de routage pour FPGA : importance dans le temps de compilation total et réduction par réplication.

La majorité des méthode de compilation rapide pour circuit FPGA sont basées sur des techniques de floorplanning ou de

placement dirigées par la structure du circuit à implémenter. Ces techniques permettent d'éviter ou de contraindre la phase

de placement usuelle de outils commerciaux, de manière à diminuer le temps requis par cette phase. Cependant, le routage

du circuit est toujours fait de manière globale par le routeur commercial. On peut supposer que, du fait d'un placement structurel,

la phase de routage est plus rapide, mais dans la réalité cela n'est pas toujours vérifié, surtout sous des contraintes de surface

utilisée. On montrera par des expérimentations de placement structurel de réseaux réguliers sur FPGA Xilinx que le temps

de routage est loin d'être négligeable par rapport au temps de placement, et qu'il semble même prendre plus d'importance

avec l'évolution de la technologie. Puis on discutera de la faisabilité d'une réplication du routage pour réduire le temps de routage.

On verra quelles sont les limitations et les possibilités techniques d'une telle méthode, en prenant pour exemple

le FPGA Xilinx Virtex.

19h30 :diner

Jeudi 7 juin

9h-9h20 :Olivier Sentieys(ENSSAT)
Activités du groupe

9h20 – 9h50h :Daniel Menard (ENSSAT)

Compilation pour processeur virgule fixe

9h50 – 10h20 :Raphael David (ENSSAT)

Architectures reconfigurables enfouies

10h20 – 10h40 :pause café

10h40 – 11h20:O. Sentieys (ENSSAT)

Circuits en logique àvaleurs multiples

11h20 – 12h :X (ENSSAT)

Quelques applications types des télécom mobiles 3G.

12h – 14h : déjeuner

14h – 14h40 : François Charot

état des lieux d'Armor :place des langages de description d'architectures pour l'exploration architecturale

14h 40 – 16h : François Charot and all

Après COSI y a t-il un avenir ?

Systèmes mono-puces et architectures futures des plate-formes programmables

outils logiciels pour la programmation/conception de ces architectures

…..

16h : pause café

retour sur Rennes