You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Custom Flows<br />
Verilog Design<br />
<strong>Yosys</strong><br />
Verilog Asserts<br />
SMT-LIB2 Code<br />
? ? ?<br />
SMT-LIB2 Solver<br />
Options for writing custom proofs:<br />
- Hand-written SMT2 code<br />
- Custom python script using<br />
smtio.py (the python lib<br />
implementing most of yosyssmtbmc)<br />
- Any other app using any SMT-<br />
LIB2 solver (e.g. using C/C++ API<br />
for proofs that involve many<br />
(checksat) calls.