Thèse de doctorat en Informatique
Sous la direction de Dominique Borrione.
Soutenue en 1988
à Grenoble INPG .
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
Temporal behavior specification within multilevel simulator
Pas de résumé disponible.