Introduction to SAT and SMT Solvers
Interfacing Yosys and SMT Solvers for BMC and more using SMT-LIB 2.5
Presentation Slides
Presentation Slides (PDF)
Presentation Slides (ODP)
Example Code
smtex01.smt2
smtex02.smt2
smtex03.smt2
tempind01.v
tempind01.ys
tempind02.sh
tempind02.smt2
tempind02.v
tempind02.ys
Video Recordings
German recording at TU-Wien (1/3)
German recording at TU-Wien (2/3)
German recording at TU-Wien (3/3)