debounce_tb: Add assertiins

1 files changed, 12 insertions, 2 deletions

diff --git a/debounce.tb.v b/debounce.tb.v
index 7501e2b..df3e5e4 100644
--- a/debounce.tb.v
+++ b/debounce.tb.v
@@ -36,8 +36,10 @@ initial begin
   // initial key press
   #25
   signal_i <= ~signal_i;
+  assert (signal_o == 1'b1);
   #40
   signal_i <= ~signal_i;
+  assert (signal_o == 1'b1);
 
   // try bouncing
 
@@ -46,13 +48,21 @@ initial begin
   for (i=0; i < 20; i = i + 1) begin
     #20
     signal_i <= ~signal_i;
+    assert (signal_o == 1'b1);
   end
   #20
   signal_i <= ~signal_i;
-  #500
+  assert (signal_o == 1'b1);
+  #200
+  assert (signal_o == 1'b0);
+
+  #300
   signal_i <= ~signal_i;
 
-  #500
+  #200
+  assert (signal_o == 1'b1);
+
+  #300
   $finish();
 end