Je m'apprêtais à poser la même question... En lisant la homepage, j'ai même trouvé un indice: "Jeda is a C-like programming language for hardware design verification." .. mouais...
Ça aurait quand même été bien d'être un poil plus explicatif dans la news.
[^] # Re: C'est quoi un langage de vérification ?
Posté par Troy McClure (site web personnel) . En réponse à la dépêche Jeda: langage de vérification open source. Évalué à 1.
Ça aurait quand même été bien d'être un poil plus explicatif dans la news.