Automatisation de la saisie graphique de schémas logiques sur APPLICON

par Mohamed Ayed

Thèse de doctorat en Electronique

Sous la direction de Lagorsse.

Soutenue en 1985

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne) (autre partenaire) .

mots clés

• Systèmes graphiques
• Système APPLICON
• Automatisation de la saisie de schémas logiques
• Vérification automatique des erreurs
• Vérification d'un schéma
• "Plot" d'un schéma
• Création d'une boite noire
• Création d'une bibliothèque
• Saisie graphique d'un schéma
• Préparation pour la saisie
• Vérification des cellules
• Automatisation

Résumé

Ce travail présente des améliorations du mode opératoire de la saisie graphique d’un schéma dur le système APPLICON. Les buts essentiels de la méthode proposée sont: - minimisation des étapes ‘manuelles’; - vérification automatique des erreurs pouvant être commises, et qui sont difficilement détectables ; - automatisation des étapes pouvant être des sources d’erreurs; - obtention d’une «Dev-list» correcte : qui traduit correctement le schéma correspondant.

Titre traduit

Automating to graphical acquisition of logical schemes applicon

Pas de résumé disponible.