diff options
Diffstat (limited to 'testbenches/lab7_autograder_check.sv')
| -rw-r--r-- | testbenches/lab7_autograder_check.sv | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/testbenches/lab7_autograder_check.sv b/testbenches/lab7_autograder_check.sv new file mode 100644 index 0000000..f72627c --- /dev/null +++ b/testbenches/lab7_autograder_check.sv @@ -0,0 +1,66 @@ +module lab7_check_tb; + reg err; + reg [3:0] KEY; + reg [9:0] SW; + wire [6:0] HEX0, HEX1, HEX2, HEX3, HEX4, HEX5; + wire [9:0] LEDR; + + lab7_top DUT(KEY, SW, LEDR, HEX0, HEX1, HEX2, HEX3, HEX4, HEX5); + + initial forever begin + KEY[0] = 0; #5; + KEY[0] = 1; #5; + end + + initial begin + #500; + $display("Time limit reached.\n"); + $stop; + end + + initial begin + err = 0; + KEY[1] = 1'b0; + + if (DUT.MEM.mem[0] !== 16'b1101000000000101) begin err = 1; $display("FAILED: mem[0] wrong; please set data.txt using Figure 6"); $stop; end + if (DUT.MEM.mem[1] !== 16'b0110000000100000) begin err = 1; $display("FAILED: mem[1] wrong; please set data.txt using Figure 6"); $stop; end + if (DUT.MEM.mem[2] !== 16'b1101001000000110) begin err = 1; $display("FAILED: mem[2] wrong; please set data.txt using Figure 6"); $stop; end + if (DUT.MEM.mem[3] !== 16'b1000001000100000) begin err = 1; $display("FAILED: mem[3] wrong; please set data.txt using Figure 6"); $stop; end + if (DUT.MEM.mem[4] !== 16'b1110000000000000) begin err = 1; $display("FAILED: mem[4] wrong; please set data.txt using Figure 6"); $stop; end + if (DUT.MEM.mem[5] !== 16'b1010101111001101) begin err = 1; $display("FAILED: mem[5] wrong; please set data.txt using Figure 6"); $stop; end + + @(negedge KEY[0]); + + KEY[1] = 1'b1; + + #10; + + if (DUT.CPU.PC !== 9'b0) begin err = 1; $display("FAILED: PC is not reset to zero."); $stop; end + + @(posedge DUT.CPU.PC or negedge DUT.CPU.PC); + + if (DUT.CPU.PC !== 9'h1) begin err = 1; $display("FAILED: PC should be 1."); $stop; end + + @(posedge DUT.CPU.PC or negedge DUT.CPU.PC); + + if (DUT.CPU.PC !== 9'h2) begin err = 1; $display("FAILED: PC should be 2."); $stop; end + if (DUT.CPU.DP.REGFILE.R0 !== 16'h5) begin err = 1; $display("FAILED: R0 should be 5."); $stop; end + + @(posedge DUT.CPU.PC or negedge DUT.CPU.PC); + + if (DUT.CPU.PC !== 9'h3) begin err = 1; $display("FAILED: PC should be 3."); $stop; end + if (DUT.CPU.DP.REGFILE.R1 !== 16'hABCD) begin err = 1; $display("FAILED: R1 should be 0xABCD. Looks like your LDR isn't working."); $stop; end + + @(posedge DUT.CPU.PC or negedge DUT.CPU.PC); + + if (DUT.CPU.PC !== 9'h4) begin err = 1; $display("FAILED: PC should be 4."); $stop; end + if (DUT.CPU.DP.REGFILE.R2 !== 16'h6) begin err = 1; $display("FAILED: R2 should be 6."); $stop; end + + @(posedge DUT.CPU.PC or negedge DUT.CPU.PC); + + if (DUT.CPU.PC !== 9'h5) begin err = 1; $display("FAILED: PC should be 5."); $stop; end + if (DUT.MEM.mem[6] !== 16'hABCD) begin err = 1; $display("FAILED: mem[6] wrong; looks like your STR isn't working"); $stop; end + + if (~err) $display("INTERFACE OK"); + end +endmodule: lab7_check_tb |