Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. / 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.
| Identifer | oai:union.ndltd.org:umontreal.ca/oai:papyrus.bib.umontreal.ca:1866/33235 |
| Date | 03 1900 |
| Creators | Babkine, Philippe-André |
| Contributors | Cerny, Eduard |
| Source Sets | Université de Montréal |
| Language | fra |
| Detected Language | French |
| Type | thesis, thèse |
| Format | application/pdf |
Page generated in 0.0016 seconds