MPSU/APS
1
0
Fork 0
mirror of https://github.com/MPSU/APS.git synced 2025-09-15 09:10:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update lab_10.tb_csr.sv

Browse Source
This commit is contained in:
Andrei Solodovnikov
2024-12-02 18:38:30 +03:00
committed by GitHub
parent ee1ee80dc1
commit b5bcefda5c
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
Labs/10. Interrupt subsystem/lab_10.tb_csr.sv
View File

@@ -360,7 +360,7 @@ mie_a: assert property (
((addr_i === MIE_ADDR) && $rose(write_enable_i)) |=> (mie_o === data_ref)
)else begin
err_count++;
$display("Incorrect value of mie_o : mie_o = %08h while if should be %08h.\n", $sampled(mie_o), $sampled(data_ref));
$display("Incorrect value of mie_o : mie_o = %08h while it should be %08h.\n", $sampled(mie_o), $sampled(data_ref));
end
mepc_a: assert property (
@@ -368,7 +368,7 @@ mepc_a: assert property (
((addr_i === MEPC_ADDR) && $rose(write_enable_i)) |=> (mepc_o === data_ref)
)else begin
err_count++;
$display("Incorrect value of mepc_o : mepc_o = %08h while if should be %08h.\n", $sampled(mepc_o), $sampled(data_ref));
$display("Incorrect value of mepc_o : mepc_o = %08h while it should be %08h.\n", $sampled(mepc_o), $sampled(data_ref));
end
mtvec_a: assert property (
@@ -376,7 +376,7 @@ mtvec_a: assert property (
((addr_i === MTVEC_ADDR) && $rose(write_enable_i)) |=> (mtvec_o === data_ref)
)else begin
err_count++;
$display("Incorrect value of mtvec_o : mtvec_o = %08h while if should be %08h.\n", $sampled(mtvec_o), $sampled(data_ref));
$display("Incorrect value of mtvec_o : mtvec_o = %08h while it should be %08h.\n", $sampled(mtvec_o), $sampled(data_ref));
end
mepc_stability_a: assert property (