yosys/examples/smtbmc/.gitignore

demo1.smt2
demo1.yslog
demo2.smt2
demo2.smtc
demo2.vcd
demo2.yslog
demo2_tb
demo2_tb.v
demo2_tb.vcd
demo3.smt2
demo3.vcd
demo3.yslog
demo4.smt2
demo4.vcd
demo4.yslog
demo5.smt2
demo5.vcd
demo5.yslog
yosys-smtbmc --smtc -g 2016-08-24 15:09:50 -05:00			`demo1.smt2`
			`demo1.yslog`
			`demo2.smt2`
More yosys-smtbmc smtc features 2016-08-24 16:18:29 -05:00			`demo2.smtc`
yosys-smtbmc --smtc -g 2016-08-24 15:09:50 -05:00			`demo2.vcd`
			`demo2.yslog`
			`demo2_tb`
			`demo2_tb.v`
			`demo2_tb.vcd`
More yosys-smtbmc smtc features 2016-08-24 16:18:29 -05:00			`demo3.smt2`
			`demo3.vcd`
			`demo3.yslog`
Added smtc "final" statement 2016-08-27 07:30:36 -05:00			`demo4.smt2`
			`demo4.vcd`
			`demo4.yslog`
Added $anyconst support to yosys-smtbmc 2016-08-30 12:27:42 -05:00			`demo5.smt2`
			`demo5.vcd`
			`demo5.yslog`