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