Formal Verification of Verilog HDL with Yosys-SMTBMC (33c3)
-
Not SyncedPlease use the Etherpad for the transcript.
If there is no transcript in the etherpad available yet, please tell us. -
Not SyncedTranskript here won't be further processed!
In the Etherpad you can find a auto generated Transcript as start. -
Not Syncedhttps://c3subtitles.de/talk/705
https://subtitles.pads.ccc.de/33c3-talk-7922
|
C3Subtitles edited English subtitles for Formal Verification of Verilog HDL with Yosys-SMTBMC (33c3) |