Ce n'est pas nouveau, certes, mais ça a eu le mérite de passer dans la newsletter de EDTN du 21/11/2001 et dans la section EEtimes de leur site qui vise les ingénieurs et les chefs de projet hardware.
Extrait de la newsletter:
"TECHNOLOGY
--Engineer offers open-source verification language--
Atsushi Kasuya, verification engineer at Juniper Networks Inc.,
didn't like any of the existing languages used for verification, so
he wrote his own and is now offering it to the design community on an open-source basis."
Traduction approximative pour les non-anglophones:
"TECHNOLOGIE
-- Un ingénieur offre un langage de vérification open source--
Atsushi Kasuya, un ingénieur vérification à Juniper Networks Inc., n'aimait aucun des langages de vérification existants, alors il a écrit le sien et il l'offre maintenant sous licence open source à la communauté des développeurs [hardware]."
En fait, s'agit du langage de vérification Jeda, actuellement en version 1.0.6 et publié sous license GPL. Ce qui est intéressant dans l'article, c'est que le terme open source est mis en avant.
<mode="rêve on">Après les EDAs fonctionnels gratuits, à quand les EDAs fonctionnels open source?</mode>