Spécification comportementale temporelle dans un simulateur multi-niveaux

Temporal behavior specification within multilevel simulator

• Auteur / Autrice : Abdallah el- Fadi
• Direction : Dominique Borrione
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1988
• Etablissement(s) : Grenoble INPG

Mots clés

Mots clés contrôlés

Simulation par ordinateur

Intel 80386 (microprocesseur)

Conception assistée par ordinateur

Informatique

Conception et construction

Circuits intégrés

Mots clés libres

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

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