Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Spécification comportementale temporelle dans un simulateur multi-niveaux
par Abdallah el- Fadi
Thèse de doctorat en Informatique
Sous la direction de Dominique Borrione.
Soutenue en 1988
à Grenoble INPG .
- 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
- Circuits intégrés -- Conception et construction -- Informatique
- Conception assistée par ordinateur
- Intel 80386 (microprocesseur)
- Simulation par ordinateur
mots clés
-
Résumé
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
-
Titre traduit
Temporal behavior specification within multilevel simulator
-
Pas de résumé disponible.
