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

ЛР8. Исправление тб

Browse Source 
Добавление $sampled в сообщения об ошибках.
This commit is contained in:
Andrei Solodovnikov
2024-11-23 18:08:22 +03:00
parent 652be8172d
commit c829845306
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
Labs/08. Load-store unit/lab_08.tb_lsu.sv
View File

@@ -177,7 +177,7 @@ core_rdata: assert property (
is_reading |-> (core_rd_o === grm_rd_o) is_reading |-> (core_rd_o === grm_rd_o)
)else begin )else begin
err_count++; err_count++;
$error("\nIncorrect value of core_rd_o. Your value is %0h while it should be %0h", core_rd_o, grm_rd_o); $error("\nIncorrect value of core_rd_o. Your value is %0h while it should be %0h", $sampled(core_rd_o), $sampled(grm_rd_o));
end end
core_stall: assert property ( core_stall: assert property (
@@ -185,7 +185,7 @@ core_stall: assert property (
core_stall_o === grm_stall_o core_stall_o === grm_stall_o
)else begin )else begin
err_count++; err_count++;
$error("\nIncorrect value of core_stall_o. Your value is %0h while it should be %0h", core_stall_o, grm_stall_o); $error("\nIncorrect value of core_stall_o. Your value is %0h while it should be %0h", $sampled(core_stall_o), $sampled(grm_stall_o));
end end
mem_be: assert property ( mem_be: assert property (
@@ -193,7 +193,7 @@ mem_be: assert property (
is_writing |-> (mem_be_o === grm_be_o) is_writing |-> (mem_be_o === grm_be_o)
)else begin )else begin
err_count++; err_count++;
$error("\nIncorrect value of mem_be_o. Your value is %0h while it should be %0h", mem_be_o, grm_be_o); $error("\nIncorrect value of mem_be_o. Your value is %0h while it should be %0h", $sampled(mem_be_o), $sampled(grm_be_o));
end end
mem_wdata: assert property ( mem_wdata: assert property (
@@ -201,7 +201,7 @@ mem_wdata: assert property (
is_writing |-> mem_wd_o === grm_wd_o is_writing |-> mem_wd_o === grm_wd_o
)else begin )else begin
err_count++; err_count++;
$error("\nIncorrect value of mem_wd_o. Your value is %0h while it should be %0h", mem_wd_o, grm_wd_o); $error("\nIncorrect value of mem_wd_o. Your value is %0h while it should be %0h", $sampled(mem_wd_o), $sampled(grm_wd_o));
end end
endmodule endmodule