À noter que la présentation traite de vérification formelle, à mettre en lien avec les ressources à la fin de la dépêche, notamment ce jeu de diapositives du même auteur et sur le même sujet que la présentation au 33c3 (les diapos sont un peu différentes toutefois).
[^] # Re: Complément: explications de l'utilité de Yosys au C3
Posté par deltadelta . En réponse à la dépêche Sortie de la version 0.10 de Yosys. Évalué à 4.
Il se trouve que le CCC possède sa propre infrastructure pour héberger et servir des vidéos : je me permets donc d'ajouter le lien vers la source d'origine.
https://media.ccc.de/v/33c3-7922-formal_verification_of_verilog_hdl_with_yosys-smtbmc
À noter que la présentation traite de vérification formelle, à mettre en lien avec les ressources à la fin de la dépêche, notamment ce jeu de diapositives du même auteur et sur le même sujet que la présentation au 33c3 (les diapos sont un peu différentes toutefois).