Skip to Main content Skip to Navigation
Theses

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

Résumé : 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.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00311572
Contributor : Thèses Imag <>
Submitted on : Tuesday, August 19, 2008 - 11:13:55 AM
Last modification on : Friday, November 6, 2020 - 4:14:28 AM
Long-term archiving on: : Thursday, June 3, 2010 - 6:32:29 PM

Identifiers

  • HAL Id : tel-00311572, version 1

Collections

Citation

Paul Amblard. Conception temporellement sûre de circuits intégrés complexes. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1984. Français. ⟨tel-00311572⟩

Share

Metrics

Record views

168

Files downloads

95