Etude et développement d'un simulateur symbolique comportemental de circuits digitaux

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.