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> Flow<br />
Verilog Design<br />
Verilog Asserts<br />
<strong>Yosys</strong><br />
PASS / FAIL<br />
Constraints File<br />
SMT-LIB2 Code<br />
<strong>Yosys</strong>-<strong>SMTBMC</strong><br />
SMT-LIB2 Solver<br />
VCD File<br />
Verilog Testbench<br />
Constraints File<br />
Trace / counterexample formats