Changes between Version 15 and Version 16 of MOCCA-TP2-2019


Ignore:
Timestamp:
Sep 27, 2019, 7:28:07 AM (5 years ago)
Author:
franck
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • MOCCA-TP2-2019

    v15 v16  
    11{{{
    22#!html
    3 <h1> TP1 : Synthèse </h1>
     3<h1> TP2 : Synthèse d'automate avec Alliance </h1>
    44}}}
    55
    … …  
    1818
    1919Ce TP portera donc sur les méthodes de génération et de validation d’une netlist de cellules précaractérisées.
    20 En effet, même s’il est acquis que les outils de génération d’ '''Alliance''' fonctionnent correctement, la validation de chaque vue générée est indispensable.
     20En effet, même s’il est acquis que les outils de génération d’'''Alliance''' fonctionnent correctement, la validation de chaque vue générée est indispensable.
    2121Elle permet de limiter le coût et le temps de la conception.
    2222
    … …  
    250250  * Simuler avec '''asimut''' toutes les vues comportementales obtenues.
    251251
    252 '''Quelles sont vos remarques concernant la complexité des expressions (i.e. temps) et le nombre de registres (i.e surface) des descriptions comportementales suivant les encodages ?'''
     252'''Question''' :
     253Quelles sont vos remarques concernant la complexité des expressions (i.e. temps) et le nombre de registres (i.e surface) des descriptions comportementales suivant les encodages ?'''
    253254'''Comparez aussi leurs nombres de littéraux.'''
    254255
    … …  
    257258> boom -V <vbe_source> <vbe_destination>
    258259}}}
    259   * Essayer '''boom''' avec les différents algorithmes '''-s''', '''-j''', '''-b''', '''-g''', '''-p'''... Le mode et le niveau d'optimisation sont aussi à changer.
     260  * Essayer '''boom''' avec différents algorithmes '''-s''', '''-j''', '''-b''', '''-g''', '''-p'''... Le mode et le niveau d'optimisation sont aussi à changer.
    260261  * Comparer le nombre de littéraux après factorisation.
    261262
    … …  
    301302Vous inclurez les différents résultats obtenus surface/temps/optimisation.
    302303
    303 Vous enverrez le compte rendu par mail (franck.wajsburt@lip6.fr) avant le début du prochain TP (le sujet du mail doit être '''tools tp1 2017'''). Vous devez indiquez vos noms (binôme) dans le compte-rendu. Vous joindrez les fichiers écrits : soit une archive contenant tous les fichiers dans le mail, soit le chemin d'accès aux fichiers, en faisant attention dans ce cas à laisser les droits.
    304 Le dessin du graphe du digicode doit être fait avec les outils de [http://www.graphviz.org/content/fsm graphviz].
     304Vous déposerez le compte rendu sur le formulaire reçu par mail
     305Le dessin du graphe du digicode peux être fait avec les outils de [http://www.graphviz.org]
     306[[image(https://graphviz.gitlab.io/_pages/Gallery/directed/fsm.html)]].
    305307
    306308Vous ferez attention à joindre les différents Makefile créés de façon à ce que la commande '''make''' effectue les différentes étapes de ce TP.