Skip to content

inria-parkas/minijazz

Repository files navigation

Compilation

Pour compiler MiniJazz, utilisez la commande suivante:

ocamlbuild mjc.byte

Utilisation

Il suffit de lancer le compilateur en lui donnant un fichier .mj:

./mjc.byte test/nadder.mj

Cela génère un fichier test/nadder.net contenant une net-list non ordonnée.

Pour obtenir les options du compilateur, utilisez l'option -h:

./mjc.byte -h

Une option importante est -m qui doit être suivi du nom du bloc principal du circuit. Par défaut, le compilateur recherche un bloc appelé main.

Pour la description du langage MiniJazz et du langage de net-list, voir le sujet du TP1 du cours L3 de systèmes numériques à l'ENS.

Crédits

Le langage Jazz a été conçu par Jean Vuillemin.

Le compilateur MiniJazz a été développé par Cédric Pasteur (certaines parties ont été supprimées de cette version accessible au public).

N'hésitez pas à faire des « Pull Requests » pour corriger des bogues ou proposer des améliorations. Merci de ne pas partager les solutions aux exercices.