picorv32/scripts/smt2-bmc/.gitignore

__pycache__
debug.smt2
async_a.smt2
async_b.smt2
async_tb
async_tb.v
async_tb.vcd
sync_a.smt2
sync_b.smt2
sync_tb
sync_tb.v
sync_tb.vcd
Added scripts/smt2-bmc/sync.* 2015-08-15 17:28:35 +08:00			`__pycache__`
Added smt2-based bmc scripts 2015-08-09 20:23:02 +08:00			`debug.smt2`
Renamed scripts/smt2-bmc/mem_equiv to .../async 2015-08-15 16:50:27 +08:00			`async_a.smt2`
			`async_b.smt2`
			`async_tb`
			`async_tb.v`
			`async_tb.vcd`
Added scripts/smt2-bmc/sync.* 2015-08-15 17:28:35 +08:00			`sync_a.smt2`
			`sync_b.smt2`
			`sync_tb`
			`sync_tb.v`
			`sync_tb.vcd`