Un outil pour la spécification de matériel et la génération de modèles exécutables
Thesis or Dissertation
Abstract(s)
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.
Note(s)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.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.