Retourner au contenu associé (dépêche : Sortie de la version 0.10 de Yosys)
Posté par tao popus le 07 octobre 2021 à 13:59. En réponse à la dépêche Sortie de la version 0.10 de Yosys. Évalué à 3.
Une conf qui date de 2016 (ou son upload sur youtube) du C3 explique les principes et utilité de Yosys, la différence et complément par rapport à un simulateur :
Formal Verification of Verilog HDL with Yosys-SMTBMC (33c3).
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Complément: explications de l'utilité de Yosys au C3
Posté par tao popus . En réponse à la dépêche Sortie de la version 0.10 de Yosys. Évalué à 3.
Une conf qui date de 2016 (ou son upload sur youtube) du C3 explique les principes et utilité de Yosys, la différence et complément par rapport à un simulateur :
Formal Verification of Verilog HDL with Yosys-SMTBMC (33c3).