Open Source HDL Synthesis and Verification with Yosys
Presentation Slides
Presentation Slides (PDF)
Presentation Slides (ODP)
Example Code
example_assert.v
example_assert.ys
example_equiv.v
example_equiv.ys
example_miter.v
example_miter.ys
example_smtlib.tpl
example_smtlib.v
example_smtlib.ys
Video Recordings
Recording from ORCONF 2015