Fix testbench

1 files changed, 28 insertions, 25 deletions

diff --git a/debounce.tb.v b/debounce.tb.v
index ba90aa7..3376434 100644
--- a/debounce.tb.v
+++ b/debounce.tb.v
@@ -3,10 +3,10 @@
 module debounce_tb (
 );
 
-reg rst_i;
-reg clk_i;
-reg signal_i;
-wire signal_o;
+logic rst_i;
+logic clk_i;
+logic signal_i;
+logic signal_o;
 
 integer i = 0;
 
@@ -26,48 +26,51 @@ initial begin
 `endif
   $dumpfile(filename); $dumpvars();
 
-  clk_i <= 0;
-  rst_i <= 1'b1;
-  signal_i <= 1'b1;
-  #4
-  rst_i <= 1'b0;
-  #4
-  rst_i <= 1'b1;
+  clk_i = 0;
+  rst_i = 1'b1;
+  signal_i = 1'b1;
+  #1
+  rst_i = 1'b0;
+  #1
+  rst_i = 1'b1;
 end
 
 always #10 clk_i = ~clk_i;
 
 initial begin
   // initial key press
-  #25
-  signal_i <= ~signal_i;
+  @(negedge clk_i);
+  signal_i = ~signal_i;
   assert (signal_o == 1'b1);
-  #40
-  signal_i <= ~signal_i;
+ 
+  repeat(2) @(negedge clk_i);
+ 
+  signal_i = ~signal_i;
   assert (signal_o == 1'b1);
 
   // try bouncing
 
-  #50
+  repeat(2) @(negedge clk_i);
 
   for (i=0; i < 20; i = i + 1) begin
-    #20
-    signal_i <= ~signal_i;
+    @(negedge clk_i);
+    signal_i = ~signal_i;
     assert (signal_o == 1'b1);
   end
-  #20
-  signal_i <= ~signal_i;
+  @(negedge clk_i);
+  signal_i = ~signal_i;
   assert (signal_o == 1'b1);
-  #200
+
+  repeat(10) @(negedge clk_i);
   assert (signal_o == 1'b0);
 
-  #300
-  signal_i <= ~signal_i;
+  repeat(10) @(negedge clk_i);
+  signal_i = ~signal_i;
 
-  #200
+  repeat(10) @(negedge clk_i);
   assert (signal_o == 1'b1);
 
-  #300
+  repeat(10) @(negedge clk_i);
   $finish();
 end