@@ -3645,6 +3645,14 @@ exclusions:
36453645 - hwif_out_i.PIOControl.TX_DATA_PORT.req
36463646 - hwif_out_i.PIOControl.RESPONSE_PORT.req
36473647 - hwif_out_i.PIOControl.COMMAND_PORT.wr_biten.COMMAND_DATA
3648+ - hwif_out_i.PIOControl.PIO_INTR_STATUS.intr
3649+ - hwif_out_i.PIOControl.QUEUE_THLD_CTRL.IBI_STATUS_THLD.value
3650+ - hwif_out_i.PIOControl.QUEUE_THLD_CTRL.IBI_DATA_SEGMENT_SIZE.value
3651+ - hwif_out_i.PIOControl.QUEUE_THLD_CTRL.RESP_BUF_THLD.value
3652+ - hwif_out_i.PIOControl.QUEUE_THLD_CTRL.CMD_EMPTY_BUF_THLD.value
3653+ - hwif_out_i.I3CBase.INTR_STATUS.intr
3654+ - resume
3655+ - hwif_out_i.I3CBase.HC_CONTROL.RESUME.value
36483656
36493657 Constant :
36503658 toggle :
@@ -3715,6 +3723,13 @@ exclusions:
37153723 toggle :
37163724 - i2c_active_en_o
37173725 - i2c_standby_en_o
3726+ cond :
3727+ - 6 : [3 "10"] # i2c_standby_en_o | i3c_standby_en_o;
3728+
3729+ Unused controller mode :
3730+ cond :
3731+ - 1 : [3 "10"] # (stby_cr_enable_init == 2'b01) | (stby_cr_enable_init == 2'b11);
3732+ - 2 : [2 "1"] # stby_cr_enable_init == 2'b01
37183733
37193734 Reserved for vendor-specific meaning, unused :
37203735 toggle :
@@ -3730,6 +3745,7 @@ exclusions:
37303745 - hwif_out_i.I3C_EC.StdbyCtrlMode.__rsvd_3.__rsvd.value
37313746 - hwif_out_i.I3C_EC.SecFwRecoveryIf.INDIRECT_FIFO_RESERVED.DATA.value
37323747 - hwif_out_i.I3C_EC.SecFwRecoveryIf.DEVICE_ID_RESERVED.DATA.value
3748+ - hwif_out_i.I3C_EC.StdbyCtrlMode.STBY_CR_CCC_CONFIG_RSTACT_PARAMS.RST_ACTION.value : [2-7]
37333749
37343750 Tied to 0 :
37353751 toggle :
0 commit comments