Gestion de la Condition de Chemin dans la simulation symbolique.

• Main Author: Larnac, Mireille
• Language: FRE
• Published: 1992
• Subjects: [INFO:INFO_CL] Computer Science/Computation and Language; Vérification de circuits digitaux; simulation symbolique; Condition de Chemin; opérateur de choix; variation de choix-libre
• Online Access: http://tel.archives-ouvertes.fr/tel-00866197; http://tel.archives-ouvertes.fr/docs/00/86/61/97/PDF/Larnac-these.pdf

Le traitement des branchements conditionnels est un problème spécifique à la simulation symbolique. La gestion de la Condition de Chemin consiste à déterminer si la valeur de vérité d'une condition est contenue dans tous les choix qui ont été opérés sur les tests précédemment rencontrés, ou si, au contraire, le choix de cette valeur est laissé à la libre appréciation de l'utilisateur : c'est le rôle de l'opérateur de choix. Cet opérateur et les propriétés qui le caractérisent sont définis. Son application sur des expressions particulières, puis dans le cas général est ensuite étudiée.