We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 05b4f69 commit 112d14fCopy full SHA for 112d14f
src/hci/hci.sv
@@ -652,4 +652,12 @@ module hci
652
hwif_in.PIOControl.PIO_INTR_STATUS.TRANSFER_ERR_STAT.next = '0;
653
end
654
655
+ `I3C_ASSERT(CMD_WR_ACK_O, rst_ni |-> cmd_wr_ack == 1'b0);
656
+ `I3C_ASSERT(HCI_IBI_RD_ACK_O, rst_ni |-> hci_ibi_rd_ack == 1'b0);
657
+ `I3C_ASSERT(RESP_RD_ACK_O, rst_ni |-> resp_rd_ack == 1'b0);
658
+ `I3C_ASSERT(RX_RD_ACK_O, rst_ni |-> rx_rd_ack == 1'b0);
659
+ `I3C_ASSERT(TX_WR_ACK_O, rst_ni |-> tx_wr_ack == 1'b0);
660
+ `I3C_ASSERT(IBI_QUEUE_DATA_O, rst_ni |-> hci_ibi_rd_data == '0);
661
+ `I3C_ASSERT(RX_DESC_DATA_O, rst_ni |-> resp_rd_data == '0);
662
+
663
endmodule : hci
0 commit comments