Abstract FR:

Ces travaux concernent la conception d'un environnement interactif pour la synthese de reseaux reguliers de processeurs. Il est base sur un langage fonctionnel restreint qui est particulierement adapte a l'expression des systemes d'equations recurrentes. Ces systemes sont capables d'exprimer de maniere assez concise le probleme a traiter ainsi que des representations fideles de l'architecture resultante. Le passage de l'un a l'autre est realise par raffinements successifs a l'aide d'un ensemble de transformations elementaires