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 .

mots clés

• 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

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.