From c829845306055c03c5e378bd6379cdfaa61d2711 Mon Sep 17 00:00:00 2001 From: Andrei Solodovnikov Date: Sat, 23 Nov 2024 18:08:22 +0300 Subject: [PATCH] =?UTF-8?q?=D0=9B=D0=A08.=20=D0=98=D1=81=D0=BF=D1=80=D0=B0?= =?UTF-8?q?=D0=B2=D0=BB=D0=B5=D0=BD=D0=B8=D0=B5=20=D1=82=D0=B1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Добавление $sampled в сообщения об ошибках. --- Labs/08. Load-store unit/lab_08.tb_lsu.sv | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Labs/08. Load-store unit/lab_08.tb_lsu.sv b/Labs/08. Load-store unit/lab_08.tb_lsu.sv index 3b04fc5..1f8b932 100644 --- a/Labs/08. Load-store unit/lab_08.tb_lsu.sv +++ b/Labs/08. Load-store unit/lab_08.tb_lsu.sv @@ -177,7 +177,7 @@ core_rdata: assert property ( is_reading |-> (core_rd_o === grm_rd_o) )else begin 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 core_stall: assert property ( @@ -185,7 +185,7 @@ core_stall: assert property ( core_stall_o === grm_stall_o )else begin 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 mem_be: assert property ( @@ -193,7 +193,7 @@ mem_be: assert property ( is_writing |-> (mem_be_o === grm_be_o) )else begin 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 mem_wdata: assert property ( @@ -201,7 +201,7 @@ mem_wdata: assert property ( is_writing |-> mem_wd_o === grm_wd_o )else begin 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 endmodule