Schedule 33. Chaos Communication Congress
Version BAD NETWORK/FIREWALL
Feedback for: Formal Verification of Verilog HDL with Yosys-SMTBMC
Please let us know how you liked this event:
*
evaluation
1
2
3
4
5
How would you rate this event? 5 is the best rating and 1 is the worst.
Comment
What did you like? What did you not like? How could this event be improved? Please share your thoughts.