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

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

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

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

@@ -67,7 +67,7 @@ irq_ret_o_is_not_0: assert property (
irq_ret_o_is_incorrect: assert property (
@(posedge clk_i) disable iff ( rst_i )
irq_ret_i |-> irq_ret_o === cause
)else $error("irq_ret_o are incorrect: %08h", irq_ret_o);
)else $error("irq_ret_o are incorrect: %08h", $sampled(irq_ret_o));
irq_o_is_not_1: assert property (
@(posedge clk_i) disable iff ( rst_i )
@@ -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", irq_cause_o[20:5]);
)else $error("error value on irq_cause_o: %08h, should be onehot", $sampled(irq_cause_o[20:5]));
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", irq_cause_o);
)else $error("irq_cause_o borders are incorrect: %08h", $sampled(irq_cause_o));
endmodule