You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
cycle3.tpl<br />
$ yosys ql cycle3.yslog \<br />
p 'read_verilog cycle3.v' \<br />
p 'prep top cycle3 nordff' \<br />
p 'write_smt2 tpl cycle3.tpl cycle3_<strong>with</strong>_tpl.smt2'<br />
$ z3 cycle3_<strong>with</strong>_tpl.smt2<br />
sat<br />
(((|cycle3_n a| s1) true)<br />
((|cycle3_n b| s1) false)<br />
((|cycle3_n c| s1) false))<br />
(((|cycle3_n a| s2) false)<br />
((|cycle3_n b| s2) true)<br />
((|cycle3_n c| s2) false))<br />
(((|cycle3_n a| s3) false)<br />
((|cycle3_n b| s3) false)<br />
((|cycle3_n c| s3) true))