diff --git a/verification/waivers/exclusion.yaml b/verification/waivers/exclusion.yaml index 3403b6c8..a931363c 100644 --- a/verification/waivers/exclusion.yaml +++ b/verification/waivers/exclusion.yaml @@ -552,6 +552,11 @@ exclusions: - hwif_tti_o.INTERRUPT_STATUS.TX_DESC_TIMEOUT.next - hwif_tti_o.INTERRUPT_STATUS.RX_DESC_TIMEOUT.we - hwif_tti_o.INTERRUPT_STATUS.RX_DESC_TIMEOUT.next + - hwif_tti_o.RESET_CONTROL.IBI_QUEUE_RST.next + - hwif_tti_o.RESET_CONTROL.RX_DATA_RST.next + - hwif_tti_o.RESET_CONTROL.TX_DATA_RST.next + - hwif_tti_o.RESET_CONTROL.RX_DESC_RST.next + - hwif_tti_o.RESET_CONTROL.TX_DESC_RST.next Unused in 64 FIFO depth configurations: toggle: @@ -562,6 +567,13 @@ exclusions: - rx_data_queue_depth_i: [7] - tx_data_queue_depth_i: [7] - ibi_queue_depth_i: [7] + - hwif_tti_o.QUEUE_THLD_CTRL.RX_DESC_THLD.next: [6-7] + - hwif_tti_o.QUEUE_THLD_CTRL.TX_DESC_THLD.next: [6-7] + - hwif_tti_o.IBI_QUEUE_DEPTH.IBI_QUEUE_DEPTH.next: [7] + - hwif_tti_o.DATA_QUEUE_DEPTH.TX_DATA_QUEUE_DEPTH.next: [7] + - hwif_tti_o.DATA_QUEUE_DEPTH.RX_DATA_QUEUE_DEPTH.next: [7] + - hwif_tti_o.DESC_QUEUE_DEPTH.TX_DESC_QUEUE_DEPTH.next: [7] + - hwif_tti_o.DESC_QUEUE_DEPTH.RX_DESC_QUEUE_DEPTH.next: [7] Tied to 0: toggle: @@ -580,11 +592,6 @@ exclusions: - hwif_tti_o.QUEUE_THLD_CTRL.IBI_THLD.we - hwif_tti_o.QUEUE_THLD_CTRL.IBI_THLD.next - Unused on 64 FIFO depth: - toggle: - - hwif_tti_o.QUEUE_THLD_CTRL.RX_DESC_THLD.next: [6-7] - - hwif_tti_o.QUEUE_THLD_CTRL.TX_DESC_THLD.next: [6-7] - Read/write only port: cond: - 2: [2 "10"] # hwif_tti_o.RX_DESC_QUEUE_PORT.rd_ack = hwif_tti_i.RX_DESC_QUEUE_PORT.req & ~hwif_tti_i.RX_DESC_QUEUE_PORT.req_is_wr; @@ -972,6 +979,7 @@ exclusions: - hwif_in.I3C_EC.TTI.INTERRUPT_STATUS.TX_DESC_TIMEOUT.next - hwif_in.I3C_EC.TTI.INTERRUPT_STATUS.RX_DESC_TIMEOUT.we - hwif_in.I3C_EC.TTI.INTERRUPT_STATUS.RX_DESC_TIMEOUT.next + - hwif_in.I3C_EC.TTI.INTERRUPT_STATUS.PENDING_INTERRUPT.next: [1-3] - hwif_in.I3CBase.RESET_CONTROL.SOFT_RST.we - hwif_in.I3CBase.RESET_CONTROL.SOFT_RST.next - hwif_in.I3C_EC.TTI.RESET_CONTROL.SOFT_RST.we @@ -1159,8 +1167,8 @@ exclusions: - hwif_in.I3C_EC.TTI.DESC_QUEUE_DEPTH.TX_DESC_QUEUE_DEPTH.next: [7] - hwif_in.I3C_EC.TTI.DATA_QUEUE_DEPTH.RX_DATA_QUEUE_DEPTH.next: [7] - hwif_in.I3C_EC.TTI.DESC_QUEUE_DEPTH.RX_DESC_QUEUE_DEPTH.next: [7] - - hwif_in.PIOControl.QUEUE_THLD_CTRL.RESP_BUF_THLD.next: [7] - - hwif_in.PIOControl.QUEUE_THLD_CTRL.CMD_EMPTY_BUF_THLD.next: [7] + - hwif_in.PIOControl.QUEUE_THLD_CTRL.RESP_BUF_THLD.next: [6-7] + - hwif_in.PIOControl.QUEUE_THLD_CTRL.CMD_EMPTY_BUF_THLD.next: [6-7] Unreachable condition that can be optimized: cond: