En anglais c'est pas un problème a priori
Par contre, je sais juste que ça se compile, et que le résultat de la compilation sert à la simulation et à générer un schéma avec des portes logiques (ou d'autres niveaux de schémas)... Donc c'est quand même un peu différent des trucs classiques. J'ai bien trouvé quelques outils dans ma distribution Linux, mais pour essayer ça, sans savoir et en partant de zéro, c'est pas top...