MPSU/APS
1
0
Fork 0
mirror of https://github.com/MPSU/APS.git synced 2026-07-25 16:28:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

ЛР12. Исправление вывода в тб

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

Fixes #165
This commit is contained in:
Andrei Solodovnikov
2026-07-24 00:16:07 +03:00
committed by GitHub
parent bfb6bac9d5
commit a64da6312b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Labs/12. Daisy chain/lab_12.tb_daisy_chain.sv
View File

@@ -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
endmodule