aboutsummaryrefslogtreecommitdiffstats
path: root/atk16_fpga/cu_tb.v
diff options
context:
space:
mode:
Diffstat (limited to 'atk16_fpga/cu_tb.v')
-rw-r--r--atk16_fpga/cu_tb.v587
1 files changed, 0 insertions, 587 deletions
diff --git a/atk16_fpga/cu_tb.v b/atk16_fpga/cu_tb.v
deleted file mode 100644
index d472ac3..0000000
--- a/atk16_fpga/cu_tb.v
+++ /dev/null
@@ -1,587 +0,0 @@
-`default_nettype none
-`define DUMPSTR(x) `"x.vcd`"
-`timescale 1 ns / 100 ps
-
-module cu_tb();
-
- reg clk, rst;
- reg [3:0] int_lines;
-
- wire sram_cs_n, sram_wr_n, sram_rd_n;
- wire [17:0] sram_addr;
- wire [15:0] sram_data_in;
- wire [15:0] sram_data_out;
- sram sram_inst(
- .cs_n(sram_cs_n),
- .wr_n(sram_wr_n),
- .rd_n(sram_rd_n),
- .addr(sram_addr),
- .data_in(sram_data_in),
- .data_out(sram_data_out)
- );
-
- wire [15:0] sram_addr_short;
- assign sram_addr = { 2'b0, sram_addr_short };
-
- cu dut(
- .clk(clk),
- .rst(rst),
- .int_lines(int_lines),
-
- .sram_cs_n(sram_cs_n),
- .sram_wr_n(sram_wr_n),
- .sram_rd_n(sram_rd_n),
- .sram_addr(sram_addr_short),
- .sram_in(sram_data_in),
- .sram_out(sram_data_out)
- );
-
- // Clock generation
- always #5 clk = ~clk; // 100 MHz clock
-
- reg failed;
- reg [15:0] expected, expected2;
- reg [31:0] test_num = 0;
- initial begin
- failed = 0;
- $dumpfile(`DUMPSTR(`VCD_OUTPUT));
- $dumpvars(0, cu_tb);
-
- clk = 0;
- rst = 0;
- int_lines = 4'b0000;
-
- #10 // Wait for reset phase to finish
-
- // set up halt instruction at PC = 1, used by all tests
- sram_inst.mem[1] = { 4'b1111, 12'd0 }; // HLT
-
- // test ALR
- dut.regbank[0] = 16'd10;
- dut.regbank[1] = 16'd20;
- sram_inst.mem[0] = { 4'b0000, 3'd2, 3'd0, 3'd1, 3'd0 }; // ALR RC, RA, RB, S=PLUS
- expected = 16'd30;
-
- #200 if (dut.regbank[2] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] ALR ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] ALR not working, target reg contains %04h, expected %04h", test_num, dut.regbank[2], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test ALI
- dut.regbank[0] = 16'd10;
- sram_inst.mem[0] = { 4'b0001, 3'd2, 3'd0, 3'd7, 3'd0 }; // ALI RC, RA, 7, S=PLUS
- expected = 16'd17;
-
- #200 if (dut.regbank[2] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] ALI ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] ALI not working, target reg contains %04h, expected %04h", test_num, dut.regbank[2], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test LDR, absolute addressing
- sram_inst.mem[16'd100] = 16'hffff;
- dut.regbank[1] = 16'd100;
- sram_inst.mem[16'd0] = { 4'b0010, 3'd0, 3'd1, 4'd0, 1'd1, 1'd1 }; // LDR RA, RB, absolute, direct
- expected = 16'hffff;
-
- #200 if (dut.regbank[0] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] LDR direct absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] LDR direct absolute not working, target reg contains %04h, expected %04h", test_num, dut.regbank[0], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test LDR, relative addressing
- sram_inst.mem[16'd10] = 16'hffff;
- dut.regbank[1] = 16'd10;
- sram_inst.mem[16'd0] = { 4'b0010, 3'd0, 3'd1, 4'd0, 1'd0, 1'd1 }; // LDR RA, RB, relative, direct
- expected = 16'hffff;
-
- #200 if (dut.regbank[0] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] LDR direct relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] LDR direct relative not working, target reg contains %04h, expected %04h", test_num, dut.regbank[0], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test LDR, absolute addressing, indirect
- sram_inst.mem[16'd100] = 16'd200;
- sram_inst.mem[16'd200] = 16'hffff;
- dut.regbank[1] = 16'd100;
- sram_inst.mem[16'd0] = { 4'b0010, 3'd0, 3'd1, 4'd0, 1'd1, 1'd0 }; // LDR RA, RB, absolute, indirect
- expected = 16'hffff;
-
- #200 if (dut.regbank[0] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] LDR indirect absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] LDR indirect absolute not working, target reg contains %04h, expected %04h", test_num, dut.regbank[0], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test LDR, relative addressing, indirect
- sram_inst.mem[16'd10] = 16'd20;
- sram_inst.mem[16'd20] = 16'hffff;
- dut.regbank[1] = 16'd10;
- sram_inst.mem[16'd0] = { 4'b0010, 3'd0, 3'd1, 4'd0, 1'd0, 1'd0 }; // LDR RA, RB, relative, indirect
- expected = 16'hffff;
-
- #200 if (dut.regbank[0] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] LDR indirect relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] LDR indirect relative not working, target reg contains %04h, expected %04h", test_num, dut.regbank[0], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test STR, absolute addressing, direct
- dut.regbank[0] = 16'hfafa;
- dut.regbank[1] = 16'd100;
- sram_inst.mem[16'd0] = { 4'b0011, 3'd0, 3'd1, 4'd0, 1'd1, 1'd1 }; // STR RB, RA, absolute, direct
- expected = 16'hfafa;
-
- #200 if (sram_inst.mem[16'd100] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] STR direct absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] STR direct absolute not working, memory location contains %04h, expected %04h", test_num, sram_inst.mem[16'd100], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test STR, relative addressing, direct
- dut.regbank[0] = 16'hafaf;
- dut.regbank[1] = 16'd10;
- sram_inst.mem[16'd0] = { 4'b0011, 3'd0, 3'd1, 4'd0, 1'd0, 1'd1 }; // STR RB, RA, relative, direct
- expected = 16'hafaf;
-
- #200 if (sram_inst.mem[16'd10] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] STR direct relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] STR direct relative not working, memory location contains %04h, expected %04h", test_num, sram_inst.mem[16'd10], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test STR, absolute addressing, indirect
- dut.regbank[0] = 16'hfafa;
- dut.regbank[1] = 16'd100;
- sram_inst.mem[16'd100] = 16'd200;
- sram_inst.mem[16'd0] = { 4'b0011, 3'd0, 3'd1, 4'd0, 1'd1, 1'd0 }; // STR RB, RA, absolute, indirect
- expected = 16'hfafa;
-
- #200 if (sram_inst.mem[16'd200] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] STR indirect absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] STR indirect absolute not working, memory location contains %04h, expected %04h", test_num, sram_inst.mem[16'd200], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test STR, relative addressing, indirect
- dut.regbank[0] = 16'hafaf;
- dut.regbank[1] = -16'd10;
- sram_inst.mem[16'd10] = 16'd20;
- sram_inst.mem[16'd20] = { 4'b0011, 3'd0, 3'd1, 4'd0, 1'd0, 1'd0 }; // STR RB, RA, relative, indirect
- dut.pc = 16'd20;
- expected = 16'hafaf;
-
- #200 if (sram_inst.mem[16'd20] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] STR indirect relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] STR indirect relative not working, memory location contains %04h, expected %04h", test_num, sram_inst.mem[16'd20], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test LDI, absolute addressing, direct
- sram_inst.mem[16'd0] = { 4'b0100, 3'd0, 7'd123, 1'd1, 1'd1 }; // LDI RA, 1, absolute, direct
- expected = 16'd123;
-
- #200 if (dut.regbank[0] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] LDI direct absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] LDI direct absolute not working, target reg contains %04h, expected %04h", test_num, dut.regbank[0], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test LDI, relative addressing, direct
- sram_inst.mem[16'd150] = { 4'b0100, 3'd0, -7'd20, 1'd0, 1'd1 }; // LDI RA, 1, relative, direct
- dut.pc = 16'd150;
- expected = 16'd130;
-
- #200 if (dut.regbank[0] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] LDI direct relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] LDI direct relative not working, target reg contains %04h, expected %04h", test_num, dut.regbank[0], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test LDI, absolute addressing, indirect
- sram_inst.mem[16'd0] = { 4'b0100, 3'd0, 7'd50, 1'd1, 1'd0 }; // LDI RA, 1, absolute, indirect
- sram_inst.mem[16'd50] = 16'd123;
- expected = 16'd123;
-
- #200 if (dut.regbank[0] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] LDI indirect absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] LDI indirect absolute not working, target reg contains %04h, expected %04h", test_num, dut.regbank[0], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test LDI, relative addressing, indirect
- sram_inst.mem[16'd150] = { 4'b0100, 3'd0, -7'd20, 1'd0, 1'd0 }; // LDI RA, 1, relative, indirect
- sram_inst.mem[16'd130] = 16'd123;
- dut.pc = 16'd150;
- expected = 16'd123;
-
- #200 if (dut.regbank[0] == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] LDI indirect relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] LDI indirect relative not working, target reg contains %04h, expected %04h", test_num, dut.regbank[0], expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test JPR, absolute addressing, direct
- dut.regbank[0] = 16'd100;
- sram_inst.mem[16'd0] = { 4'b0101, 1'd1, 1'd1, 3'd0, 7'd0 }; // JPR RA, absolute, direct
- sram_inst.mem[16'd100] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd101; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] JPR direct absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] JPR direct absolute not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test JPR, relative addressing, direct
- dut.regbank[0] = 16'd50;
- sram_inst.mem[16'd0] = { 4'b0101, 1'd0, 1'd1, 3'd0, 7'd0 }; // JPR RA, relative, direct
- sram_inst.mem[16'd50] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd51; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] JPR direct relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] JPR direct relative not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test JPR, absolute addressing, indirect
- dut.regbank[0] = 16'd100;
- sram_inst.mem[16'd100] = 16'd200;
- sram_inst.mem[16'd0] = { 4'b0101, 1'd1, 1'd0, 3'd0, 7'd0 }; // JPR RA, absolute, indirect
- sram_inst.mem[16'd200] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd201; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] JPR indirect absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] JPR indirect absolute not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test JPR, relative addressing, indirect
- dut.regbank[0] = 16'd50;
- sram_inst.mem[16'd60] = 16'd100;
- sram_inst.mem[16'd10] = { 4'b0101, 1'd0, 1'd0, 3'd0, 7'd0 }; // JPR RA, relative, indirect
- sram_inst.mem[16'd100] = { 4'b1111, 12'd0 }; // HLT
- dut.pc = 16'd10;
- expected = 16'd101; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] JPR indirect relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] JPR indirect relative not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test JPI, absolute addressing, direct
- sram_inst.mem[16'd0] = { 4'b0110, 1'd1, 1'd1, 10'd123 }; // JPI 123, absolute, direct
- sram_inst.mem[16'd123] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd124; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] JPI direct absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] JPI direct absolute not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test JPI, relative addressing, direct
- sram_inst.mem[16'd30] = { 4'b0110, 1'd0, 1'd1, -10'd20 }; // JPI -20, relative, direct
- sram_inst.mem[16'd10] = { 4'b1111, 12'd0 }; // HLT
- dut.pc = 16'd30;
- expected = 16'd11; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] JPI direct relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] JPI direct relative not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test JPI, absolute addressing, indirect
- sram_inst.mem[16'd10] = { 4'b0110, 1'd1, 1'd0, 10'd50 }; // JPI 50, absolute, indirect
- sram_inst.mem[16'd50] = 16'd123;
- sram_inst.mem[16'd123] = { 4'b1111, 12'd0 }; // HLT
- dut.pc = 16'd10;
- expected = 16'd124; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] JPI indirect absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] JPI indirect absolute not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test JPI, relative addressing, indirect
- sram_inst.mem[16'd30] = { 4'b0110, 1'd0, 1'd0, -10'd20 }; // JPI -20, relative, indirect
- sram_inst.mem[16'd10] = 16'd50;
- sram_inst.mem[16'd50] = { 4'b1111, 12'd0 }; // HLT
- dut.pc = 16'd30;
- expected = 16'd51; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] JPI indirect relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] JPI indirect relative not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test BRR, absolute addressing, direct, true branch
- dut.regbank[0] = 16'd100;
- dut.regbank[2] = 16'd110;
- sram_inst.mem[16'd0] = { 4'b0000, 3'd1, 3'd0, 3'd0, 3'd1 }; // ALR RB, RA, RA, S=MINUS
- sram_inst.mem[16'd1] = { 4'b0111, 1'd1, 1'd1, 2'd0, 3'd2, 5'd0 }; // BRR RC, absolute, direct, F=ZERO
- sram_inst.mem[16'd2] = { 4'b1111, 12'd0 }; // HLT
- sram_inst.mem[16'd110] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd111; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] BRR direct absolute true ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] BRR direct absolute true not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test BRR, absolute addressing, direct, false branch
- dut.regbank[0] = 16'd100;
- dut.regbank[2] = 16'd110;
- sram_inst.mem[16'd0] = { 4'b0000, 3'd1, 3'd0, 3'd0, 3'd1 }; // ALR RB, RA, RA, S=MINUS
- sram_inst.mem[16'd1] = { 4'b0111, 1'd1, 1'd1, 2'd1, 3'd2, 5'd0 }; // BRR RC, absolute, direct, F=NEGATIVE
- sram_inst.mem[16'd2] = { 4'b1111, 12'd0 }; // HLT
- sram_inst.mem[16'd110] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd3; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] BRR direct absolute false ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] BRR direct absolute false not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test BRR, relative addressing, direct
- dut.regbank[0] = 16'd100;
- dut.regbank[2] = 16'd109;
- dut.pc = 16'd10;
- sram_inst.mem[16'd10] = { 4'b0000, 3'd1, 3'd0, 3'd0, 3'd1 }; // ALR RB, RA, RA, S=MINUS
- sram_inst.mem[16'd11] = { 4'b0111, 1'd0, 1'd1, 2'd0, 3'd2, 5'd0 }; // BRR RC, relative, direct, F=ZERO
- sram_inst.mem[16'd12] = { 4'b1111, 12'd0 }; // HLT
- sram_inst.mem[16'd120] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd121; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] BRR direct relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] BRR direct relative not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test BRR, absolute addressing, indirect
- dut.regbank[0] = 16'd100;
- dut.regbank[2] = 16'd110;
- sram_inst.mem[16'd110] = 16'd200;
- sram_inst.mem[16'd0] = { 4'b0000, 3'd1, 3'd0, 3'd0, 3'd1 }; // ALR RB, RA, RA, S=MINUS
- sram_inst.mem[16'd1] = { 4'b0111, 1'd1, 1'd0, 2'd0, 3'd2, 5'd0 }; // BRR RC, absolute, indirect, F=ZERO
- sram_inst.mem[16'd2] = { 4'b1111, 12'd0 }; // HLT
- sram_inst.mem[16'd200] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd201; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] BRR indirect absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] BRR indirect absolute not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test BRR, relative addressing, indirect
- dut.regbank[0] = 16'd100;
- dut.regbank[2] = 16'd109;
- dut.pc = 16'd10;
- sram_inst.mem[16'd10] = { 4'b0000, 3'd1, 3'd0, 3'd0, 3'd1 }; // ALR RB, RA, RA, S=MINUS
- sram_inst.mem[16'd11] = { 4'b0111, 1'd0, 1'd0, 2'd0, 3'd2, 5'd0 }; // BRR RC, relative, indirect, F=ZERO
- sram_inst.mem[16'd12] = { 4'b1111, 12'd0 }; // HLT
- sram_inst.mem[16'd120] = 16'd130;
- sram_inst.mem[16'd130] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd131; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] BRR indirect relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] BRR indirect relative not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test BRI, absolute addressing, direct, true branch
- dut.regbank[0] = 16'd100;
- sram_inst.mem[16'd0] = { 4'b0000, 3'd1, 3'd0, 3'd0, 3'd1 }; // ALR RB, RA, RA, S=MINUS
- sram_inst.mem[16'd1] = { 4'b1000, 1'd1, 1'd1, 2'd0, 8'd100 }; // BRI 100, absolute, direct, F=ZERO
- sram_inst.mem[16'd2] = { 4'b1111, 12'd0 }; // HLT
- sram_inst.mem[16'd100] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd101; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] BRI direct absolute true ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] BRI direct absolute true not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test BRI, absolute addressing, direct, false branch
- dut.regbank[0] = 16'd100;
- sram_inst.mem[16'd0] = { 4'b0000, 3'd1, 3'd0, 3'd0, 3'd1 }; // ALR RB, RA, RA, S=MINUS
- sram_inst.mem[16'd1] = { 4'b1000, 1'd1, 1'd1, 2'd1, 8'd100 }; // BRI 100, absolute, direct, F=NEGATIVE
- sram_inst.mem[16'd2] = { 4'b1111, 12'd0 }; // HLT
- sram_inst.mem[16'd100] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd3; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] BRI direct absolute false ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] BRI direct absolute false not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test BRI, relative addressing, direct
- dut.regbank[0] = 16'd100;
- dut.pc = 16'd10;
- sram_inst.mem[16'd10] = { 4'b0000, 3'd1, 3'd0, 3'd0, 3'd1 }; // ALR RB, RA, RA, S=MINUS
- sram_inst.mem[16'd11] = { 4'b1000, 1'd0, 1'd1, 2'd0, 8'd9 }; // BRI 9, relative, direct, F=ZERO
- sram_inst.mem[16'd12] = { 4'b1111, 12'd0 }; // HLT
- sram_inst.mem[16'd20] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd21; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] BRI direct relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] BRI direct relative not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test BRI, absolute addressing, indirect
- dut.regbank[0] = 16'd100;
- sram_inst.mem[16'd100] = 16'd200;
- sram_inst.mem[16'd0] = { 4'b0000, 3'd1, 3'd0, 3'd0, 3'd1 }; // ALR RB, RA, RA, S=MINUS
- sram_inst.mem[16'd1] = { 4'b1000, 1'd1, 1'd0, 2'd0, 8'd100 }; // BRI 100, absolute, indirect, F=ZERO
- sram_inst.mem[16'd2] = { 4'b1111, 12'd0 }; // HLT
- sram_inst.mem[16'd200] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd201; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] BRI indirect absolute ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] BRI indirect absolute not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test BRI, relative addressing, indirect
- dut.regbank[0] = 16'd100;
- dut.pc = 16'd10;
- sram_inst.mem[16'd10] = { 4'b0000, 3'd1, 3'd0, 3'd0, 3'd1 }; // ALR RB, RA, RA, S=MINUS
- sram_inst.mem[16'd11] = { 4'b1000, 1'd0, 1'd0, 2'd0, 8'd9 }; // BRI 9, relative, indirect, F=ZERO
- sram_inst.mem[16'd12] = { 4'b1111, 12'd0 }; // HLT
- sram_inst.mem[16'd20] = 16'd130;
- sram_inst.mem[16'd130] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd131; // PC ends up at &HLT + 1
-
- #200 if (dut.pc == expected) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] BRI indirect relative ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] BRI indirect relative not working, PC contains %04h, expected: %04h", test_num, dut.pc, expected);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test interrupt handling
- sram_inst.mem[16'd0] = { 4'b0001, 3'b0, 3'b0, 3'b0, 3'b0 }; // NOP (add imm zero)
- sram_inst.mem[16'h10] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'h11;
- expected2 = 16'd0;
- #5
- int_lines = 4'b1001; // set interrupts
-
- #200 if (dut.pc == expected && dut.int_pc == expected2) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] interrupt jump ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] interrupt jump not working, PC contains %04h (expected: %04h), int_pc contains %04h (expected: %04h)", test_num, dut.pc, expected, dut.int_pc, expected2);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- // test RTI
- dut.int_en = 1'b0;
- dut.pc = 16'h10;
- dut.int_pc = 16'd1;
- sram_inst.mem[16'h10] = { 4'b1010, 12'd0 }; // RTI
- sram_inst.mem[16'd1] = { 4'b1111, 12'd0 }; // HLT
- expected = 16'd2; // PC ends up at &HLT + 1
- expected2 = 1'b1;
-
- #200 if (dut.pc == expected && dut.int_en == expected2) begin
- $display("\033[0;32m[PASS]\033[0m [%0d] interrupt return ok", test_num);
- end else begin
- $display("\033[0;31m[FAIL]\033[0m [%0d] interrupt return not working, PC contains %04h (expected: %04h), int_en contains %01b (expected: %01b)", test_num, dut.pc, expected, dut.int_en, expected2);
- failed = 1;
- end
- rst = 1; #10 rst = 0; #10 test_num++;
-
- #200
- if (failed) begin
- $display("🛑 \033[0;31mTest suite failed\033[0m");
- //$fatal(1);
- end else
- $display("✅ \033[0;32mTest suite passed\033[0m");
-
- $finish;
- end
-
-endmodule

Want to contribute? Host your changes somewhere and send me the link: jan (at) sydanviita.fi. Also, check out my website.


forge.jan.systems — powered by cgit