Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Yosys</strong>-<strong>SMTBMC</strong> Examples<br />
●<br />
Slides and examples from this presentation:<br />
– http://www.clifford.at/papers/2016/yosys-smtbmc/<br />
●<br />
Some simple examples are bundled <strong>with</strong> <strong>Yosys</strong>:<br />
– See examples/smtbmc/ in <strong>Yosys</strong> source code<br />
●<br />
See PicoRV32 for real-world example:<br />
– https://github.com/cliffordwolf/picorv32<br />
– Run “make check” to verify properties in picorv32.v<br />
– See scripts/smtbmc/ for more advanced checks