Approche pour l’intégration du raffinement formel dans le processus de conception des SoCs

Nous presentons une methode de raffinement de communication prouve dans une methodologie de conception de systemes sur puce (SoC). La methodologie que nous proposons offre une approche formelle pour la modelisation et l’analyse des differents niveaux de specification. En effet, elle fournit un moyen de construire des modeles d’architecture et d’application a differents niveaux d’abstraction. Elle permet egalement de verifier formellement les modeles a chaque niveau et de relier les modeles successifs par raffinement et assurer la preservation de comportement.