.gitignore « smt2-bmc « scripts - picorv32 - Fork of https://github.com/YosysHQ/picorv32.

about summary refs log tree commit diff stats

path: root/scripts/smt2-bmc/.gitignore

blob: 919b4a2bfbec8b6c78b4f0ba35e4eb52d6253d6f (plain)

__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