examples/smtbmc/.gitignore


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

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