diff --git a/.gitignore b/.gitignore
index 71fa228..487adcc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,6 +29,7 @@
 /testbench.gtkw
 /testbench.vcd
 /testbench.trace
+/testbench_verilator*
 /check.smt2
 /check.vcd
 /synth.log