2023-10-23 08:34:37 +00:00
|
|
|
`define assert(message, expected, got) \
|
2023-10-24 11:08:36 +00:00
|
|
|
#4 \
|
2023-10-23 08:34:37 +00:00
|
|
|
if(expected !== got) begin \
|
2023-11-25 10:28:17 +00:00
|
|
|
$display("\033[0;31m[FAIL]\033[0m %s - got: %0d, expected: %0d", message, expected, got); \
|
2023-11-24 10:28:08 +00:00
|
|
|
end else \
|
|
|
|
$display("\033[0;32m[PASS]\033[0m %s", message);
|
2023-10-23 08:34:37 +00:00
|
|
|
|
2023-10-24 12:19:24 +00:00
|
|
|
`define assert_no_wait(message, expected, got) \
|
|
|
|
if(expected !== got) begin \
|
2023-11-25 10:28:17 +00:00
|
|
|
$display("\033[0;31m[FAIL]\033[0m %s - got: %0d, expected: %0d", message, expected, got); \
|
2023-11-24 10:28:08 +00:00
|
|
|
end else \
|
|
|
|
$display("\033[0;32m[PASS]\033[0m %s", message);
|
2023-10-24 12:19:24 +00:00
|
|
|
|
2023-11-25 10:28:17 +00:00
|
|
|
`define assert_no_wait_reg(message, instr_addr, reg_addr, expected, got) \
|
|
|
|
if(expected !== got) begin \
|
|
|
|
$display("\033[0;31m[FAIL]\033[0m %s - INSTR: %0d - REG[%0d] = %0d, got: %0d", message, instr_addr, reg_addr, expected, got); \
|
|
|
|
end else \
|
|
|
|
$display("\033[0;32m[PASS]\033[0m %s - INSTR: %0d - REG[%0d] = %0d", message, instr_addr, reg_addr, expected);
|
|
|
|
|
|
|
|
`define assert_no_wait_pc(message, instr_addr, expected, got) \
|
|
|
|
if(expected !== got) begin \
|
|
|
|
$display("\033[0;31m[FAIL]\033[0m %s - INSTR: %0d - PC = %0d, got: %0d", message, instr_addr, expected, got); \
|
|
|
|
end else \
|
|
|
|
$display("\033[0;32m[PASS]\033[0m %s - INSTR: %0d - PC = %0d", message, instr_addr, expected);
|
|
|
|
|
|
|
|
`define assert_no_wait_mem(message, instr_addr, mem_addr, expected, got) \
|
|
|
|
if(expected !== got) begin \
|
|
|
|
$display("\033[0;31m[FAIL]\033[0m %s - INSTR: %0d - MEM[%0d] = %0d, got: %0d", message, instr_addr, mem_addr, expected, got); \
|
|
|
|
end else \
|
|
|
|
$display("\033[0;32m[PASS]\033[0m %s - INSTR: %0d - MEM[%0d] = %0d", message, instr_addr, mem_addr, expected);
|
|
|
|
|
2023-11-29 02:11:44 +00:00
|
|
|
`define test_result(message, curent_addr, addr_range, test_range) \
|
|
|
|
if (test[curent_addr][addr_range:addr_range - 5] < 6'b100000) begin \
|
|
|
|
`assert_no_wait_reg(message, curent_addr, test[curent_addr][addr_range:addr_range - 5], test[curent_addr][test_range:test_range - 31], risc_v_cpu.registers_bank.registers[test[curent_addr][addr_range - 1:addr_range - 5]]) \
|
|
|
|
end else if (test[curent_addr][addr_range:addr_range - 5] == 6'b100000) begin \
|
|
|
|
`assert_no_wait_pc(message, curent_addr, test[curent_addr][test_range:test_range - 31], risc_v_cpu.program_counter.pc_addr) \
|
|
|
|
end else if (test[curent_addr][addr_range:addr_range - 5] > 6'b100000) begin \
|
|
|
|
`assert_no_wait_mem(message, curent_addr, test[curent_addr][addr_range:addr_range - 5], test[curent_addr][test_range:test_range - 31], risc_v_cpu.memory.memory[test[curent_addr][addr_range:addr_range - 5]]) \
|
|
|
|
end
|
|
|
|
|
2023-11-24 10:28:08 +00:00
|
|
|
`define end_message $display("\033[0;32mIf no \033[0mFAIL\033[0;32m messages, all tests passed!\033[0m");
|
2023-10-24 12:19:24 +00:00
|
|
|
|
|
|
|
`define next_cycle \
|
|
|
|
#1 clk = ~clk; \
|
|
|
|
#1 clk = ~clk;
|