1989-02-17T23:59:59Z
2023-10-29T00:51:26Z
Spécification comportementale temporelle dans un simulateur multi-niveaux
1988
1988-01-01
Cette thèse aborde les problèmes de la validation automatique dans le domaine CAO de matériels informatiques et électroniques, en liaison avec des techniques de simulation mixte. Le but a été d'établir une méthodologie de spécification comportementale basée sur l'utilisation de primitives logiques et temporelles permettant de conditionner certaines propriétés des systèmes modélises et simulés
Circuits intégrés -- Conception et construction -- Informatique
Conception assistée par ordinateur
Intel 80386 (microprocesseur)
Simulation par ordinateur
Sciences appliquées
électronique
Microprocesseur
Architecture ordinateur
Simulateur
Système n niveaux
Conception assistée
Matériel (informatique)
Circuit électronique
Commande automatique
Modélisation
Analyse mathématique
Simulation logique
Simulation
Etude temps
Microprocessor
Computer architecture
Simulator
Multilevel system
Computer aided design
Hardware
Electronic circuit
Automatic control
Modeling
Mathematical analysis
Logic simulation
Simulation
Time study
Fadi, Abdallah el-
Borrione, Dominique
Grenoble INPG