1 files changed, 2 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index bca5e64..66f233f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,6 +20,8 @@
 /testbench_synth.exe
 /testbench.gtkw
 /testbench.vcd
+/check.smt2
+/check.vcd
 /synth.log
 /synth.v
 .*.swp