diff options
| author | uvok | 2026-01-09 15:18:23 +0100 |
|---|---|---|
| committer | uvok | 2026-01-09 15:18:23 +0100 |
| commit | 6c83fd8730e55de8b1daaac1deb111d3d9bd408e (patch) | |
| tree | 33a3dbc4fd87011b657b193224c3f39c5de6b766 /debounce_tb.v | |
| parent | 678cb2d2d752bbac7625ba9b287762b3acabf116 (diff) | |
move stuff around
Diffstat (limited to 'debounce_tb.v')
| -rw-r--r-- | debounce_tb.v | 76 |
1 files changed, 0 insertions, 76 deletions
diff --git a/debounce_tb.v b/debounce_tb.v deleted file mode 100644 index fb9430c..0000000 --- a/debounce_tb.v +++ /dev/null @@ -1,76 +0,0 @@ -`timescale 1us/1us - -module debounce_tb; - -logic rst_i; -logic clk_i; -logic signal_i; -logic signal_o; - -integer i = 0; - -debounce #(.STABLE_PERIOD(5)) uut ( - .rst_i(rst_i), - .clk_i(clk_i), - .signal_i(signal_i), - .signal_o(signal_o) -); - -string filename; -initial begin -`ifdef DUMP_FILE_NAME - filename=`DUMP_FILE_NAME; -`else - filename="debounce.lxt2"; -`endif - $dumpfile(filename); $dumpvars(); - - 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 - @(negedge clk_i); - signal_i = ~signal_i; - assert (signal_o == 1'b1); - - repeat(2) @(negedge clk_i); - - signal_i = ~signal_i; - assert (signal_o == 1'b1); - - // try bouncing - - repeat(2) @(negedge clk_i); - - for (i=0; i < 20; i = i + 1) begin - @(negedge clk_i); - signal_i = ~signal_i; - assert (signal_o == 1'b1); - end - @(negedge clk_i); - signal_i = ~signal_i; - assert (signal_o == 1'b1); - - repeat(10) @(negedge clk_i); - assert (signal_o == 1'b0); - - repeat(10) @(negedge clk_i); - signal_i = ~signal_i; - - repeat(10) @(negedge clk_i); - assert (signal_o == 1'b1); - - repeat(10) @(negedge clk_i); - $finish(); -end - -endmodule |
