picorv32/scripts/smt2-bmc/.gitignore

13 lines
136 B
Plaintext
Raw Normal View History

2015-08-15 17:28:35 +08:00
__pycache__
2015-08-09 20:23:02 +08:00
debug.smt2
async_a.smt2
async_b.smt2
async_tb
async_tb.v
async_tb.vcd
2015-08-15 17:28:35 +08:00
sync_a.smt2
sync_b.smt2
sync_tb
sync_tb.v
sync_tb.vcd