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
demo6.smt2
demo6.yslog
demo7.smt2
demo7.yslog
demo8.smt2
demo8.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`
Improvements in assertpmux 2016-09-07 05:42:16 -05:00			`demo6.smt2`
			`demo6.yslog`
yosys-smtbmc meminit support 2016-09-08 04:16:12 -05:00			`demo7.smt2`
			`demo7.yslog`
Add smtbmc support for exist-forall problems Signed-off-by: Clifford Wolf <clifford@clifford.at> 2018-02-23 12:33:30 -06:00			`demo8.smt2`
			`demo8.yslog`