Analyse de modèles écrits en CASCADE et superviseur du système de simulation associé
Abstract
CASCADE est un système de modélisation de circuits basé sur un langage de description. Il comprend aussi l'ensemble des logiciels permettant de vérifier les modèles écrits à l'aide de ce langage, tant sur le plan statique au moyen du compilateur, que sur le plan dynamique au moyen du simulateur.Le travail considéré ici est la conception des mécanismes généraux de traitement des modèles écrits en CASCADE. Plus précisément, il consiste tout d'abord en l'organisation de la première phase de compilation, indépendamment de toute application. Une contribution est en outre apportée à la mise en œuvre de la simulation.