picorv32/scripts/smt2-bmc/.gitignore

mirror of https://github.com/YosysHQ/picorv32.git
__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 05:28:35 -04:00			`__pycache__`
Added smt2-based bmc scripts 2015-08-09 08:23:02 -04:00			`debug.smt2`
Renamed scripts/smt2-bmc/mem_equiv to .../async 2015-08-15 04:50:27 -04:00			`async_a.smt2`
			`async_b.smt2`
			`async_tb`
			`async_tb.v`
			`async_tb.vcd`
Added scripts/smt2-bmc/sync.* 2015-08-15 05:28:35 -04:00			`sync_a.smt2`
			`sync_b.smt2`
			`sync_tb`
			`sync_tb.v`
			`sync_tb.vcd`