ملخص: Dans le domaine des circuits digitaux complexes, les concepteurs utilisent souvent les langages de description des systèmes matériels (hdls) pour décrire la structure ou le comportement des circuits. Ces descriptions ne sont pas facilement manipulables par les outils de cao, dans la mesure ou ils n'explicitent pas directement les concepts de haut niveau inhérents a tout hdl. Dans ce mémoire, nous proposons un modèle interne développe a partir de la description comportementale hdl, qui se caractérise par la séparations entre e flux de données et le flux de contrôle et par l'interaction explicite entre ces deux flux. Ces derniers sont représentes respectivement par un modèle de données et un modèle de contrôlé. Le modèle de donnees est représente par un graphe et le modèle de contrôle par un réseau de pétri hiérarchise, emporise et interprété. modélisation des éléments de base du modèle interne utilise les concepts de demot: un environnement de modélisations hierarchise/multi-vues. La réalisation informatique utilise une approche orientée objet

طبعة: Montpellier: Université des Sciences et Techniques de Montpellier 2
لغة: فرنسية
الوصف المادي: 139 p. ill. ;30 cm
الشهادة: Doctorat
مؤسسة مناقشة الرسالة: Université des Sciences et Techniques de Montpellier 2

ملاحظة: Bibliogr.pp.134-148; Annexe pp.[140-154]