Return to search

Conception temporellement sûre de circuits intégrés complexes

Les différentes façons de décrire un circuit intégré (niveau architectural, logique, électrique, implante; mode structurel, fonctionnel). L'accent est mis sur les descriptions tenant compte de l'aspect temporel. La sûreté de la description, ou cohérence, est traitée à part. Le modèle par événements du comportement des systèmes temporisés est présenté partiellement. Le modèle classique d'automate d'état fini est cité, avec les difficultés de son utilisation pour les systèmes temporisés. On propose une définition d'automate d'état fini temporisé combinant les deux approches. Le fonctionnement est caractériser par un calcul algébrique. Analyse de deux réalisations de base et de variantes de l'une d'entre elles, ainsi qu'une 3eme famille. Étude d'un automate plus complexe forme d'une partie contrôle et d'une partie opératoire. Calcul de la synchronisation.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00311572
Date15 June 1984
CreatorsAmblard, Paul
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0018 seconds