From a64da6312b1c5fa26005eb350869f073923cb0dd Mon Sep 17 00:00:00 2001
From: Andrei Solodovnikov <VoultBoy@yandex.ru>
Date: Fri, 24 Jul 2026 00:16:07 +0300
Subject: [PATCH] =?UTF-8?q?=D0=9B=D0=A012.=20=D0=98=D1=81=D0=BF=D1=80?=
 =?UTF-8?q?=D0=B0=D0=B2=D0=BB=D0=B5=D0=BD=D0=B8=D0=B5=20=D0=B2=D1=8B=D0=B2?=
 =?UTF-8?q?=D0=BE=D0=B4=D0=B0=20=D0=B2=20=D1=82=D0=B1?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

В утверждении irq_cause_o_mcause при ошибке выводилось значение не из тех бит.

Fixes #165
---
 Labs/12. Daisy chain/lab_12.tb_daisy_chain.sv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Labs/12. Daisy chain/lab_12.tb_daisy_chain.sv b/Labs/12. Daisy chain/lab_12.tb_daisy_chain.sv
index 6ded324..5400a24 100644
--- a/Labs/12. Daisy chain/lab_12.tb_daisy_chain.sv	
+++ b/Labs/12. Daisy chain/lab_12.tb_daisy_chain.sv	
@@ -82,11 +82,11 @@ irq_o_is_not_0: assert property (
 irq_cause_o_mcause: assert property (
   @(posedge clk_i) disable iff ( rst_i )
   irq_o |-> $onehot0(irq_cause_o[19:4])
-)else $error("error value on irq_cause_o: %08h, should be onehot", $sampled(irq_cause_o[20:5]));
+)else $error("error value on irq_cause_o: %08h, should be onehot", $sampled(irq_cause_o[19:4]));
 
 irq_cause_o_borders: assert property (
   @(posedge clk_i) disable iff ( rst_i )
   irq_o |-> (irq_cause_o[31:20] === 12'h800) && (irq_cause_o[3:0] == 4'h0)
 )else $error("irq_cause_o borders are incorrect: %08h", $sampled(irq_cause_o));
 
-endmodule
\ No newline at end of file
+endmodule