1 files changed, 51 insertions, 0 deletions
diff --git a/led_toggle_bouncy_tb.v b/led_toggle_bouncy_tb.v
new file mode 100644
index 0000000..f300071
--- /dev/null
+++ b/led_toggle_bouncy_tb.v
@@ -0,0 +1,51 @@
+`timescale 1us/1us
+
+module led_toggle_bouncy_tb (
+);
+
+logic clk_i;
+logic key_i;
+logic [5:0] led;
+
+led_toggle_bouncy uut (
+  .clk_i(clk_i),
+  .key_i(key_i),
+  .led(led)
+);
+
+string filename;
+initial begin
+`ifdef DUMP_FILE_NAME
+  filename=`DUMP_FILE_NAME;
+`else
+  filename="led_toggle_bouncy.lxt2";
+`endif
+  $dumpfile(filename); $dumpvars();
+
+  clk_i = 0;
+  key_i = 1'b1;
+end
+
+always #10 clk_i = ~clk_i;
+
+initial begin
+  // initial key press
+  @(negedge clk_i);
+  key_i = ~key_i;
+  repeat(2) @(negedge clk_i);
+  key_i = ~key_i;
+
+  // try bouncing
+
+  repeat(2) @(negedge clk_i);
+
+  for (integer i=0; i < 20; i = i + 1) begin
+    @(negedge clk_i);
+    key_i = ~key_i;
+  end
+
+  repeat(5) @(negedge clk_i);
+  $finish();
+end
+
+endmodule