Un outil pour la spécification de matériel et la génération de modèles exécutables
dc.contributor.advisor | Cerny, Eduard | |
dc.contributor.author | Babkine, Philippe-André | |
dc.date.accessioned | 2024-05-21T13:23:28Z | |
dc.date.available | NO_RESTRICTION | fr |
dc.date.available | 2024-05-21T13:23:28Z | |
dc.date.issued | 1996-08-01 | |
dc.date.submitted | 1996-03 | |
dc.identifier.uri | http://hdl.handle.net/1866/33235 | |
dc.subject | VLSI | fr |
dc.subject | Spécification | fr |
dc.subject | Vérification | fr |
dc.subject | Simulation | fr |
dc.subject | Modèle exécutable | fr |
dc.subject.other | Computer science / Informatique (UMI : 0984) | fr |
dc.title | Un outil pour la spécification de matériel et la génération de modèles exécutables | fr |
dc.type | Thèse ou mémoire / Thesis or Dissertation | |
etd.degree.discipline | Informatique | fr |
etd.degree.grantor | Université de Montréal | |
etd.degree.level | Maîtrise / Master's | fr |
etd.degree.name | M. Sc. | fr |
dcterms.abstract | Ce mémoire présente un outil et une méthodologie permettant le développement rapide de modèles structurés dans le but de vérifier la fonctionnalité de systèmes numériques VLSI. Le modèle d'un système numérique s'élabore en décrivant le comportement du système tel qu'observé à son interface avec le monde extérieur. Les chronogrammes représentent les opérations de base de l'interface du système, sur lesquelles sont mises en évidence les relations temporelles entre les événements composant l'opération. Ceci permet de décrire précisément l'aspect temporel (timing) de l'opération. Son aspect fonctionnel est capturé en annotant de procédures et de fonctions, les événements d'un chronogramme. La composition à l aide d'opérateurs hiérarchiques des diagrammes chronologiques de base complète la description du comportement du système tel qu'observable à son interface. Idéalement, les diagrammes chronologiques hiérarchiques annotés sont capturés graphiquement. Un langage de description de ces diagrammes est proposé afin de servir de forme intermédiaire entre les outils de capture et des applications qui utilisent les diagrammes. Une de ces applications est traitée: soit la génération de modèles exécutables de système en langage de description de matériel, à partir de leur description sous forme de chronogrammes hiérarchiques annotés. L aspect algorithmique de cette simulation est abordé et un exemple précisant les concepts de modélisation est développé. La modélisation, en composant hiérarchiquement les opérations de base d'un système sur lesquelles l'aspect temporel et fonctionnel est capturé, permet le développement rapide et précis de modèles. La possibilité d'exécuter ces modèles permet de vérifier le comportement d'un système avant même de commencer le développement de sa réalisation matérielle. Les problèmes potentiels du système sont ainsi identifiés à un stade où il est moins coûteux d'y remédier. | fr |
dcterms.description | Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. | fr |
dcterms.language | fra | fr |
Files in this item
This item appears in the following Collection(s)
This document disseminated on Papyrus is the exclusive property of the copyright holders and is protected by the Copyright Act (R.S.C. 1985, c. C-42). It may be used for fair dealing and non-commercial purposes, for private study or research, criticism and review as provided by law. For any other use, written authorization from the copyright holders is required.