diff options
Diffstat (limited to 'rv64cpu/tb')
| -rw-r--r-- | rv64cpu/tb/unit/tb_ex_mem_reg.cc | 4 | ||||
| -rw-r--r-- | rv64cpu/tb/unit/tb_id_ex_reg.cc | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/rv64cpu/tb/unit/tb_ex_mem_reg.cc b/rv64cpu/tb/unit/tb_ex_mem_reg.cc index 4ad2494..db1fe8b 100644 --- a/rv64cpu/tb/unit/tb_ex_mem_reg.cc +++ b/rv64cpu/tb/unit/tb_ex_mem_reg.cc @@ -150,7 +150,7 @@ int main(int argc, char** argv) { tick(dut); - check(dut->mem_pc == 0x0, "Flush_Clears_PC"); + check(dut->mem_pc == 0x80003000, "Flush_Maintains_PC"); check(dut->mem_branch_taken == 0, "Flush_Clears_BranchTaken"); check(dut->mem_reg_write_en == 0, "Flush_Clears_RegWrite"); check(dut->mem_is_store == 0, "Flush_Clears_StoreEn"); @@ -168,7 +168,7 @@ int main(int argc, char** argv) { dut->ex_branch_taken = 1; tick(dut); - check(dut->mem_pc == 0x0, "Flush_Overrides_Stall_PC"); + check(dut->mem_pc == 0x80005000, "Flush_Overrides_Stall_PC"); check(dut->mem_branch_taken == 0, "Flush_Overrides_Stall_BranchTaken"); check(dut->mem_reg_write_en == 0, "Flush_Overrides_Stall_RegWrite"); check(dut->mem_is_store == 0, "Flush_Overrides_Stall_Store"); diff --git a/rv64cpu/tb/unit/tb_id_ex_reg.cc b/rv64cpu/tb/unit/tb_id_ex_reg.cc index 2248564..d9cc329 100644 --- a/rv64cpu/tb/unit/tb_id_ex_reg.cc +++ b/rv64cpu/tb/unit/tb_id_ex_reg.cc @@ -148,7 +148,7 @@ int main(int argc, char** argv) { tick(dut); - check(dut->ex_pc == 0x0, "Flush_Clears_PC"); + check(dut->ex_pc == 0x80003000, "Flush_Maintains_PC"); check(dut->ex_reg_write_en == 0, "Flush_Clears_RegWrite"); check(dut->ex_is_store == 0, "Flush_Clears_StoreEn"); check(dut->ex_is_branch == 0, "Flush_Clears_BranchEn"); @@ -165,7 +165,7 @@ int main(int argc, char** argv) { dut->id_pc = 0x80006000; tick(dut); - check(dut->ex_pc == 0x0, "Flush_Overrides_Stall_PC"); + check(dut->ex_pc == 0x80005000, "Flush_Overrides_Stall_PC"); check(dut->ex_reg_write_en == 0, "Flush_Overrides_Stall_RegWrite"); std::cout << "----------------------------------" << std::endl; |