Skip to content

Commit 7b4ad7f

Browse files
configuration.sv waivers
1 parent a578eab commit 7b4ad7f

1 file changed

Lines changed: 16 additions & 0 deletions

File tree

verification/waivers/exclusion.yaml

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -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

Comments
 (0)