Etude et développement d'un simulateur symbolique comportemental de circuits digitaux
FR |
EN
Auteur / Autrice : | Larbi Hassouni |
Direction : | Norbert Giambiasi |
Type : | Thèse de doctorat |
Discipline(s) : | Automatique et informatique |
Date : | Soutenance en 1987 |
Etablissement(s) : | Aix-Marseille 3 |
Partenaire(s) de recherche : | autre partenaire : Université Paul Cézanne. Faculté des sciences et techniques de Saint-Jérôme (Aix-Marseille) |
Résumé
FR
Presentation d'un simulateur destine aux systemes d'aide a "la preuve formelle" de correction de materiel. Il est decrit en un langage frll (frame representation langage of l. A. I. M. )