diff options
Diffstat (limited to 'riscv/picorv32/scripts/smtbmc/.gitignore')
-rw-r--r-- | riscv/picorv32/scripts/smtbmc/.gitignore | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/riscv/picorv32/scripts/smtbmc/.gitignore b/riscv/picorv32/scripts/smtbmc/.gitignore new file mode 100644 index 0000000..1ce906e --- /dev/null +++ b/riscv/picorv32/scripts/smtbmc/.gitignore @@ -0,0 +1,18 @@ +tracecmp.smt2 +tracecmp.yslog +tracecmp2.smt2 +tracecmp2.yslog +tracecmp3.blif +tracecmp3.cex +tracecmp3.smt2 +tracecmp3.yslog +axicheck.smt2 +axicheck.yslog +axicheck2.smt2 +axicheck2.yslog +notrap_validop.smt2 +notrap_validop.yslog +mulcmp.smt2 +mulcmp.yslog +output.vcd +output.smtc |