diff options
Diffstat (limited to 'fizzbuzz.tb.v')
| -rw-r--r-- | fizzbuzz.tb.v | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/fizzbuzz.tb.v b/fizzbuzz.tb.v new file mode 100644 index 0000000..cf31546 --- /dev/null +++ b/fizzbuzz.tb.v @@ -0,0 +1,35 @@ +`timescale 1us/1ns + +module fizzbuzz_tb ( +); + + +reg [7:0] number = 0; +wire [7:0] num_out; + +fizzbuzz uut( + .num_i(number), + .num_o(num_out), + .fizz_o(), + .buzz_o(), + .fizzbuzz_o() +); + +initial begin + $dumpfile("fizzbuzz.lxt2"); $dumpvars(); + +end + +always #10 begin + number <= number + 1; + if (number == 3) assert(num_out == 0); + if (number == 5) assert(num_out == 0); + if (number == 15) assert(num_out == 0); +end + +initial begin + #2570 + $finish(); +end + +endmodule |
