.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: 40f0c37c0399096e56578dcd66a0c01f3029b0db (plain)

debug.smt2
async_a.smt2
async_b.smt2
async_tb
async_tb.v
async_tb.vcd