Etude et développement d'un simulateur symbolique comportemental de circuits digitaux
fr
Loading...
Authors
Collections
Journal Title
Journal ISSN
Volume Title
Publisher
Université de Droit, d'Economie et des Sciences d'Aix-Marseille III, Faculté des Sciences et Techniques, Saint-Jérome
Department
Supervisor
Date
Abstract
Dans ce mémoire, nous présentons un simulateur symbolique comportemental de circuits digitaux, SIMSYM. Ce simulateur opère au niveau transfert de registres, avec DDL pour langage d’entrée. Il permet d’effectuer des propagations symboliques sur des modèles de type synchrone, en prenant en compte des conditions de cheminement symboliques. SIMSPY constitue un outil de base pour les systèmes d’aide à la "preuve formelle" de correction de matériel.
Pour une meilleur adaptativité et évolutivité, SIMSYM utilise un modèle informatique mixte mêlant c’est-à-dire mêlant les représentations déclaratives et procédurales. SIMSYM a été en F.R.L.L (Frame Representation Language of L.a.i.m) qui lui-même a été implanté en Lelisp sur SM90.
Description
Keywords
Automatique, Informatique, Circuit digital, Simulation symbolique, Conception hiérarchisée, Technique de vérification, Language de description de matériel, Language orienté objet, Conception assistée par ordinateur, Preuve formelle de correction de matériel