Bonjour, Je suis étudiant en licence d'informatique-électronique au Mans et je travaille en projet avec un autre étudiant sur Alliance. Notre but est de créer par nous-même un composant simple et une documentation compréhensible qui servira (on l'espère) pour des TP futurs. Mes questions résident en deux points que j'aimerais clarifier : 1) D'après les tutoriels ("addaccu" et "amd"), il m'a semblé comprendre que le fichier de description comportementale (.vbe) n'étaient utilisés uniquement qu'à des fins de test de comportement, et que le composant était généré un peu comme un 'puzzle' dans les fichiers sources en c, en assemblant les portes une à une. Maintenant, j'en suis arrivé au point suivant dans mes investigations : j'ai cherché à faire une synthèse directe à partir du fichier addaccu.vbe. J'ai donc fait fonctionner "bop -o" et "scmap" sur ce fichier afin de créer le noyau(core) du composant et j'ai ensuite utilisé le fichier "addaccu.c" pour relier ce noyau au broches(pads) puis j'ai suivi la procédure standard pour compiler l'ASIC : "scr -p -r", "ring" et "s2r". Tous se passe bien jusqu'au moment ou on lance le prouveur formel. Après correction des problèmes liés à l'existence ou l'absence de certaines lignes (par exemple vdde et vsse ainsi que les lignes du registre qui doivent être renommées dans le fichier .inf), je me retrouve avec un total de 8 erreurs. Pourtant, une simulation comportementale (fichier "vecteurs.pat") sur le fichier résultat de yagle se termine sans erreur (d'après l'analyse que j'ai pu faire de la sortie de asimut). J'aimerais avoir plus de renseignements sur les spécificités du 'direct synthesis', voire connaître exactement la marche à suivre pour obtenir une sortie sans erreur. 2) On m'a dit que Alliance était capable de générer un fichier compilable dans un EPLD. Est-ce vrai et pourriez-vous me dire comment? On peut obtenir des ASIC du CMP de Grenoble gratuitement(dans le cadre de notre projet) mais quand il faut attendre 12 semaines pour obtenir un composant dont on doute de son fonctionnement, vous comprenez qu'il serait intéresaant de trouver une alternative. Je vous remercie par avance pour toute information que vous pourrez nous donner.