Salut, On Tue, Mar 23, 1999 at 02:06:10PM +0000, Samuel GOUET wrote: > 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. Déjà pas si mal d'en être arrivé là, ... Ton problème vient de la polarité des points mémorisant dans les bascules, ... En effet, la description vbe des registres indique un point memorisant positif (genre q <= d), alors que les cellules sur lesquelles tu mappe ont un point memorisant négatif (genre x <= d', puis q <= x'). Ça ne s'invente pas, et proof doit être informé grâce a une option magique du tour de passe-passe En fait, proof a besoin d'une option particuliere, genre -p, (pour passe-passe:), pour retrouver ses petits. > 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. J'avais écris un driver XNF y'a des lustres, qui permettait de faire x2xnf, mais il est disparu dans les limbes, par contre je suis sur qu'il en existe un autre, que tu dois pouvoir te procurer aupres d'Arnaud Caron, Arnaud.Caron@lip6.fr, pour de plus amples details. > Je vous remercie par avance pour toute information que vous pourrez nous > donner. Comme c'est bien dit! Et on dit que la jeunesse n'est plus ce qu'elle était, ... Fred -- @----------------------,-,-----,-------------------------------------@ |Ad augusta Frederic PETROT: MC d'ASIM/LIP6/UPMC (Paris VI) | |Per angusta 55-65/201 4 place Jussieu, 75252 Paris Cedex 05 | |Work:331 44275415 Fax:331 44276286 Frederic.Petrot@lip6.fr | |Home:331 47129513 Pager:336 56278636 //asim.lip6.fr/~fred/ | @--------------------------------------------------------------------@