diff options
| -rw-r--r-- | debounce.tb.v | 14 |
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 |