Abstract FR:

Cette these presente les principes, le modele et la realisation d'un serveur de coherence dans un environnement de conception d'objets produits vlsi multi-concepteurs et multi-machines. Notre etude porte sur trois problemes: qu'est-ce que la coherence en conception vlsi? comment modeliser la coherence? comment parametrer notre modele pour une situation particuliere et comment l'appliquer a des environnements de conception quelconques? le modele de coherence repose sur la definition d'une methode, enchainement raisonne de moyens en vue d'une fin, et sur un outil methodologique de gestion de methodes, qui permet le codage informatique hierarchique de cette methode en vue de son exploitation ulterieure. Un serveur de coherence est defini, qui associe des meta-informations aux objets (objets produits, outils et methodes) et qui gere les requetes concurrentes des concepteurs. Ces meta-informations forment ensemble un graphe de contraintes d'integrite qui peut etre parcouru et exploite pour construire de maniere valide les objets. La realisation de ce modele pour la conception de vlsi, le systeme cadix, passe par la definition de quatre couches de programmation: la couche domaine d'application vlsi, rassemblant les primitives de generation procedurale, la couche gestion de la coherence, qui gere les transactions concurrentes des concepteurs, la couche reseau de contraintes, qui gere le graphe des contraintes d'integrite, et la couche reseau, qui gere le bon fonctionnement reparti du serveur et des clients. Un exemple est presente qui indique une utilisation possible du systeme cadix. La parametrisation du modele de coherence pour une situation particuliere se fait en identifiant le serveur de coherence a un systeme de production