How to download VIP smartsearch?
DESIGNWARE_HOMEto required designware home location where VIP Smartsearch should be downloaded.
vip_smartsearch_<version>.runfile.
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
How to install VIP Smartsearch?
Please refer to the fileVIP_Smartsearch_installation_and_usage_guide.pdfin
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>for installation steps.
Customer Support
For more details about VIP smartsearch tool, contact support_center@synopsys.com.Summary of Protocol Checks defined in AMBA CHI-E SVT UVM Documentation:
| Product Base | Group | Protocol Check Class |
|---|---|---|
| amba_svt | CHI Link Layer | svt_chi_link_err_check |
| CHI Protocol Layer | svt_chi_protocol_err_check | |
| CHI System | svt_chi_system_err_check |
| Group | Sub Group | Protocol Check Instance name | Reference ▲▼ | Description |
|---|---|---|---|---|
| CHI Link Layer | signal validity | valid_rxdatflit_signal_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit. Description : RXDATFLIT must not be X/Z when RXDATFLITV is asserted |
| CHI Link Layer | signal validity | valid_txdatflit_signal_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit. Description : TXDATFLIT must not be X/Z when TXDATFLITV is asserted |
| CHI Link Layer | signal validity | valid_reqflit_signal_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request Flit. Description : REQFLIT must not be X/Z when REQFLITV is asserted |
| CHI Link Layer | During reset | signal_valid_txdatlcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXDATLCRDV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_rxdatflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXDATFLITV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txrsplcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXRSPLCRDV must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxreqlcrdv_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request L-Credit Valid Description : RXREQLCRDV must not be X/Z |
| CHI Link Layer | During reset | signal_valid_rxreqlcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXREQLCRDV must be 0 during reset |
| CHI Link Layer | rsp flit valid | rsp_flit_compstashdone_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : CompStashDone Description : Check fields for response VC flit of a CompStashDone |
| CHI Link Layer | rsp flit valid | rsp_flit_stashdone_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : StashDone Description : Check fields for response VC flit of a StashDone |
| CHI Link Layer | rsp flit valid | rsp_flit_dbidrespord_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : DBIDRespOrd Description : Check fields for response VC flit of a DBIDRespOrd |
| CHI Link Layer | signal validity | signal_valid_rxsnpflitv_check | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel | Spec Text : Snoop Flit Valid Description : RXSNPFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxsnpflitpend_check | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel | Spec Text : Snoop Flit Pending Description : RXSNPFLITPEND must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxrspflitv_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit Valid Description : RXRSPFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxrspflitpend_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit Pending Description : RXRSPFLITPEND must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txreqlcrdv_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request L-Credit Valid Description : TXREQLCRDV must not be X/Z |
| CHI Link Layer | signal validity | valid_rxrspflit_signal_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit. Description : RXRSPFLIT must not be X/Z when RXRSPFLITV is asserted |
| CHI Link Layer | During reset | signal_valid_rxrspflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXRSPFLITV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txreqlcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXREQLCRDV must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxreqflitv_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request Flit Valid Description : RXREQFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxreqflitpend_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request Flit Pending Description : RXREQFLITPEND must not be X/Z |
| CHI Link Layer | During reset | signal_valid_rxreqflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXREQFLITV must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxrsplcrdv_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response L-Credit Valid Description : RXRSPLCRDV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txreqflitv_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request Flit Valid Description : TXREQFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxsnplcrdv_check | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel | Spec Text : Snoop L-Credit Valid Description : RXSNPLCRDV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txreqflitpend_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request Flit Pending Description : TXREQFLITPEND must not be X/Z |
| CHI Link Layer | During reset | signal_valid_rxrsplcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXRSPLCRDV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txreqflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXREQFLITV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_rxlinkactivereq_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXLINKACTIVEREQ must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txlinkactiveack_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXLINKACTIVEACK must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxlinkactivereq_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : Request and Acknowledge handshake Description : RXLINKACTIVEREQ must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxdatflitv_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit Valid Description : RXDATFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxdatflitpend_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit Pending Description : RXDATFLITPEND must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txrsplcrdv_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response L-Credit Valid Description : TXRSPLCRDV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txdatlcrdv_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data L-Credit Valid Description : TXDATLCRDV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxsactive_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : RXSACTIVE signal Description : RXSACTIVE must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txlinkactiveack_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : Request and Acknowledge handshake Description : TXLINKACTIVEACK must not be X/Z |
| CHI Link Layer | signal validity | valid_txrspflit_signal_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit. Description : TXRSPFLIT must not be X/Z when TXRSPFLITV is asserted |
| CHI Link Layer | During reset | signal_valid_rxdatlcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXDATLCRDV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txdatflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXDATFLITV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txrspflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXRSPFLITV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_rxlinkactiveack_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXLINKACTIVEACK must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txlinkactivereq_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXLINKACTIVEREQ must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxdatlcrdv_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data L-Credit Valid Description : RXDATLCRDV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txrspflitv_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit Valid Description : TXRSPFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txrspflitpend_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit Pending Description : TXRSPFLITPEND must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txdatflitv_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit Valid Description : TXDATFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txdatflitpend_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit Pending Description : TXDATFLITPEND must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxlinkactiveack_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : Request and Acknowledge handshake Description : RXLINKACTIVEACK must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txsactive_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : TXSACTIVE signal Description : TXSACTIVE must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txlinkactivereq_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : Request and Acknowledge handshake Description : TXLINKACTIVEREQ must not be X/Z |
| CHI Link Layer | l-credit | valid_lcredit_range_check | ARM-IHI0050E.b:14.2 Link layer Credit | Spec Text : The minimum number of L-Credits that a Receiver can provide is one.The maximum number of L-Credits that a Receiver can provide is 15 Description : The l-credit must be within the valid range |
| CHI Link Layer | link deactivation | tx_link_deactive_request_timeout_check | ARM-IHI0050E.b:14.6.1 Introduction | Spec Text : If the RXLINK moves to the DEACTIVATE state, which is controlled by the component on the other side of the interface, it is required that the TXLINK also moves to the DEACTIVATE state, in a timely manner Description : If the RXLINK moves to the DEACTIVATE state, which is controlled by the component on the other side of the interface, then it is required that the TXLINK also moves to the DEACTIVATE state, in a timely manner |
| CHI Link Layer | link activation | tx_link_active_request_timeout_check | ARM-IHI0050E.b:14.6.1 Introduction | Spec Text : If the RXLINK moves to the ACTIVATE state, which is controlled by the component on the other side of the interface, it is required that the TXLINK also moves to the ACTIVATE state, in a timely manner Description : If the RXLINK moves to the ACTIVATE state, which is controlled by the component on the other side of the interface, then it is required that the TXLINK also moves to the ACTIVATE state, in a timely manner |
| CHI Link Layer | link activation | tx_link_not_active_during_flit_transfer | ARM-IHI0050E.b:14.5.1 Request and Acknowledge handshake | Spec Text : Behavior for each Request and Acknowledge state Description : A flit can be sent on its virtual channel only if the link is active. |
| CHI Link Layer | link deactivation | rx_link_deactive_request_timeout_check | ARM-IHI0050E.b:14.6.1 Introduction | Spec Text : If a component moves the TXLINK to the DEACTIVATE state, which it controls, it can expect the RXLINK to also move to the DEACTIVATE state, in a timely manner Description : If the TXLINK moves to the DEACTIVATE state, which is controlled by the current component, then it is required that the RXLINK also moves to the DEACTIVATE state, in a timely manner |
| CHI Link Layer | link activation | rx_link_active_request_timeout_check | ARM-IHI0050E.b:14.6.1 Introduction | Spec Text : If a component moves the TXLINK to the ACTIVATE state, which it controls, it can expect the RXLINK to also move to the ACTIVATE state, in a timely manner Description : If the TXLINK moves to the ACTIVATE state, which is controlled by the current component, then it is required that the RXLINK also moves to the ACTIVATE state, in a timely manner |
| CHI Link Layer | link activation | rx_link_not_active_during_flit_reception | ARM-IHI0050E.b:14.5.1 Request and Acknowledge handshake | Spec Text : Behavior for each Request and Acknowledge state Description : A flit can be observed on its RX virtual channel only if the corresponding link is active. |
| CHI Link Layer | dat flit valid | invalid_data_flit_check | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode | Spec Text : DAT channel opcodes encoding Description : Check for Reserved opcode bits for Data VC commands |
| CHI Link Layer | dat flit valid | data_flit_lcrdreturn_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : DatLCrdReturn Description : Check fields for a DataLCrdReturn flit |
| CHI Link Layer | rsp flit valid | rsp_flit_lcrdreturn_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : RspLCrdReturn Description : Check fields for a RspLCrdReturn flit |
| CHI Link Layer | req flit valid | req_flit_lcrdreturn_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReqLCrdReturn Description : Check fields for a ReqLCrdReturn flit |
| CHI Link Layer | rsp flit valid | rsp_flit_tagmatch_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : TagMatch Description : Check fields for response VC flit of a TagMatch transaction |
| CHI Link Layer | rsp flit valid | invalid_rsp_flit_check | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode | Spec Text : RSP channel opcodes encoding Description : Check for Reserved opcode bits for Response VC commands |
| CHI Link Layer | dat flit valid | data_flit_datasepresp_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : DataSepResp Description : Check fields for data VC flit of a DataSepResp |
| CHI Link Layer | dat flit valid | data_flit_compdata_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : CompData Description : Check fields for data VC flit of a CompData transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_pcrdgrant_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : PCrdGrant Description : Check fields for response VC flit of a PCrdGrant transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_dbidresp_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : DBIDResp Description : Check fields for response VC flit of a DBIDResp transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_compdbidresp_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : CompDBIDResp Description : Check fields for response VC flit of a CompDBIDResp transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_compcmo_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : CompCMO Description : Check fields for response VC flit of a CompCMO response |
| CHI Link Layer | rsp flit valid | rsp_flit_persist_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : Persist Description : Check fields for response VC flit of a Persist response |
| CHI Link Layer | rsp flit valid | rsp_flit_comppersist_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : CompPersist Description : Check fields for response VC flit of a CompPersist response |
| CHI Link Layer | rsp flit valid | rsp_flit_comp_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : Comp Description : Check fields for response VC flit of a Comp transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_retryack_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : RetryAck Description : Check fields for response VC flit of a RetryAck transaction |
| CHI Link Layer | dat flit valid | data_flit_ncbwrdatacompack_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : NCBWrDataCompAck Description : Check fields for data VC flit of a NcbWrDataCompack flit |
| CHI Link Layer | req flit valid | req_flit_readnosnpsep_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadNoSnpSep Description : Check fields for request VC flit of a ReadNoSnpSep transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_respsepdata_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : RespSepData Description : Check fields for response VC flit of a RespSepData |
| CHI Link Layer | req flit valid | valid_xact_attributes_combination_check | ARM-IHI0050E.b:2.9.4 Transaction attribute combinations | Spec Text : Legal combinations of MemAttr, SnpAttr, and Order field values Description : check combinations of MemAttr, SnpAttr, LikelyShared and Order for a transaction |
| CHI Link Layer | req flit valid | invalid_req_flit_check | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode | Spec Text : REQ channel opcodes Description : Check for Reserved opcode bits for Request VC commands |
| CHI Link Layer | dat flit valid | data_flit_writedatacancel_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : WriteDataCancel Description : Check fields for data VC flit of a WriteDataCancel transaction |
| CHI Link Layer | dat flit valid | data_flit_noncopybackwrdata_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : NonCopyBackWrData Description : Check fields for data VC flit of a NonCopyBackWrData transaction |
| CHI Link Layer | req flit valid | req_flit_readnosnp_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadNoSnp Description : Check fields for request VC flit of a ReadNoSnp transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpptl_cleansharedpersistsep_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpPtlCleanShPerSep Description : Check fields for request VC flit of a WriteNoSnpPtl_CleanSharedpersistsep transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpfull_cleansharedpersistsep_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpFullCleanShPerSep Description : Check fields for request VC flit of a WriteNoSnpFull_CleanSharedpersistsep transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpptl_cleaninvalid_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpPtlCleanInv Description : Check fields for request VC flit of a WriteNoSnpPtl_CleanInvalid transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpptl_cleanshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpPtlCleanSh Description : Check fields for request VC flit of a WriteNoSnpPtl_CleanShared transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpfull_cleaninvalid_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpFullCleanInv Description : Check fields for request VC flit of a WriteNoSnpFull_CleanInvalid transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpfull_cleanshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpFullCleanSh Description : Check fields for request VC flit of a WriteNoSnpFull_CleanShared transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpzero_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpZero Description : Check fields for request VC flit of a WriteNoSnpZero transaction |
| CHI Link Layer | req flit valid | req_flit_cleansharedpersistsep_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : CleanSharedPersistSep Description : check fields for request VC flit of a CleanSharedPersistSep transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpfull_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpFull Description : Check fields for request VC flit of a WriteNoSnpFull transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpptl_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpPtl Description : Check fields for request VC flit of a WriteNoSnpPtl transaction |
| CHI Link Layer | req flit valid | req_flit_pcrdreturn_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : PCrdReturn Description : Check fields for request VC flit of a PCrdReturn transaction |
| CHI Link Layer | req flit valid | req_flit_stashoncesepshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : StashOnceSepShared Description : check fields for request VC flit of an StashOnceSepShared transaction |
| CHI Link Layer | req flit valid | req_flit_stashoncesepunique_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : StashOnceSepUnique Description : check fields for request VC flit of an StashOnceSepUnique transaction |
| CHI Link Layer | req flit valid | req_flit_stashonceshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : StashOnceShared Description : check fields for request VC flit of an StashOnceShared transaction |
| CHI Link Layer | req flit valid | req_flit_stashonceunique_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : StashOnceUnique Description : check fields for request VC flit of an StashOnceUnique transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniquefullstash_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniqueFullStash Description : check fields for request VC flit of an WriteUniquefullstash transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniqueptlstash_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniquePtlStash Description : check fields for request VC flit of an WriteUniquePtlstash transaction |
| CHI Link Layer | req flit valid | req_flit_prefetchtgt_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : PrefetchTgt Description : Check fields for request VC flit of a Prefetch transaction |
| CHI Link Layer | req flit valid | req_flit_readoncemakeinvalid_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadOnceMakeInvalid Description : check fields for request VC flit of a ReadOnceMakeInvalid transaction |
| CHI Link Layer | req flit valid | req_flit_readoncecleaninvalid_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadOnceCleanInvalid Description : check fields for request VC flit of a ReadOnceCleanInvalid transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_compack_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : CompAck Description : Check fields for response VC flit of a CompAck transaction |
| CHI Link Layer | req flit valid | req_flit_readonce_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadOnce Description : Check fields for request VC flit of a ReadOnce transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniquefull_cleansharedpersistsep_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniqueFullCleanShPerSep Description : Check fields for request VC flit of a WriteUniqueFull_CleanSharedpersistsep transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniqueptl_cleansharedpersistsep_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniquePtlCleanShPerSep Description : Check fields for request VC flit of a WriteUniquePtl_CleanSharedpersistsep transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniqueptl_cleanshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniquePtlCleanSh Description : Check fields for request VC flit of a WriteUniquePtl_CleanShared transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniquefull_cleanshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniqueFullCleanSh Description : Check fields for request VC flit of a WriteUniqueFull_CleanShared transaction |
| CHI Link Layer | req flit valid | req_flit_readpreferunique_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadPreferUnique Description : Check fields for request VC flit of a ReadPreferUnique transaction |
| CHI Link Layer | req flit valid | req_flit_makereadunique_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : MakeReadUnique Description : Check fields for request VC flit of a MakeReadUnique transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniquezero_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniqueZero Description : Check fields for request VC flit of a WriteUniqueZero transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniquefull_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniqueFull Description : Check fields for request VC flit of a WriteUniqueFull transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniqueptl_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniquePtl Description : Check fields for request VC flit of a WriteUniquePtl transaction |
| CHI Link Layer | req flit valid | req_flit_makeinvalid_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : MakeInvalid Description : Check fields for request VC flit of a MakeInvalid transaction |
| CHI Link Layer | req flit valid | req_flit_cleaninvalid_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : CleanInvalid Description : Check fields for request VC flit of a CleanInvalid transaction |
| CHI Link Layer | req flit valid | req_flit_cleanshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : CleanShared Description : Check fields for request VC flit of a CleanShared transaction |
| CHI Link Layer | req flit valid | req_flit_atomiccompare_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : AtomicCompare Description : check fields for request VC flit of an AtomicCompare transaction |
| CHI Link Layer | req flit valid | req_flit_atomicswap_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : AtomicSwap Description : check fields for request VC flit of an AtomicSwap transaction |
| CHI Link Layer | req flit valid | req_flit_atomicload_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : AtomicLoad Description : check fields for request VC flit of an AtomicLoad transaction |
| CHI Link Layer | req flit valid | req_flit_atomicstore_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : AtomicStore Description : check fields for request VC flit of an AtomicStore transaction |
| CHI Link Layer | req flit valid | req_flit_cleansharedpersist_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : CleanSharedPersist Description : check fields for request VC flit of a CleanSharedPersist transaction |
| CHI Link Layer | snp flit valid | invalid_snp_flit_check | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode | Spec Text : SNP channel opcodes encoding Description : Check for Reserved opcode bits for Snoop VC commands |
| CHI Link Layer | snp flit valid | snoop_flit_lcrdreturn_check | ARM-IHI0050E.b:A.4 Snoop Request message field mappings | Spec Text : SnpLCrdReturn Description : Check fields for a SnpLCrdReturn flit |
| CHI Link Layer | signal validity | valid_snpflit_signal_check | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel | Spec Text : Snoop Flit. Description : SNPFLIT must not be X/Z when SNPFLITV is asserted |
| CHI Link Layer | During reset | signal_valid_rxsnpflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXSNPFLITV must be 0 during reset |
| CHI Link Layer | snp flit valid | snoop_flit_snpdvmop_check | ARM-IHI0050E.b:A.4 Snoop Request message field mappings | Spec Text : SnpDVMOp Description : Check fields for snoop VC flit of a SnpDVMOp transaction |
| CHI Link Layer | During reset | signal_valid_rxsnplcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXSNPLCRDV must be 0 during reset |
| CHI Link Layer | rsp flit valid | rsp_flit_snprespfwded_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : SnpRespFwded Description : Check fields for response VC flit of a SnpRspFwded transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_snpresp_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : SnpResp Description : Check fields for response VC flit of a SnpRsp transaction |
| CHI Link Layer | req flit valid | req_flit_dvmop_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : DVMOp Description : Check fields for request VC flit of a DVMOp transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_readreceipt_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : ReadReceipt Description : Check fields for response VC flit of a ReadReceipt transaction |
| CHI Link Layer | req flit valid | req_flit_ecbarrier_check | ARM-IHI0050A:A.1 Request message field mappings | Check fields for request VC flit of a ECBarrier transaction |
| CHI Link Layer | req flit valid | req_flit_eobarrier_check | ARM-IHI0050A:A.1 Request message field mappings | Check fields for request VC flit of a EOBarrier transaction |
| CHI Link Layer | snp flit valid | snoop_flit_snpreq_check | ARM-IHI0050E.b:A.4 Snoop Request message field mappings | Spec Text : Snoop Request message Description : Check fields for snoop VC flit of a Snoop transaction |
| CHI Link Layer | req flit valid | req_flit_writebackfull_cleansharedpersistsep_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteBackFullCleanShPerSep Description : check fields for request VC flit of a WriteBackFull_CleanSharedpersistsep transaction |
| CHI Link Layer | req flit valid | req_flit_writecleanfull_cleansharedpersistsep_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteCleanFullCleanShPerSep Description : check fields for request VC flit of a WriteCleanFull_CleanSharedpersistsep transaction |
| CHI Link Layer | req flit valid | req_flit_writecleanfull_cleanshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteCleanFullCleanSh Description : check fields for request VC flit of a WriteCleanFull_CleanShared transaction |
| CHI Link Layer | req flit valid | req_flit_writebackfull_cleaninvalid_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteBackFullCleanInv Description : check fields for request VC flit of a WriteBackFull_CleanInvalid transaction |
| CHI Link Layer | req flit valid | req_flit_writebackfull_cleanshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteBackFullCleanSh Description : check fields for request VC flit of a WriteBackFull_CleanShared transaction |
| CHI Link Layer | req flit valid | req_flit_writeevictorevict_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteEvictOrEvict Description : check fields for request VC flit of a WriteEvictorEvict transaction |
| CHI Link Layer | dat flit valid | data_flit_snprespdataptl_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : SnpRespDataPtl Description : Check fields for data VC flit of a SnpRespDataPtl transaction |
| CHI Link Layer | dat flit valid | data_flit_copybackwrdata_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : CopyBackWrData Description : Check fields for data VC flit of a CopyBackWrData transaction |
| CHI Link Layer | dat flit valid | data_flit_snprespdatafwded_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : SnpRespDataFwded Description : Check fields for data VC flit of a SnpRespDatafwded transaction |
| CHI Link Layer | dat flit valid | data_flit_snprespdata_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : SnpRespData Description : Check fields for data VC flit of a SnpRespData transaction |
| CHI Link Layer | req flit valid | req_flit_evict_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : Evict Description : Check fields for request VC flit of a Evict transaction |
| CHI Link Layer | req flit valid | req_flit_writecleanptl_check | ARM-IHI0050A:A.1 Request message field mappings | Check fields for request VC flit of a WriteCleanPtl transaction |
| CHI Link Layer | req flit valid | req_flit_writebackptl_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteBackPtl Description : Check fields for request VC flit of a WriteBackPtl transaction |
| CHI Link Layer | req flit valid | req_flit_writeevictfull_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteEvictFull Description : Check fields for request VC flit of a WriteEvictFull transaction |
| CHI Link Layer | req flit valid | req_flit_writecleanfull_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteCleanFull Description : Check fields for request VC flit of a WriteCleanFull transaction |
| CHI Link Layer | req flit valid | req_flit_writebackfull_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteBackFull Description : Check fields for request VC flit of a WriteBackFull transaction |
| CHI Link Layer | req flit valid | req_flit_makeunique_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : MakeUnique Description : Check fields for request VC flit of a MakeUnique transaction |
| CHI Link Layer | req flit valid | req_flit_cleanunique_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : CleanUnique Description : Check fields for request VC flit of a CleanUnique transaction |
| CHI Link Layer | req flit valid | req_flit_readunique_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadUnique Description : Check fields for request VC flit of a ReadUnique transaction |
| CHI Link Layer | req flit valid | req_flit_readclean_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadClean Description : Check fields for request VC flit of a ReadClean transaction |
| CHI Link Layer | req flit valid | req_flit_readnotshareddirty_check | ARM-IHI0050E.b:A.1 Request message field mappings | check fields for request VC flit of a ReadNotSharedDirty transaction, ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_readshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadShared Description : check fields for request VC flit of a ReadShared transaction |
| CHI Link Layer | l-credit | valid_num_prot_flits_in_txlasm_deactivate_state_check | ARM-IHI0050E.b:14.5 Interface activation and deactivation | Spec Text : The Transmitter must be prepared to continue receiving credits. For each additional credit received it must send an L-Credit return flit to return the credit Description : The Transmitter in Deactivate state is allowed to transmit protocol flits For each additional credit received it must send an L-Credit return flit to return the credit. |
| CHI Link Layer | l-credit | valid_lcredit_count_in_rx_stop_state_check | ARM-IHI0050E.b:14.5 Interface activation and deactivation | Spec Text : Before entering a low power state, the sending of payload flits must be stopped and all credits must be returned to the Receiver Description : The reciever must ensure that it has received all the lcredits before moving to the stop state |
| CHI Link Layer | l-credit | rx_no_lcredit_issued_for_flit_type | ARM-IHI0050E.b:14.2 Link layer Credit | Spec Text : When the link is active, the Receiver must provide L-Credits in a timely manner without requiring any action on the part of the Transmitter Description : When the link is active, the receiver at each virtual channel must distribute L-credits for all its flit buffers in a timely manner without requiring any action on the part of the transmitter. |
| CHI Link Layer | port interleaving | port_interleaving_check | SYNOPSYS DEFINED:SYNOPSYS DEFINED | Monitor checks that if interleaved port is expected port for the given flit |
| CHI Link Layer | dat flit valid | unexpected_poison_value_in_dat_flit_check | SYNOPSYS DEFINED:SYNOPSYS DEFINED | The Poison field in the data flits must be set to all zeroes |
| CHI Link Layer | reserved fields | illegal_reserved_fields_check | ARM-IHI0050E.b:13.9 Flit packet definitions | Spec Text : The following key is used: SBZ Should Be Zero Description : The reserved fields in a flit must be set to zero as defined in CHI Specification. |
| CHI Link Layer | SYSCO Interface FSM | sysco_interface_illegal_state_transition | ARM-IHI0050E.b:15.2 Handshake | Spec Text : SYSCOREQ can only change when SYSCOACK is at the same logic state Description : Transition of SYSCO Interface state must be valid |
| CHI Link Layer | signal validity | valid_flitpend_and_flitv_signal_check | ARM-IHI0050E.b:14.4 Flit level clock gating | Spec Text : It is required that the signal is asserted exactly one cycle before a flit is sent from the Transmitter Description : FLITPEND signal must be asserted exactly one cycle before a flit is sent from the transmitter |
| CHI Link Layer | link active sm | lasm_entry_into_banned_output_race_state_check | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : The red states can only be reached by observing a race between two output signals. A race between two outputs is not permitted at the edge of a component and therefore the transition into these states is labeled with Banned Output Race Description : The component's Link Active State Machine entry into Banned Output Race state condition is not expected. |
| CHI Link Layer | link active sm | illegal_tx_rx_state_transition_combinations_from_async_input_race_state | ARM-IHI0050E.b:14.6.3 Expected transitions | Combination of Tx and Rx link active state machine together from async input race combination must be valid |
| CHI Link Layer | link active sm | lasm_entry_into_async_input_race_state_check | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : The yellow states can only be reached by observing a race between two input signals. The transition into these states is labeled with Async Input Race Description : The component's Link Active State Machine entry into Async Input Race state condition is not expected. |
| CHI Link Layer | link active sm | lasm_in_banned_output_race_state_timeout_check | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : All other states are considered transient states that are exited in a timely manner Description : The component's Link Active State Machine entering into Banned Output Race state condition is expected to move to next valid link active state within 1 or few clock cycles, initiated by local component. |
| CHI Link Layer | link active sm | lasm_in_async_input_race_state_timeout_check | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : All other states are considered transient states that are exited in a timely manner Description : The component's Link Active State Machine entering into Async Input Race state condition is expected to move to next valid link active state within 1 or few clock cycles, initiated by link partner component. |
| CHI Link Layer | link active sm | illegal_tx_rx_state_transition_combinations_from_banned_output_race_state | ARM-IHI0050E.b:14.6.3 Expected transitions | Combination of Tx and Rx link active state machine together from banned output race combination must be valid |
| CHI Link Layer | link active sm | illegal_tx_rx_state_transition_combinations | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : Stop/Stop to Run/Run state paths Description : Combination of Tx and Rx link active state machine together must be valid |
| CHI Link Layer | link active sm | rx_illegal_state_transition | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : Mapping of states to the LINKACTIVE signals Description : Transition of Rx link active state machine must be valid |
| CHI Link Layer | link active sm | tx_illegal_state_transition | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : Mapping of states to the LINKACTIVE signals Description : Transition of Tx link active state machine must be valid |
| CHI Link Layer | l-credit | valid_lcredit_count_in_tx_stop_state_check | ARM-IHI0050E.b:14.5 Interface activation and deactivation | Spec Text : The Transmitter has no credits and must not send any flits Description : All the applicable lcredit counter should be zero in tx stop state |
| CHI Link Layer | l-credit | invalid_lcredit_check | ARM-IHI0050E.b:14.5 Interface activation and deactivation | Spec Text : The Receiver must not send any credits Description : The receiver must not send lcredit in stop and activate state. |
| CHI Link Layer | l-credit | tx_lcredit_used_same_cycle_which_recieved | ARM-IHI0050E.b:14.2 Link layer Credit | Spec Text : An L-Credit cannot be used in the cycle it is received Description : An L-credit cannot be used in the cycle it is received. |
| CHI Link Layer | l-credit | rx_no_lcredit_sent_for_flit_transfer | ARM-IHI0050E.b:14.2 Link layer Credit | Spec Text : On exit from reset, credits are held by the Receiver and must be passed to the Transmitter before flit transfer can begin Description : A flit can be sent on its virtual channel only if a corresponding L-credit is available at the transmitter and the link is active. |
| CHI Link Layer | l-credit | tx_no_lcredit_for_flit_transfer | ARM-IHI0050E.b:14.2 Link layer Credit | Spec Text : On exit from reset, credits are held by the Receiver and must be passed to the Transmitter before flit transfer can begin Description : A flit can be sent on its virtual channel only if a corresponding L-credit is available at the transmitter and the link is active. |
| CHI Protocol Layer | Node performance metrics | perf_min_write_throughput_check | SYNOPSYS DEFINED | Monitor Check that the throughput of write transactions in a given interval is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_max_write_throughput_check | SYNOPSYS DEFINED | Monitor Check that the throughput of write transactions in a given interval is less than or equal to the configured max value |
| CHI Protocol Layer | Node performance metrics | perf_min_read_throughput_check | SYNOPSYS DEFINED | Monitor Check that the throughput of read transactions in a given interval is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_max_read_throughput_check | SYNOPSYS DEFINED | Monitor Check that the throughput of read transactions in a given interval is less than or equal to the configured max value |
| CHI Protocol Layer | Node performance metrics | perf_avg_min_read_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the average latency of read transactions in a given interval is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_avg_max_read_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the average latency of read transactions in a given interval is less than or equal to the configured max value |
| CHI Protocol Layer | Node performance metrics | perf_min_read_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the latency of a read transaction is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_max_read_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the latency of a read transaction is less than or equal to the configured max value |
| CHI Protocol Layer | Node performance metrics | perf_avg_min_write_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the average latency of write transactions in a given interval is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_avg_max_write_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the average latency of write transactions in a given interval is less than or equal to the configured max value |
| CHI Protocol Layer | Node performance metrics | perf_min_write_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the latency of a write transaction is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_max_write_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the latency of a write transaction is less than or equal to the configured max value |
| CHI Protocol Layer | Snoop Transaction timeout check | snp_transaction_inactivity_timeout_check | SYNOPSYS DEFINED | Check that a Snoop transaction ends within the programmed number of clock cycles. |
| CHI Protocol Layer | Transaction timeout check | transaction_inactivity_timeout_check | SYNOPSYS DEFINED | Check that a transaction ends within the programmed number of clock cycles. |
| CHI Protocol Layer | exclusive access legal data_size transfer check | non_coherent_excl_access_legal_data_size_transfer_check | ARM-IHI0050E.b: 6.3.3 Exclusive accesses to Snoopable locations | Check that the number of bytes to be transferred in an exclusive access must be a legal data transfer size, that is, 1, 2,4, 8, 16, 32, or 64 bytes. |
| CHI Protocol Layer | exclusive access address aligned to total bytes check | non_coherent_excl_access_aligned_total_bytes_transaction_check | ARM-IHI0050E.b: 6.3.3 Exclusive accesses to Snoopable locations | Check that the address of an exclusive access must be aligned to the total number of bytes in the transaction. |
| CHI Protocol Layer | non-coherent exclusive access same lpid check | non_coherent_excl_read_multiple_entry_for_same_lpid_check | ARM-IHI0050E.b: 6.3.3 Exclusive accesses to Snoopable locations | Check that an exclusive monitor should not have more than one exclusive transaction of the same lpid at any given time. |
| CHI Protocol Layer | SACTIVE signal validity | valid_rxsactive_signal_check | ARM-IHI0050E.b: 14.7 Protocol layer activity indication | RXSACTIVE must remain asserted until after the last flit relating to all transactions is sent or received at the link partner node. |
| CHI Protocol Layer | SACTIVE signal validity | valid_txsactive_signal_check | ARM-IHI0050E.b: 14.7 Protocol layer activity indication | TXSACTIVE must remain asserted until after the last flit relating to all transactions is sent or received. |
| CHI Protocol Layer | associate flit to xact | associate_readreceipt_to_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | If the request Order field indicates that ordering is required then a ReadReceipt response must be returned on the CRSP channel when order has been established |
| CHI Protocol Layer | snp req validity | valid_rn_d_snoop_flit_check | ARM-IHI0050E.b: Table B-2 Snoop communicating nodes | Use of the SNP channel is limited to DVM data transfers in case of RN-D nodes. |
| CHI Protocol Layer | dat flit valid | readunique_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readnotshareddirty_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadNotSharedDirty transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readshared_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadShared transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readclean_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadClean transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | cleanunique_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response of a CleanUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | makeunique_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response of a MakeUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | evict_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response of an Evict transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readunique_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The associated compdata packet's resp_err field should not take EXOK value for ReadUnique transaction. |
| CHI Protocol Layer | dat flit valid | expected_response_for_makereadunique_xact_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The Home Node must send a data response for a MakeReadUnique transaction if the line is not cached at the requester at the time of response. |
| CHI Protocol Layer | dat flit valid | readpreferunique_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData or DataSepResp flits of a ReadPreferUnique transaction should take a valid value when the Resperr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | makereadunique_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData or DataSepResp flits of a MakeReadUnique transaction should take a valid value when the Resperr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | makereadunique_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated Comp or RespSepData flit of a MakeReadUnique transaction should take a valid value when the Resperr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readpreferunique_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The associated CompData or DataSepResp packet's resp_err field should not take EXOK value for ReadPreferUnique transaction. |
| CHI Protocol Layer | dat flit valid | makereadunique_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The associated CompData or DataSepResp packet's resp_err field should not take EXOK value for MakeReadUnique transaction. |
| CHI Protocol Layer | resp flit valid | makereadunique_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The associated Comp or RespSepData response packet's resp_err field should not take EXOK value for MakeReadUnique transaction. |
| CHI Protocol Layer | snp req validity | expected_snoop_xact_type_check | SYNOPSYS DEFINED | Stash and Forward type snoops are expected to be received only by a CHI-B or later compliant RN-F, when Stashing and DCT features are enabled in the corresponding HN, respectively. |
| CHI Protocol Layer | dat flit valid | readnotshareddirty_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The Exclusive Okay response must only be given for a transaction that has the Excl attribute set. |
| CHI Protocol Layer | dat flit valid | readshared_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The Exclusive Okay response must only be given for a transaction that has the Excl attribute set. |
| CHI Protocol Layer | dat flit valid | readclean_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The Exclusive Okay response must only be given for a transaction that has the Excl attribute set. |
| CHI Protocol Layer | resp flit valid | cleanunique_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The Exclusive Okay response must only be given for a transaction that has the Excl attribute set. |
| CHI Protocol Layer | resp flit valid | makeunique_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for MakeUnique transaction. |
| CHI Protocol Layer | resp flit valid | evict_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK or DERR value for Evict transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpstashshared_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.2 Stash snoop transactions | The cache state in the associated response of a SnpStashUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpstashshared_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp or RespSepData should not take EXOK or DERR resp_err value for SnpStashShared transaction while the associated CompData or DataSepResp should not take EXOK resp_err value. |
| CHI Protocol Layer | resp and dat flit valid | snpstashunique_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp or RespSepData should not take EXOK or DERR resp_err value for SnpStashUnique transaction while the associated CompData or DataSepResp should not take EXOK resp_err value. |
| CHI Protocol Layer | resp and dat flit valid | snpstashunique_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.2 Stash snoop transactions | The cache state in the associated response of a SnpStashUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpmakeinvalidstash_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.2 Stash snoop transactions | The cache state in the associated response of a SnpMakeInvalidStash transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpmakeinvalidstash_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp or RespSepData should not take EXOK or DERR resp_err value for SnpMakeInvalidStash transaction while the associated CompData or DataSepResp should not take EXOK resp_err value. |
| CHI Protocol Layer | resp and dat flit valid | snpuniquestash_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.2 Stash snoop transactions | The cache state in the associated response of a SnpUniqueStash transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpuniquestash_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp or RespSepData should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpUniqueStash transaction while the associated CompData or DataSepResp should not take EXOK resp_err value. |
| CHI Protocol Layer | resp and dat flit valid | writeevict_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated CompDBIDResp should not take EXOK value whereas data packet should not take EXOK or NDERR resp_err value for WriteEvict transaction. |
| CHI Protocol Layer | resp and dat flit valid | writeclean_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated CompDBIDResp should not take EXOK value whereas data packet should not take EXOK or NDERR resp_err value for WriteClean transaction. |
| CHI Protocol Layer | resp and dat flit valid | writeback_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated CompDBIDResp should not take EXOK value whereas data packet should not take EXOK or NDERR resp_err value for WriteBack transaction. |
| CHI Protocol Layer | dat flit valid | writecleanfull_cleanshared_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteCleanFull_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writebackfull_cleaninvalid_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteBackFull_CleanInvalid should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writecleanfull_cleansharedpersistsep_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteCleanFull_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writebackfull_cleansharedpersistsep_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteBackFull_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writebackfull_cleanshared_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteBackFull_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | ordering check | new_req_before_comp_or_compdbid_resp_for_copyback_writes_with_optional_data_to_same_cacheline_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | An RN-F must wait for the Comp/CompDBIDResp response to be received for an outstanding CopyBack Writes with Optional Data transactions WriteEvictorEvict before issuing another request to the same cache line. |
| CHI Protocol Layer | snp req validity | data_pull_set_for_stash_snoop_when_outstanding_xacts_with_dbidrespord | ARM-IHI0050E.b: 7.2 Write with Stash hint | The data pull in snoop response to stash snoop should be 0 . |
| CHI Protocol Layer | resp flit valid | writecleanfull_cleanshared_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteCleanFull_CleanShared transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writebackfull_cleaninvalid_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteBackFull_CleanInvalid transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writecleanfull_cleansharedpersistsep_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteCleanFull_CleanSharedPersistSep transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writecleanfull_cleansharedpersistsep_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteCleanFull_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writebackfull_cleansharedpersistsep_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteBackFull_CleanSharedPersistSep transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writebackfull_cleansharedpersistsep_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteBackFull_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writebackfull_cleanshared_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteBackFull_CleanShared transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writecleanfull_cleanshared_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteCleanFull_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writebackfull_cleaninvalid_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteBackFull_CleanInvalid should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writebackfull_cleanshared_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteBackFull_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp and dat flit valid | writeevictorevict_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response and data packets of WriteEvictorEvict should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp and dat flit valid | writeevictorevict_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response and data packets of WriteEvictorEvict should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | request validity | cache_transitioned_to_dirty_from_uce_for_read | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache transitioned to dirty stateUD/UDP from UCE. |
| CHI Protocol Layer | dat flit valid | makereadunique_data_response_cache_data_match_check | ARM-IHI0050E.b: 4.7 Cache state transitions at a Requester | The data returned in the data response for a MakeReadUnique should be the same as the data cached in the Requester if the cachestate at the requester before receiving the response is SC and the final state in the associated data response is UD. |
| CHI Protocol Layer | resp flit valid | valid_final_state_for_non_invalidating_snp_when_outstanding_makereadunique_to_same_cacheline_check | ARM-IHI0050E.b: 4.7 Cache state transitions at a Requester | A requester must not invalidate the line in response to receiving a non-invalidating snoop while MakeReadUnique is outstanding. |
| CHI Protocol Layer | resp flit valid | invalid_data_pull_in_snoop_response_check | ARM-IHI0050E.b: 7.2 Write with Stash hint | Stash target must not request Data Pull if: DoNotDataPull bit is set or Snoop has an address hazard with an outstanding request |
| CHI Protocol Layer | resp flit valid | dbid_in_snoop_response_with_data_pull_check | ARM-IHI0050E.b: 2.5 Details of transaction identifier fields | The DBID value used by a Snoop Completer in response to a Stash type snoop that includes a Data Pull must be unique with respect to: the DBID values in other Snoop responses to Stash type snoops that use Data Pull and the TxnID of any outstanding Request from that Snoop Completer |
| CHI Protocol Layer | dat flit valid | snprspdatafwded_compdata_data_integrity_check | ARM-IHI0050E.b: 4.5.3 Snoop response | The data in the SnpRespDataFwded response matches with the data in the CompData response sent for a Forward type Snoop transaction |
| CHI Protocol Layer | resp and dat flit valid | valid_fwd_state_in_fwded_snoop_response_check | ARM-IHI0050E.b: 13.10.45 Forward State, FwdState | The FwdState indicated in the SnpRespFwded or SnpRespDataFwded response must indicate the state in the CompData sent from the Snoopee to the Requester |
| CHI Protocol Layer | resp and dat flit valid | valid_fwded_response_type_for_ret_to_src_check | ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions | For a Forwarding type Snoop request, snooped RN must return a copy to Home using SnpRspDataFwded if the cache line is Dirty or Clean. |
| CHI Protocol Layer | resp flit validity | valid_snprspfwded_flit_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The SrcID, TgtID, TxnID fields of the SnpRspFwded flit must match the TgtID, FwdNID, FwdTxnID and TxnID of the Forward type Snoop request |
| CHI Protocol Layer | associate flit to xact | associate_compdata_flit_with_fwd_type_snp_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The SrcID, TgtID, TxnID and DBID fields of the forwarded CompData flit must match the TgtID, FwdNID, FwdTxnID and TxnID of the Forward type Snoop request |
| CHI Protocol Layer | resp and dat flit valid | snppreferuniquefwd_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions | The cache state in the associated response of a SnpPreferUniqueFwd transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snppreferuniquefwd_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR, The associated SnpRespFwd should not take EXOK, whereas SnpRespData* or CompData packet should not take EXOK or NDERR resp_err value for SnpPreferUniqueFwd transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpnotshareddirtyfwd_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions | The cache state in the associated response of a SnpNotSharedDirtyFwd transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpnotshareddirtyfwd_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp* should not take EXOK or DERR whereas SnpRespData* or CompData packet should not take EXOK or NDERR resp_err value for SnpNotSharedDirtyFwd transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpuniquefwd_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions | The cache state in the associated response of a SnpUniqueFwd transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpuniquefwd_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp* should not take EXOK or DERR whereas SnpRespData* or CompData packet should not take EXOK or NDERR resp_err value for SnpUniqueFwd transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpsharedfwd_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions | The cache state in the associated response of a SnpSharedFwd transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpsharedfwd_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp* should not take EXOK or DERR whereas SnpRespData* or CompData packet should not take EXOK or NDERR resp_err value for SnpSharedFwd transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpcleanfwd_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions | The cache state in the associated response of a SnpCleanFwd transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpcleanfwd_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp* should not take EXOK or DERR whereas SnpRespData* or CompData packet should not take EXOK or NDERR resp_err value for SnpCleanFwd transaction. |
| CHI Protocol Layer | resp and dat flit valid | snponcefwd_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions | The cache state in the associated response of a SnpOnceFwd transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snponcefwd_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp* should not take EXOK or DERR whereas SnpRespData* or CompData packet should not take EXOK or NDERR resp_err value for SnpOnceFwd transaction. |
| CHI Protocol Layer | dat flit valid | copyback_cancellation_write_data_check | ARM-IHI0050E.b: 4.11.1 At the RN-F node | The cache state in the WriteData response after CopyBack cancellation must be I and all byte enables must be deasserted.If all the byte enables are deasserted then the data must be zeroed |
| CHI Protocol Layer | resp and dat flit valid | snppreferunique_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpPreferUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snppreferunique_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpPreferUnique transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpnotshareddirty_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpNotSharedDirty transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpnotshareddirty_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpNotSharedDirty transaction. |
| CHI Protocol Layer | dat flit valid | valid_snprespdata_when_be_is_zero_check | ARM-IHI0050E.b: 2.10.3 Byte Enables | In Snoop Data, a byte enable value of zero must set the associated data byte value to zero. |
| CHI Protocol Layer | dat flit valid | expected_tagop_value_in_fwded_compdata_check | ARM-IHI0050E.b: 12.9.2 Forwarding snoops | The TagOp field in the Forwarded CompData must be set to either Invalid or Transfer |
| CHI Protocol Layer | dat flit valid | same_tagop_value_in_all_fwded_compdata_flits_check | ARM-IHI0050E.b: 12.9 Snoop requests | In case there are multiple Forwarded CompData response flits corresponding to a Forward type Snoop, the TagOp field must be set to the same value across all the Forwarded CompData flits |
| CHI Protocol Layer | dat flit valid | expected_tagop_value_in_data_pull_compdata_check | ARM-IHI0050E.b: 12.8 Stash transactions | The TagOp field in the DataPull CompData must be set to either Invalid or Transfer |
| CHI Protocol Layer | dat flit valid | same_tagop_value_in_all_data_pull_compdata_flits_check | ARM-IHI0050E.b: 12.8 Stash transactions | In case there are multiple DataPull CompData flits corresponding to a Stash type Snoop involving DataPull, the TagOp field must be set to the same value across all the DataPull CompData flits |
| CHI Protocol Layer | dat flit valid | same_tagop_value_in_all_snoop_data_response_flits_check | ARM-IHI0050E.b: 12.9 Snoop requests | In case there are multiple Snoop data response flits corresponding to a Snoop, the TagOp field must be set to the same value across all the SnpRespData flits |
| CHI Protocol Layer | resp flit valid | snpquery_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The resp_pass_dirty attribute in the associated response of a SnpQuery transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | snpquery_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR resp_err value for SnpQuery transaction. |
| CHI Protocol Layer | ordering check | new_req_before_compdbid_resp_for_copyback_to_same_cacheline_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | An RN-F must wait for the CompDBIDResp response to be received for an outstanding CopyBack transaction before issuing another request to the same cache line. |
| CHI Protocol Layer | resp flit valid | snpmakeinvalid_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpMakeInvalid transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpcleaninvalid_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpCleanInvalid transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpcleanshared_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpCleanShared transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpunique_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpshared_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpShared transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpclean_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpClean transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snponce_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpOnce transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | snpmakeinvalid_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR resp_err value for SnpMakeInvalid transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpcleaninvalid_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpCleanInvalid transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpcleanshared_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpCleanShared transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpunique_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpUnique transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpshared_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpShared transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpclean_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.5 Other transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpClean transaction. |
| CHI Protocol Layer | resp and dat flit valid | snponce_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpOnce transaction. |
| CHI Protocol Layer | associate flit to xact | associate_snprspdata_flit_with_snp_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The TgtID and SrcID must be set to the the SrcID and TgtID of the Snoop request respectively. The TxnID is set to the same value as the TxnID of the Snoop request. |
| CHI Protocol Layer | resp flit validity | valid_snprsp_flit_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The TgtID and SrcID must be set to the the SrcID and TgtID of the Snoop request respectively. The TxnID is set to the same value as the TxnID of the Snoop request. |
| CHI Protocol Layer | resp and dat flit valid | writeevict_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteEvict transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | resp and dat flit valid | writeclean_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteClean transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | resp and dat flit valid | writeback_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteBack transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | dat flit valid | valid_dat_flit_type_for_snp_xact_check | ARM-IHI0050E.b: 4.5 Response types | Data flit type must be set to one of the permitted values for the Request |
| CHI Protocol Layer | dat flit valid | valid_cbwrdata_flit_for_xact_check | ARM-IHI0050E.b: 4.5.2 WriteData response | Data flit type must be set to one of the permitted values for the Request |
| CHI Protocol Layer | snp req validity | new_snp_req_before_compack_of_coherent_xact_which_received_comp_to_same_cacheline_check | ARM-IHI0050E.b: 4.11 Hazard conditions | The completer can send out the Snoop requests to an RN-F only when there are no outstanding coherent transactions from that particular RN-F targetting the same cache line that received completion response and has not yet received the CompAck/WrData |
| CHI Protocol Layer | snp req validity | new_snp_req_before_completion_of_previous_snp_xact_to_same_cacheline_check | ARM-IHI0050E.b: 4.11 Hazard conditions | The completer can send out the Snoop requests to an RN-F only when there are no outstanding Snoop transactions targetting the same cache line to that particular RN-F |
| CHI Protocol Layer | dvm xact | valid_tlbi_fields_in_snpdvmop_check | ARM-IHI0050E.b: 8.2 DVM Operation types | The Range, Num, Scale, TG and TTL fields in a SnpDVMOp transaction are set to legal values |
| CHI Protocol Layer | dvm xact | valid_order_of_dvmop_rspflits_check | ARM-IHI0050E.b: 2.3.7 DVM transactions | Completer first returns a DBIDResp indicating that it can receive data and sends a Comp Response after the data transfer is complete |
| CHI Protocol Layer | dvm xact | valid_snpdvmop_part_check | ARM-IHI0050E.b: 8.1.3 Flow control | SnpDVMOp requests consist of two parts. Both SnpDVMOp request packets corresponding to a single transaction must use the same TxnID |
| CHI Protocol Layer | dvm xact | single_outstanding_snpdvmop_per_txn_id_check | ARM-IHI0050E.b: 2.4 Transaction identifier fields | The TxnID must be unique for a given Requester. The Requester can reuse the ID only after it has received all responses associated with a previous transaction that has used the same TxnID |
| CHI Protocol Layer | dvm xact | single_outstanding_snpdvmop_sync_check | ARM-IHI0050E.b: 8.1.3 Flow control | Only one SnpDVMOpSync transaction can be outstanding from an MN to an RN. |
| CHI Protocol Layer | resp flit valid | valid_resp_err_status_for_dvmop_xact_check | ARM-IHI0050E.b: 9.4.5 Other transactions | For DVMOP transaction, resp_err_status field of the associated Comp RSP flit must have one of the following values: 1NORMAL_OKAY 2NON_DATA_ERROR 3in case of chi_spec_revision >= ISSUE_B,DATA_ERROR. |
| CHI Protocol Layer | resp flit validity | valid_rspflit_for_dvmop_check | ARM-IHI0050E.b: 4.5.1 Completion response | A Comp response, with the Resp field set to zero, is always used for DVM transaction completion |
| CHI Protocol Layer | resp flit valid | snpdvmop_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.5 Other transactions | The associated SnpResp should not take EXOK or DERR resp_err value for SnpDVMop transaction. |
| CHI Protocol Layer | resp flit valid | snpresp_for_snpdvmop_sync_only_after_completion_of_prior_snpdvmop_check | ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow | Sending of a SnpResp implies that all DVM related operations have completed at the RN structures. |
| CHI Protocol Layer | resp flit valid | snpresp_for_snpdvmop_sync_only_after_completion_of_all_non_dvm_sync_check | ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow | Sending of a SnpResp implies that all DVM related operations have completed at the RN structures. |
| CHI Protocol Layer | dvm xact | valid_tlbi_fields_in_dvmop_check | ARM-IHI0050E.b: 8.2 DVM Operation types | The Range, Num, Scale, TG and TTL fields in a DVMOp transaction are set to legal values |
| CHI Protocol Layer | resp flit validity | valid_snprsp_for_snpdvmop_check | ARM-IHI0050E.b: 8.1.3 Flow control | An RN must provide a response to a SnpDVMOp transaction only after it has received both SnpDVMOp request packets corresponding to that transaction. |
| CHI Protocol Layer | dvm xact | valid_snpdvmop_req_part_num_check | ARM-IHI0050E.b: 8.2 DVM Operation types | Part number must be 0b0 for SnpDVMOp Part 1 and 0b1 for SnpDVMOp Part 2. |
| CHI Protocol Layer | dvm xact | single_outstanding_dvmop_sync_request_check | SYNOPSYS DEFINED | There can only be one outstanding DVMOpSync transaction from an RN at any point in time. |
| CHI Protocol Layer | dvm xact | unused_bits_in_dvm_write_data_check | ARM-IHI0050E.b: 8.1.4 DVMOp field value restrictions | All the unused bits in the write data of a DVMOp transaction must be set to zero. |
| CHI Protocol Layer | dvm xact | expected_dvmop_sync_request_check | ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow | All previous DVMOp requests whose completion needs to be guaranteed by the DVMOpSync must have received a Comp response before the RN can send a DVMOpSync. |
| CHI Protocol Layer | resp flit valid | cleansharedpersistsep_associated_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp/comp_persist response packets of a CleanSharedPersistSep transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | cleansharedpersistsep_associated_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp/persist/comppersist response packet's resp_err field should not take EXOK value for CleanSharedPersistSep transaction |
| CHI Protocol Layer | resp flit validity | valid_response_combinations_for_cleansharedpersistsep_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | resp flit validity | valid_comppersist_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | resp flit validity | valid_persist_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | associate flit to xact | valid_parity_datacheck_for_snoop_data_check | ARM-IHI0050E.b: 9.6 Data Check | For Snoop transactions involving data transfer, datacheck is set appropriatly such that ODD Byte parity is generated. |
| CHI Protocol Layer | barrier xact | normal_non_cacheable_or_device_writes_between_barriers_check | ARM-IHI0050A: 7.5.1 | It is recommended that an RN only issues an EOBarrier or ECBarrier if it has issued a Normal Non-cacheable, or Device type memory write request since previously completing an EOBarrier or ECBarrier. |
| CHI Protocol Layer | barrier xact | comp_received_for_normal_non_cacheable_or_device_writes_before_barrier_check | ARM-IHI0050A: 7.5 Barriers | An RN must wait until all Normal Non-cacheable writes, and all Device type writes, that are targeting an HN-I, have received a completion response before issuing an EOBarrier or an ECBarrier request |
| CHI Protocol Layer | request validity | expected_tgt_id_in_rn_xact_check | ARM-IHI0050E.b: 3.3.1 Target ID determination for Request messages | The Target ID in the request sent by the RN must be set as per the SAM, when target ID remapping is not expected at the Interconnect |
| CHI Protocol Layer | dat flit valid | atomic_compare_valid_tag_check | ARM-IHI0050E.b: 12.7 Atomic transactions | The memory tag value should be same in the Tag fields corresponding to the compare and swap data |
| CHI Protocol Layer | resp and dat flit valid | writeuniquefullstash_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteUniqueptlstash transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | resp and dat flit valid | writeuniqueptlstash_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteUniqueptlstash transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | Compack timing | owo_combined_writeunique_cmo_compack_timing_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | CompAck for an OWO Combined WriteUnique and CMO type transaction must be sent only after all the previous OWO Combined WriteUnique and CMO type transactions have received Comp response and the current OWO Combined WriteUnique and CMO type transaction transaction has received either Comp or DBIDResp or COMPDBIDRESP response. |
| CHI Protocol Layer | Compack timing | owo_combined_writenosnp_cmo_compack_timing_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | CompAck for an OWO Combined WriteNoSnp and CMO type transaction must be sent only after all the previous OWO Combined WriteNoSnp and CMO type transactions have received Comp response and the current OWO Combined WriteNoSnp and CMO type transaction transaction has received either Comp or DBIDResp or COMPDBIDRESP response. |
| CHI Protocol Layer | Compack timing | owo_writenosnp_compack_timing_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | CompAck for an OWO WriteNoSnp must be sent only after the Comp response for all previous OWO WriteNoSnp transactions are received and Comp or DBIDResp or COMPDBIDRESP for current WriteNoSnp transaction is received. |
| CHI Protocol Layer | Compack timing | owo_writeunique_compack_timing_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | CompAck for an OWO WriteUnique must be sent once the Comp for all previous OWO WriteUnique transactions are received and comp When chi_spec_revision is less than or equal to ISSUE_C/Comp or DBIDResp or CompDBIDReespWhen chi_spec_revision is ISSUE_D or later for current WriteUnique transaction is received. |
| CHI Protocol Layer | request validity | new_req_before_completion_of_previous_cmo_xacts_to_same_cacheline_check | ARM-IHI0050E.b: 4.2.2 Dataless transactions | Transaction intended for a particular address that can allocate data in Requester caches must not be sent to the interconnect before a previous CMO sent to the same address has completed. |
| CHI Protocol Layer | request validity | cmo_xact_before_completion_of_previous_xacts_to_same_cacheline_check | ARM-IHI0050E.b: 4.2.2 Dataless transactions | A CMO intended for a particular address must not be sent before all previous requests, targeting the same cacheline, that can allocate data in the requester cache ReadShared, ReadClean, ReadUnique, ReadNotSharedDirty, CleanUnique, MakeUnique are complete. |
| CHI Protocol Layer | resp and dat flit valid | writeunique_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteUnique transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | resp flit valid | expected_compack_check | ARM-IHI0050E.b: 2.3 Transaction structure | CompAck must be observed only after Comp or all CompData responses are received. |
| CHI Protocol Layer | resp flit validity | valid_compack_rsp_flit_check | ARM-IHI0050E.b: 2.6.1 Read transactions | The TgtID and SrcID must be set to the the SrcID and TgtID of the read data respectively. The TxnID is set to the same value as the DBID value provided in the read data response. |
| CHI Protocol Layer | single req order stream | single_req_order_stream_check | ARM-IHI0050E.b: 2.8 Ordering | The ordering requirements must be met for preceding active transactions with ReqOrder asserted before initiating next ordered transaction |
| CHI Protocol Layer | DWT | dwt_used_by_hn_with_dwt_enabled_check | SYNOPSYS DEFINED | DWT can be used by a HN only when: DWT is enabled for that HN through svt_chi_system_configuration::set_hn_dwt_enable |
| CHI Protocol Layer | CMO Propagation | cmos_forwarded_to_slave_by_hn_with_forward_cmos_to_slave_enable_check | SYNOPSYS DEFINED | CMO Propagation transactios can only be received by an SN from HN when the required configuration is set to 1 through svt_chi_system_configuration::set_hn_forward_cmos_to_slaves_enable method |
| CHI Protocol Layer | CMO Propagation | persist_cmos_forwarded_to_slave_by_hn_with_forward_persist_cmos_to_slave_enable_check | SYNOPSYS DEFINED | Persist CMO Propagation transations can only be received by an SN from HN when the required configuration is set to 1 through svt_chi_system_configuration::set_hn_forward_persist_cmos_to_slaves_enable method |
| CHI Protocol Layer | DMT | dmt_used_by_hn_with_dmt_enabled_check | SYNOPSYS DEFINED | DMT can be used by a HN only when: DMT is enabled for that HN through svt_chi_system_configuration::set_hn_dmt_enable |
| CHI Protocol Layer | resp flit validity | valid_snp_response_check | ARM-IHI0050E.b: 4.11.1 At the RN-F node | If a pending request to the same cache line is present at the RN-F and the pending request has received at least one Data response packet or RespSepData, the RN-F must wait to receive all Data response packets before responding to the Snoop request. |
| CHI Protocol Layer | dat flit valid | ncbwrdatacompack_flit_timing_check | ARM-IHI0050E.b: 2.3.2 Write Transactions | NCBWrDataCompAck which implies the combined flit of NCBWrData and compack responses must satisfy the compack response timing rule that all the previous OWO Write*order_type set to REQ_ORDERING_REQUIRED and exp_comp_ack set to 1 transactions should have received the comp response. |
| CHI Protocol Layer | dat flit valid | ncbwrdatacompack_after_comp_and_dbid_check | ARM-IHI0050E.b: 2.3.2 Write Transactions | An RN can send combined NCBWrDataCompAck response once it receives both DBIDResp and Comp or CompDBIDResp response from Home. Once RN receives DBIDResp it must send WrData and must not wait for Comp to combine WrData with CompAck |
| CHI Protocol Layer | dat flit valid | valid_ncbwrdatacompack_flit_for_xact_check | ARM-IHI0050E.b: 4.5.2 WriteData response | NCBWrDataCompAck can be sent only for a Writeunique transaction with ExpCompAck asserted. When svt_chi_node_configuration::chi_spec_revision is ISSUE_D or later, NCBWrDataCompAck can also be sent for a Writenosnp transaction with ExpCompAck asserted |
| CHI Protocol Layer | dat flit valid | matching_resp_err_nderr_in_respsepdata_datasepresp_check | ARM-IHI0050E.b: 9.4.1 Read transactions | For a given RN transaction, when resp_err_status field of RespSepData RSP flit is set to NON_DATA_ERROR, resp_err_status field of DataSepResp DAT flits must be set to NON_DATA_ERROR as well as RespSepData and associated DataSepResp flits must be generated from the same HN |
| CHI Protocol Layer | dat flit valid | valid_data_source_in_datasepresp_check | ARM-IHI0050E.b: 11.1 Data Source indication | The DataSource field in the DataSepResp flits corresponding to a transaction must take legal values. |
| CHI Protocol Layer | resp and dat flit valid | matching_dbid_home_nid_in_respsepdata_datasepresp_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The DBID and HomeNID values in the DataSepResp flits must match the DBID and SrcID values in the RespSepData flit |
| CHI Protocol Layer | resp flit valid | associated_respsepdata_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The associated RespSepData response packet's resp_err field should not take EXOK or DERR value |
| CHI Protocol Layer | resp flit validity | valid_respsepdata_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | resp flit valid | associate_respsepdata_to_xact_check | ARM-IHI0050E.b: 2.8.4 Ordering semantics of RespSepData and DataSepResp | RespSepData response is not permitted for Read transactions with Exclusives or ordered Read transactions without CompAck or ordered Read transactions which have received a READRECEIPT. |
| CHI Protocol Layer | DMT | valid_return_txn_id_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | If DMT is used the RetrunNID should be the NodeID of the Requester, whereas if DMT is not used the RetrunNID should be the NodeID of the Home |
| CHI Protocol Layer | DMT | valid_order_type_for_non_dmt_check | ARM-IHI0050E.b: 5.1.8 ReadNoSnp transaction with DMT and separate Non-data and Data-only response | Order field can be set to REQ_ACCEPTED for readnosnp from HN to SN only when DMT is used |
| CHI Protocol Layer | resp flit valid | associate_compstashdone_to_xact_check | ARM-IHI0050E.b: 2.5 Details of transaction identifier fields | TargetID and DBID[7:0] in a CompStashDone response must match the SrcID and StashGroupID fields of the corresponding StashOnceSep* transaction |
| CHI Protocol Layer | resp flit valid | associate_stashdone_to_xact_check | ARM-IHI0050E.b: 2.5 Details of transaction identifier fields | TargetID and DBID[7:0] in a StashDone response must match the SrcID and StashGroupID fields of the corresponding StashOnceSep* transaction |
| CHI Protocol Layer | resp flit validity | valid_compstashdone_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | resp flit validity | valid_stashdone_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | resp flit valid | stashoncesepshared_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packet of a StashOnceSepShared transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | stashoncesepunique_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packet of a StashOnceSepUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | stashoncesepshared_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for StashOnceSepShared transaction. |
| CHI Protocol Layer | resp flit valid | stashoncesepunique_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for StashOnceSepUnique transaction. |
| CHI Protocol Layer | DMT | valid_exclusive_access_for_dmt_check | ARM-IHI0050E.b: 6.3.1 Responses to exclusive requests | Exclusive transaction other than ReadPreferUnique and MakeReadunique that do not fail must not use DMT flow |
| CHI Protocol Layer | DMT | valid_ordering_and_compack_combination_for_dmt_check | ARM-IHI0050E.b: 2.3.1 Read transactions | DMT for Readnosnp, Readonce, ROCI and ROMI is applicable for the combinations of order and compack defined in Table 2-6 |
| CHI Protocol Layer | DMT | valid_transaction_supporting_dmt_check | ARM-IHI0050E.b: 4.2.1 Read transactions | DMT is applicable only for the following transactions: Readclean, Readshared, Readunique, RNSD, Readnosnp, Readonce, ROCI and ROMI. |
| CHI Protocol Layer | resp flit valid | stashonceshared_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packet of a StashOnceShared transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | stashonceunique_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packet of a StashOnceUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | stashonceshared_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for StashOnceShared transaction. |
| CHI Protocol Layer | resp flit valid | stashonceunique_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for StashOnceUnique transaction. |
| CHI Protocol Layer | resp and dat flit valid | writeuniquefullstash_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated Comp and CompDBIDResp should not take EXOK value whereas data packet should not take EXOK or NDERR resp_err value for WriteUniquefullstash transaction. |
| CHI Protocol Layer | resp and dat flit valid | writeuniqueptlstash_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated Comp and CompDBIDResp should not take EXOK value whereas data packet should not take EXOK or NDERR resp_err value for WriteUniqueptlstash transaction. |
| CHI Protocol Layer | dat flit valid | readoncemakeinvalid_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadOnceMakeInvalid transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readoncecleaninvalid_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadOnceCleanInvalid transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readoncemakeinvalid_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The associated compdata packet's resp_err field should not take EXOK value for ReadOncemakeinvalid transaction. |
| CHI Protocol Layer | dat flit valid | readoncecleaninvalid_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The associated compdata packet's resp_err field should not take EXOK value for ReadOncecleaninvalid transaction. |
| CHI Protocol Layer | dat flit valid | valid_data_source_in_compdata_check | ARM-IHI0050E.b: 11.1 Data Source indication | The DataSource field in the CompData flits corresponding to a transaction must take legal values. |
| CHI Protocol Layer | resp and dat flit valid | expected_remapped_tgt_id_in_response_check | ARM-IHI0050E.b: 3.3.1 Target ID determination for Request messages | The Target ID in the request must be remapped correctly as per the SAM and the Source ID of the subsequent response flits must be set to the remapped Target ID value |
| CHI Protocol Layer | resp flit valid | associated_tagmatch_response_legal_resp_check | ARM-IHI0050E.b: 12.11.2 Non-Tag Match errors | The resp field in the TAGMATCH resposne flit must be valid |
| CHI Protocol Layer | dat flit valid | read_data_tagop_not_invalid_for_transfer_fetch_req_tagop | ARM-IHI0050E.b: 12.4 Read transaction rules | The TagOp field in the Read data corresponding to a Read request, with TagOp Transfer or Fetch, can only be set to Invalid when the address does not support memory tagging |
| CHI Protocol Layer | Custom | expected_snpquery_custom_check | SYNOPSYS DEFINED | SNPQUERY should be generated only for exclusive MakereadUnique when Snoop filter is disabled at the Interconnect. |
| CHI Protocol Layer | dat flit valid | writeuniqueptl_cleansharedpersistsep_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteUniquePtl_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writeuniquefull_cleansharedpersistsep_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteUniqueFull_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writeuniqueptl_cleansharedpersistsep_associated_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated data flits of WriteUniquePtl_CleanSharedPersistSep transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writeuniquefull_cleansharedpersistsep_associated_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated data flits of WriteUniqueFull_CleanSharedPersistSep transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writeuniqueptl_cleanshared_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteUniquePtl_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writeuniquefull_cleanshared_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteUniqueFull_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writeuniqueptl_cleanshared_associated_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated data flits of WriteUniquePtl_CleanShared transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writeuniquefull_cleanshared_associated_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated data flits of WriteUniqueFull_CleanShared transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | DWT | valid_ordering_and_compack_combination_for_dwt_check | ARM-IHI0050E.b: 4.2.3 Write transactions | DWT is not permitted in Non-CopyBack writes that are OWO writes. |
| CHI Protocol Layer | DWT | valid_transaction_supporting_dwt_check | ARM-IHI0050E.b: 13.10.24 Do Direct Write Transfer, DoDWT | DWT is applicable only for non-copyback write transactions. |
| CHI Protocol Layer | resp flit valid | writeuniqueptl_cleansharedpersistsep_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteUniquePtl_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writeuniquefull_cleansharedpersistsep_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteUniqueFull_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writeuniqueptl_cleansharedpersistsep_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteUniquePtl_CleanSharedPersistSep transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writeuniquefull_cleansharedpersistsep_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteUniqueFull_CleanSharedPersistSep transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writeuniqueptl_cleanshared_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteUniquePtl_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writeuniquefull_cleanshared_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteUniqueFull_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writeuniqueptl_cleanshared_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteUniquePtl_CleanShared transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writeuniquefull_cleanshared_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteUniqueFull_CleanShared transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writeuniquezero_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated comp response flit of a WriteUniqueZero transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | resp flit valid | writeuniquezero_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err field in the associated responses of WriteUniqueZero transaction should take the legal values. Valid resp_err field values in DBIDResp is NORMAL_OKAY and in Comp/CompDBIDResp are NORMAL_OKAY, NON_DATA_ERROR and DATA_ERROR. |
| CHI Protocol Layer | resp flit validity | valid_dbidrespord_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The DBIDRespOrd flit should correspond to one of the permitted transaction types. |
| CHI Protocol Layer | resp flit valid | dbidresp_or_dbidresoprd_response_received_check | ARM-IHI0050E.b: 4.5 Response types | The transaction should receive either DBIDResp or DBIDRespOrd response. |
| CHI Protocol Layer | resp flit validity | valid_pcrdgrant_check | ARM-IHI0050E.b: 2.11 Request Retry | PcrdGrant is not seen without any outstanding transaction |
| CHI Protocol Layer | resp and dat flit valid | writeunique_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated Comp and CompDBIDResp should not take EXOK value whereas data packet should not take EXOK or NDERR resp_err value for WriteUnique transaction. |
| CHI Protocol Layer | dat flit valid | readonce_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadOnce transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readonce_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The associated compdata packet's resp_err field should not take EXOK value for ReadOnce transaction. |
| CHI Protocol Layer | resp flit valid | cleansharedpersist_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packets of a CleanSharedPersist transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | cleansharedpersist_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for CleanSharedPersist transaction. |
| CHI Protocol Layer | resp and dat flit valid | atomic_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.4 Atomic transactions | The cache state in the associated Comp or CompDBIDResp as well as the data packets corresponding to an Atomic transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | atomic_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.4 Atomic transactions | The associated Comp or CompDBIDResp should not take EXOK value whereas the data packets should not take EXOK or NDERR resp_err value for Atomic transaction. |
| CHI Protocol Layer | resp flit valid | makeinvalid_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packet of a MakeInvalid transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | cleaninvalid_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packet of a CleanInvalid transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | cleanshared_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packet of a CleanShared transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | makeinvalid_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for MakeInvalid transaction. |
| CHI Protocol Layer | resp flit valid | cleaninvalid_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for CleanInvalid transaction. |
| CHI Protocol Layer | resp flit valid | cleanshared_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for CleanShared transaction. |
| CHI Protocol Layer | dat flit valid | valid_resp_for_data_packet_check | ARM-IHI0050E.b: 4.5 Response types | The Resp field in a response must have the same value for every packet of a data message regardless of whether or not there is an error condition. |
| CHI Protocol Layer | dat flit valid | single_xact_mix_ok_exok_response_check | ARM-IHI0050E.b: 9.2 Error response fields | A single transaction is not permitted to mix OK and EXOK responses. |
| CHI Protocol Layer | dat flit field | valid_ccid_in_dat_flit_check | ARM-IHI0050E.b: 2.10.6 Critical Chunk Identifier | CCID of all the data packets belonging to a transaction must be the same and equal to addr[5:4] of the corresponding Request |
| CHI Protocol Layer | dat flit valid | dbid_value_must_be_same_across_read_data_flits_check | ARM-IHI0050E.b: 2.5.9 Data Buffer ID | DBID must take the same value in all read data flits corresponding to a Read transaction with ExpCompAck set to 1 |
| CHI Protocol Layer | resp flit valid | separate_dbidresp_and_comp_must_include_same_dbid_value_check | ARM-IHI0050E.b: 2.5 Details of transaction identifier fields | A Comp response message sent separate from a DBIDResp or DBIDRespOrd message for a Write transaction must include the same DBID field value in the Comp and DBIDResp or DBIDRespOrd message |
| CHI Protocol Layer | resp flit valid | expected_tagop_value_in_comp_response_check | ARM-IHI0050E.b: 12.4 Read transaction rules | For a Comp response, the TagOp field is only used in response to a MakeReadUnique transaction and is used to indicate if responsibility for Dirty Tags is being passed to the Requester. In all other cases, it must be set to zero |
| CHI Protocol Layer | dat flit valid | expected_tagop_value_in_read_data_check | ARM-IHI0050E.b: 12.4 Read transaction rules | The TagOp field in a Read data flit must be set to a valid value for the corresponding Atomic or Read transaction type |
| CHI Protocol Layer | dat flit valid | same_tagop_value_in_all_read_data_flits_check | ARM-IHI0050E.b: 12.4 Read transaction rules | In case there are multiple Read data flits corresponding to a Read type transaction, the TagOp field must be set to the same value across all the Read data flits |
| CHI Protocol Layer | resp flit valid | associate_tagmatch_to_xact_check | ARM-IHI0050E.b: 12.11.1 Tag Match | The TgtID and TagGroupID fields in a TagMatch response must match the SrcID or ReturnNID and TagGroupID fields of the corresponding Write transaction with TagOp set to Match |
| CHI Protocol Layer | associate flit to xact | valid_parity_datacheck_for_read_data_check | ARM-IHI0050E.b: 9.6 Data Check | For transactions involving read data, datacheck is set appropriatly such that ODD Byte parity is generated. |
| CHI Protocol Layer | resp flit valid | rsp_flit_dbid_check | ARM-IHI0050E.b: Table A-8 Response message field mappings | DBID field of the observed RSP flit must be valid |
| CHI Protocol Layer | dat flit valid | readnosnp_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadNoSnp transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readnosnp_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The Exclusive Okay response must only be given for a transaction that has the Excl attribute set. |
| CHI Protocol Layer | resp flit validity | valid_compdbid_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | resp flit validity | valid_dbid_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | resp flit validity | valid_compcmo_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | resp flit validity | valid_comp_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5.1 Completion response | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | associate flit to xact | expected_rsp_flit_for_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The number of Response flits received for a transaction must match the number of responses, specified in the spec, for that transaction type. |
| CHI Protocol Layer | associate flit to xact | associate_rsp_flit_to_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The SrcID of the response flit must be match the Tgt ID of the request while the Txn ID of the response flit must be the same as that of the Request |
| CHI Protocol Layer | associate flit to xact | expected_num_read_data_flits_check | ARM-IHI0050E.b: 2.10.4 Data packetization | The number of data flits for a transaction is determined by number of bytes to be transferred and data bus width |
| CHI Protocol Layer | associate flit to xact | associate_read_dat_flit_with_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The SrcID of the Read data flit must match the Tgt ID of the request while the Txn ID of the response flit must be the same as that of the Request |
| CHI Protocol Layer | dat flit valid | valid_compdata_flit_for_xact_check | ARM-IHI0050E.b: 4.5.1 Completion response | Data flit type must be set to one of the permitted values for the Request |
| CHI Protocol Layer | dat flit valid | valid_combination_of_data_resp_err_field_in_read_xact_check | ARM-IHI0050E.b: 9.4.3 Write transactions | In a Data response to a Read request, Non-data Error response is permitted only in none or all data response packets. |
| CHI Protocol Layer | resp flit valid | writenosnpptl_cleaninvalid_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteNoSnpPtl_CleanInvalid should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpfull_cleansharedpersistsep_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteNoSnpFull_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpptl_cleansharedpersistsep_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteNoSnpPtl_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpptl_cleanshared_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteNoSnpPtl_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpfull_cleaninvalid_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteNoSnpFull_CleanInvalid should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpfull_cleanshared_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated response flits of WriteNoSnpFull_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpzero_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err field in the associated responses of WriteNoSnpZero transaction should take the legal values. Valid resp_err field values in DBIDResp is NORMAL_OKAY and in Comp/CompDBIDResp are NORMAL_OKAY, NON_DATA_ERROR and DATA_ERROR. |
| CHI Protocol Layer | resp flit valid | writenosnpptl_cleaninvalid_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteNoSnpPtl_CleanInvalid transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpptl_cleansharedpersistsep_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteNoSnpPtl_CleanSharedPersistSep transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpfull_cleansharedpersistsep_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteNoSnpFull_CleanSharedPersistSep transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpptl_cleanshared_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteNoSnpPtl_CleanShared transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpfull_cleaninvalid_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteNoSnpFull_CleanInvalid transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpfull_cleanshared_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated response flits of WriteNoSnpFull_CleanShared transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | resp flit valid | writenosnpzero_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated comp response flit of a WriteNoSnpZero transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | dat flit valid | writenosnpptl_cleaninvalid_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteNoSnpPtl_CleanInvalid should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpfull_cleansharedpersistsep_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteNoSnpFull_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpptl_cleansharedpersistsep_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteNoSnpPtl_CleanSharedPersistSep should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpptl_cleanshared_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteNoSnpPtl_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpfull_cleaninvalid_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteNoSnpFull_CleanInvalid should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpfull_cleanshared_associated_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The resp_err value in associated write data flits of WriteNoSnpFull_CleanShared should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpptl_cleaninvalid_associated_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated data flits of WriteNoSnpPtl_CleanInvalid transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpptl_cleansharedpersistsep_associated_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated data flits of WriteNoSnpPtl_CleanSharedPersistSep transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpfull_cleansharedpersistsep_associated_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated data flits of WriteNoSnpFull_CleanSharedPersistSep transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpptl_cleanshared_associated_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated data flits of WriteNoSnpPtl_CleanShared transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpfull_cleaninvalid_associated_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated data flits of WriteNoSnpFull_CleanInvalid transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | dat flit valid | writenosnpfull_cleanshared_associated_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The resp field cache state, Pass Dirty value in associated data flits of WriteNoSnpFull_CleanShared transaction should take legal values as per CHI ISSUE E Specifications. |
| CHI Protocol Layer | request validity | new_req_before_completion_of_previous_read_write_xact_to_same_cacheline_check | ARM-IHI0050E.b: 2.9.4 Transaction attribute combinations | Read and Write transactions from the same source to addresses that overlap must remain ordered. |
| CHI Protocol Layer | request validity | expected_xact_type_check | SYNOPSYS DEFINED | Only supported transaction types must be issued to a given node. |
| CHI Protocol Layer | retry xact | valid_pcrdreturn_check | ARM-IHI0050E.b: 2.3.8 Retry | PcrdReturn transaction can only be sent after the reception of a PcrdGrant flit |
| CHI Protocol Layer | retry xact | valid_retry_xact_check | ARM-IHI0050E.b: 2.3.8 Retry | The transaction with credit must only be sent by the Requester after both the RetryAck response and an appropriate PCrdGrant response are received |
| CHI Protocol Layer | retry xact | valid_retry_xact_after_pcrdcgrant_check | ARM-IHI0050E.b: 2.11 Request Retry | The transaction must only be retried by the Requester when a PCrdGrant is received with the correct PCrdType. |
| CHI Protocol Layer | retry xact | valid_p_crd_type_in_pcrdreturn_flit_check | ARM-IHI0050E.b: 2.11.2 Transaction Retry mechanism | A PCrdReturn transaction must have the credit type set to the value of the credit type that is being returned |
| CHI Protocol Layer | associate flit to xact | associate_write_dat_flit_with_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The SrcID of the Write data flit must match the Tgt ID of the request while the Txn ID of the response flit must be the same as that of the Request |
| CHI Protocol Layer | associate flit to xact | valid_byte_enable_for_write_data_check | ARM-IHI0050E.b: 2.10.3 Byte Enables | For all Write transactions, byte enables that are not within the data window, specified by Addr and Size, must be deasserted. |
| CHI Protocol Layer | associate flit to xact | expected_num_write_data_flits_check | ARM-IHI0050E.b: 2.10.4 Data packetization | The number of data flits for a transaction is determined by number of bytes to be transferred and data bus width |
| CHI Protocol Layer | associate flit to xact | write_dat_xfer_after_dbid_check | ARM-IHI0050E.b: 2.3 Transaction structure | WriteData must only be sent by the Requester after either DBIDResp or CompDBIDResp is received. |
| CHI Protocol Layer | dat flit valid | writenosnp_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteNoSnp transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | dat flit valid | valid_tag_when_tu_is_zero_in_tag_update_write_check | ARM-IHI0050E.b: 12.5 Write transactions | In Write Data with TagOp Update, a TU value of zero must set the associated TU value to zero. |
| CHI Protocol Layer | dat flit valid | valid_tag_update_value_in_write_data_check | ARM-IHI0050E.b: 12.5 Write transactions | The TU bits must be set appropriately in the Write data responses seen for Write transactions based on the TagOp field in the data as well as the corresponding request type |
| CHI Protocol Layer | dat flit valid | expected_tagop_value_in_write_data_check | ARM-IHI0050E.b: 12.5 Write transactions | The TagOp field in a Write data flit must be set appropriately based on the corresponding Atomic or Write request type and the TagOp in the request |
| CHI Protocol Layer | dat flit valid | same_tagop_value_in_all_write_data_flits_check | ARM-IHI0050E.b: 12.5 Write transactions | In case there are multiple Write data flits corresponding to a Write type transaction, the TagOp field must be set to the same value across all the Write data flits |
| CHI Protocol Layer | associate flit to xact | valid_parity_datacheck_for_write_data_check | ARM-IHI0050E.b: 9.6 Data Check | For transactions involving write data, datacheck is set appropriatly such that ODD Byte parity is generated. |
| CHI Protocol Layer | dat flit valid | valid_write_data_when_be_is_zero_check | ARM-IHI0050E.b: 2.10.3 Byte Enables | In Write Data, a byte enable value of zero must set the associated data byte value to zero. |
| CHI Protocol Layer | dat flit valid | valid_writedatacancel_flit_for_xact_check | ARM-IHI0050E.b: 4.5.2 WriteData response | Data flit type must be set to one of the permitted values for the Request |
| CHI Protocol Layer | dat flit valid | valid_noncbwrdata_flit_for_xact_check | ARM-IHI0050E.b: 4.5.2 WriteData response | Data flit type must be set to one of the permitted values for the Request |
| CHI Protocol Layer | request validity | single_outstanding_req_per_txn_id_check | ARM-IHI0050E.b: 2.5.2 Transaction ID | The TxnID must be unique for a given Requester. The Requester can reuse the ID only after it has received all responses associated with a previous transaction that has used the same TxnID |
| CHI Protocol Layer | dat flit field | dat_flit_dbid_check | ARM-IHI0050E.b: Table A-9 Data message field mappings | DBID field of the observed DAT flit must be valid |
| CHI Protocol Layer | dat flit field | tx_dat_flit_data_id_check | ARM-IHI0050E.b: 13.10.50 Data Identifier, DataID | data_id of the observed Tx DAT flit must be valid |
| CHI Protocol Layer | dat flit valid | valid_data_source_in_snprespdata_check | ARM-IHI0050E.b: 11.1 Data Source indication | The DataSource field in the snprespdata flits corresponding to a snoop transaction must take legal values. |
| CHI Protocol Layer | dat flit field | rx_dat_flit_data_id_check | ARM-IHI0050E.b: 13.10.50 Data Identifier, DataID | data_id of the observed Rx DAT flit must be valid |
| CHI Protocol Layer | SYSCO Interface Validity | sysco_interface_snoop_traffic_validity_check | ARM-IHI0050E.b: 15.2 Handshake | An RN is not expected to receive any snoops when it is in COHERENCY_DISABLED state. |
| CHI Protocol Layer | SYSCO Interface Validity | sysco_interface_coherency_enabled_state_traffic_validity_check | ARM-IHI0050E.b: 15.2 Handshake | A transaction that permits it to cache a coherent location should be issued only in the coherency_enabled state. |
| CHI Protocol Layer | SYSCO Interface Validity | sysco_interface_coherency_disconnect_state_traffic_validity_check | ARM-IHI0050E.b: 15.2 Handshake | All coherent transactions that can be cached must be completed before entering COHERENCY_DISCONNECT_STATE. |
| CHI Protocol Layer | SYSCO Interface Validity | sysco_interface_coherency_disabled_state_traffic_validity_check | ARM-IHI0050E.b: 15.2 Handshake | During COHERENCY_DISABLED_STATE there should not be any outstanding snoop transactions. |
| CHI Protocol Layer | trace tag valid | trace_tag_validity_check | ARM-IHI0050E.b: 11.5 Trace Tag | Monitor Check that the spawned response or data packet has valid trace_tag value |
| CHI Protocol Layer | dvm outstanding transactions | num_non_dvm_snoop_exceeded_configured_value_check | SYNOPSYS DEFINED | The number of outstanding non-dvm snoop should not exceed the configured value. |
| CHI Protocol Layer | dvm outstanding transactions | num_dvm_snoop_exceeded_configured_value_check | SYNOPSYS DEFINED | The number of outstanding dvm snoop should not exceed the configured value. |
| CHI Protocol Layer | retry xact | end_of_simulation_outstanding_protocol_credit_check | SYNOPSYS DEFINED | There shouldn't be any outstanding protocol credits at the end of simulation. Protocol credits must be utilized by retrying the original transaction or by PCRDRETURN |
| CHI Protocol Layer | resp and dat flit valid | writenosnp_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated data packet's resp_err field should not take EXOK or NDERR value for WriteNoSnp transaction. The resp_err field in the associated response should not take EXOKAY for a non-Exclusive WriteNoSnp transaction |
| CHI System | Custom Combined Write CMO Check | rn_combined_writecmo_xact_propagated_to_slave_custom_check | SYNOPSYS DEFINED | Monitor Custom Check that RN Combined Write and PCMO type transaction propagation to slave by HN should be valid as per the configuration attribute svt_chi_hn_configuration::combined_write_and_cmo_propagation_to_slave_policy |
| CHI System | coherent rsp | coherent_resp_start_conditions_check | ARM-IHI0050E.b: 4.3 Snoop request types | Monitor Check that the response to a coherent transaction is not started before appropriate RN-Fs are snooped |
| CHI System | Exclusive Access | exclusive_chi_transaction_type_check | ARM-IHI0050E.b: 6.3 Exclusive transactions | Monitor check that observed exclusive transaction is one of the allowed coherent/non-coherent exclusive load/store transaction types. |
| CHI System | Exclusive Access | exclusive_store_resp_check | ARM-IHI0050E.b: 6.2 Exclusive monitors | Monitor check that the resposne for exclusive store transaction matches the expected response for the given lpid and address. |
| CHI System | Exclusive Access | exclusive_load_resp_check | ARM-IHI0050E.b: 6.2 Exclusive monitors | Monitor check that the resposne for exclusive load transaction matches the expected response for the given lpid and address. |
| CHI System | cmos | forward_cmos_to_slave_check | ARM-IHI0050E.b: 4.2.2 Dataless transactions | Monitor Check that the HN propagates the CMOs beyond the HN |
| CHI System | Memory Tagging check | slave_tag_integrity_check | ARM-IHI0050E.b: 12 Memory Tagging | Monitor Check that the slave transaction tag matches with the Tags in the slave memory |
| CHI System | poison integrity | slave_poison_integrity_check | ARM-IHI0050E.b: 9.5 Poison | Monitor Check that the slave transaction poison matches with content of slave memory |
| CHI System | data integrity | slave_data_integrity_check | SYNOPSYS DEFINED | Monitor Check that the data observed in the subordinate VIP agent transaction from Home NodeHN to Subordinate matches with the expected data present in the subordinate VIP agent memory, when the subordinate VIP agent transaction ends successfully. |
| CHI System | dvm | interconnect_dvm_snoop_timing_check | ARM-IHI0050E.b: 8.1 DVM transaction flow | Monitor Check that the interconnect sends DVM Snoops only after DBIDResp is issued to the initiating RN and NCBWrData is received for the corresponding DVM request. |
| CHI System | dvm | valid_dvm_response_from_interconnect_check | ARM-IHI0050E.b: 8.1 DVM transaction flow | Monitor Check that the Comp response for a DVMOp requestnon-sync,sync indicates an Error resposne if any of the associated snoops has Error response. |
| CHI System | dvm | interconnect_dvm_response_timing_check | ARM-IHI0050E.b: 8.1 DVM transaction flow | Monitor Check that the interconnect waits for the responses for all corresponding SnpDVMOpnon-sync,sync requests before responding to original DVMOpnon-sync,sync transaction. |
| CHI System | dvm | interconnect_dvm_sync_snoop_transaction_association_check | ARM-IHI0050E.b: 8.1 DVM transaction flow | Monitor Check that interconnect broadcasts SnpDVMOpsync transactions to all other RNs that are DVM snoopable when it receives a DVMOpsync request transaction from an RN. |
| CHI System | dvm | interconnect_dvm_operation_snoop_transaction_association_check | ARM-IHI0050E.b: 8.1 DVM transaction flow | Monitor Check that interconnect broadcasts SnpDVMOpnon-sync transactions to all other RNs that are DVM snoopable when it receives a DVMOpnon-sync request transaction from an RN. |
| CHI System | Domain and snoop | coherent_snoop_domain_match_check | ARM-IHI0050E.b: 2.9.6 Snoop Attribute | Monitor Check that the port on which snoop transaction is received corresponds to the domain indicated in coherent transaction of initiating master |
| CHI System | hazard | coherent_copyback_atomic_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and a coherent atomic request are correctly ordered by HN |
| CHI System | hazard | coherent_atomic_copyback_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent atomic request and a copyback request are correctly ordered by HN |
| CHI System | hazard | coherent_copyback_write_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and a coherent write request are correctly ordered by HN |
| CHI System | hazard | coherent_write_copyback_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a copyback request are correctly ordered by HN |
| CHI System | hazard | coherent_copyback_read_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and a coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_read_copyback_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a copyback request are correctly ordered by HN |
| CHI System | hazard | coherent_copyback_atomic_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and a coherent atomic request are correctly ordered by HN |
| CHI System | hazard | coherent_atomic_copyback_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent atomic request and a copyback request are correctly ordered by HN |
| CHI System | hazard | coherent_copyback_write_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and a coherent write request are correctly ordered by HN |
| CHI System | hazard | coherent_write_copyback_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a copyback request are correctly ordered by HN |
| CHI System | hazard | coherent_copyback_read_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and a coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_read_copyback_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a copyback request are correctly ordered by HN |
| CHI System | Memory Tagging check | tag_not_dirty_at_any_rn_when_snpmakeinvalid_issued_check | ARM-IHI0050E.b: 12 Memory Tagging | Monitor Check that the interconnect issues SnpMakeInvalid for a WriteUnique, MakeUnique or MakeInvalid transaction only when it can be sure that the Snoopee does not hold dirty tags or when the corresponding coherent transaction is a MakeUnique or WriteUniqueFull with TagOp set to UPDATE. |
| CHI System | coherent and snoop | valid_snp_xact_type_for_makereadunique_check | ARM-IHI0050E.b:4.4 Request transactions and corresponding Snoop requests | Monitor Check that the Snoop transaction is one of the valid snoop types for MakeReadUnique transaction. |
| CHI System | Memory Tagging check | coherent_and_snoop_tag_match_check | ARM-IHI0050E.b: 12 Memory Tagging | Monitor Check that Tags returned to initiating RN matches with the full cacheline tags received from associated snoop transaction |
| CHI System | Memory Tagging check | snoop_tag_integrity_check | ARM-IHI0050E.b: 12 Memory Tagging | Monitor Check that the Tags transferred in snoop response data matches with system monitor HN-F L3 view when the TagOp in the SnpRspData is set to Transfer and final state resp[1:0] is set to UC/SC/I. |
| CHI System | coherent rsp | cache_state_of_stash_resp_check | ARM-IHI0050E.b: 7 Cache Stashing | Monitor Check that no peer RN has cached the line when the cache state is UC/UD in the DataPull read response of Stash snoop |
| CHI System | coherent and snoop | stash_data_pull_integrity_check | ARM-IHI0050E.b: 7 Cache Stashing | Monitor Check that the Data Pull Read data returned for Stash type Snoops is as expected |
| CHI System | coherent and snoop | associated_snoop_trace_tag_validity_check | ARM-IHI0050E.b: 11.5 Trace Tag | Monitor Check that the associated snoop transaction has valid trace_tag value |
| CHI System | coherent and snoop | only_one_snoop_with_rettosrc_check | ARM-IHI0050E.b: 4.9 Returning Data with Snoop response | Monitor Check that only one snoop transaction, corresponding to a given coherent transaction, has RetToSrc asserted |
| CHI System | coherent and snoop | only_one_forward_snoop_per_coherent_transaction_check | ARM-IHI0050E.b: 4.3 Snoop request types | Monitor Check that only one snoop transaction, corresponding to a given coherent transaction, is a forwarding type Snoop |
| CHI System | coherent rsp | cache_state_of_xact_resp_check | ARM-IHI0050E.b: 4.7 Cache state transitions at a Requester | Monitor Check that no peer RN has cached the line when the Cache state is UC/UD in the Comp/CompData response of coherent transactions |
| CHI System | coherent and snoop | coherent_snoop_type_match_check | ARM-IHI0050E.b: Table 4-24 Expected snoop requests per Request from an RN | Monitor Check that the snoop transaction type corresponds to the coherent transaction type of initiating master |
| CHI System | coherent and snoop | snoop_not_sent_to_initiating_master_check | ARM-IHI0050E.b: 4.4 Request transactions and corresponding Snoop requests | Monitor Check that a snoop is not sent to the initiating master |
| CHI System | coherent and snoop | overlapping_addr_sequencing_check | ARM-IHI0050E.b: 4.11.2 At the ICNHN-F node | Monitor Check that if two masters initiate requests to access the same cache line simultaneously, one master is sequenced after the other |
| CHI System | coherent and snoop | snoop_addr_matches_coherent_addr_check | ARM-IHI0050E.b: 4.3 Snoop request types | Monitor Check that the address of a snoop transaction must match one of the outstanding coherent transactions |
| CHI System | snoop rsp | only_one_snoop_returns_data_check | ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee | Monitor Check that only one snoop transaction returns data |
| CHI System | snoop rsp | snoop_resp_passdirty_check | ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee | Monitor Check that no two associated snooped RNs responded to snoop transactions with PassDirtyresp[2] in the snoop responses asserted. |
| CHI System | snoop rsp | snoop_resp_wasunique_check | ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee | Monitor Check that no two associated snooped RNs responded to snoop transactions with cache line state as Unique. |
| CHI System | coherent and snoop | coherent_xact_with_no_snoop_check | ARM-IHI0050E.b: 4.4 Request transactions and corresponding Snoop requests | Monitor Check that non-coherent requests READNOSNOOP,WRITENOSNOOP -- Except in case of invisibile cache mode at HN-F L3 , copyback requests WRITEBACK,WRITECLEAN,WRITEEVICTFULL and EVICT do not cause a snoop of cached RNs. |
| CHI System | coherent and snoop | coherent_and_snoop_data_match_check | ARM-IHI0050E.b: 4.3 Snoop request types | Monitor Check that data returned to initiating RN matches with the full cacheline data received from associated snoop transaction |
| CHI System | data integrity | snoop_data_integrity_check | ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee | Monitor Check that snoop response data from snooped RN matches with system monitor HN-F L3 view when the final state resp[1:0] in the SnpRspData flits is set to UC/SC/I. |
| CHI System | data integrity | copyback_data_integrity_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | Monitor Check that CopyBack write data from RN matches with system monitor HN-F L3 view when the current state resp[1:0] in the CopyBack write DAT flits is set to UC/SC. |
| CHI System | Streaming order | single_rn_optimized_streaming_order_check | ARM-IHI0050E.b: 2.8.5 | Monitor Check that not more than one RN is configured to use the optimized streaming ordered WriteUnique/writeNoSnp flow, in the system. |
| CHI System | MPAM | matching_mpam_values_for_original_request_and_associated_stash_snoop_check | ARM-IHI0050E.b: 11.3 MPAM | Monitor Check that all the MPAM attributes of RN transaction are propagated to associated Stash snoop transactions |
| CHI System | MPAM | matching_mpam_values_for_original_request_and_associated_slave_xact_check | ARM-IHI0050E.b: 11.3 MPAM | Monitor Check that all the MPAM attributes of RN transaction are propagated to associated subordinate transactions |
| CHI System | Mismatched Memory attributes | same_memory_snoop_attributes_for_addr_check | ARM-IHI0050E.b: 2.9.7 Mismatched Memory attributes | Monitor Check that All outstanding transactions targetting the same address must have the same MemAttr bits Device, Cacheable and SnpAttr bit. All the agents should maintain a consistent view of the attributes of any region of memory addresses |
| CHI System | hazard | coherent_atomic_atomic_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent atomic request and another coherent atomic request are correctly ordered by HN |
| CHI System | hazard | coherent_atomic_read_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a coherent atomic request are correctly ordered by HN |
| CHI System | hazard | coherent_read_atomic_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a coherent atomic request are correctly ordered by HN |
| CHI System | hazard | coherent_atomic_write_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a coherent atomic request are correctly ordered by HN |
| CHI System | hazard | coherent_write_atomic_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a coherent atomic request are correctly ordered by HN |
| CHI System | hazard | coherent_atomic_atomic_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent atomic request and another coherent atomic request are correctly ordered by HN |
| CHI System | hazard | coherent_atomic_read_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent atomic request and a coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_read_atomic_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a coherent atomic request are correctly ordered by HN |
| CHI System | hazard | coherent_atomic_write_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent atomic request and a coherent write request are correctly ordered by HN |
| CHI System | hazard | coherent_write_atomic_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a coherent atomic request are correctly ordered by HN |
| CHI System | hazard | coherent_copyback_copyback_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and another copyback request are correctly ordered by HN |
| CHI System | hazard | coherent_read_read_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and another coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_write_write_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and another coherent write request are correctly ordered by HN |
| CHI System | hazard | coherent_write_read_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_read_write_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a coherent write request are correctly ordered by HN |
| CHI System | Memory Tagging check | expected_tag_match_result_check | ARM-IHI0050E.b: 12 Memory Tagging | Monitor Check that the result indicated in the Tag Match response for a Write or Atomic transaction matches the result expected by the System monitor |
| CHI System | hazard | coherent_read_read_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and another coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_req_compack_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor check that - for a given cacheline, hazard condition between a Coherent request and CompAck is handled correctly by the HN |
| CHI System | hazard | coherent_write_write_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and another coherent write request are correctly ordered by HN |
| CHI System | hazard | coherent_write_read_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_read_write_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a coherent write request are correctly ordered by HN |
| CHI System | DWT | no_snoop_resp_dirty_with_dwt_check | ARM-IHI0050E.b: 13.10.26 Do Direct Write Transfer, DoDWT | Monitor Check that - For a partial cacheline coherent transaction from RN, HN doesn't issue DWT request to Slave if any of the associated snoop transactions return dirty data |
| CHI System | DWT | comp_after_snoop_xacts_completion_with_dwt_check | ARM-IHI0050E.b: 13.10.26 Do Direct Write Transfer, DoDWT | Monitor Check that the HN issued Comp response to the requester after receiving all snoop responses for any snoops that were sent |
| CHI System | Custom Combined Write CMO Check | valid_combined_writecmo_slave_xact_custom_check | SYNOPSYS DEFINED | Monitor Custom Check that generation of Combined Write and PCMO type transaction to slave should always be associated with a Combined Write and PCMO type RN transaction |
| CHI System | Memory Tagging check | write_tag_integrity_check | ARM-IHI0050E.b: 12 Memory Tagging | Monitor Check that Tags transferred in clean state by an RN for a Write transaction matches with system monitor HNHN-F L3/HN-I memory view |
| CHI System | Memory Tagging check | atomic_returned_initial_tag_integrity_check | ARM-IHI0050E.b: 12 Memory Tagging | Monitor Check that Tags returned in clean state by an HN for an AtomicLoad/Swap/Compare transaction matches with system monitor HNHN-F L3/HN-I memory view |
| CHI System | Memory Tagging check | read_tag_integrity_check | ARM-IHI0050E.b: 12.4 Read transaction rules | Monitor Check that Tags returned in clean state by an HN for a Read transaction matches with system monitor HNHN-F L3/HN-I memory view when: the snooped RNs return tags in clean state OR none of the snooped RNs return any tags OR there are no snoops |
| CHI System | DMT | dmt_after_snoop_xacts_completion_check | ARM-IHI0050E.b: 2.3.1 Read transactions | Monitor Check that - For a given RN transaction, HN issues DMT request to Slave only after the completion of all the associated snoop transactions |
| CHI System | DMT | valid_xacts_for_optimized_dmt_check | ARM-IHI0050E.b: 2.3.1 Read transactions | Monitor Check that - HN issues optimized DMT request to Slave only for RN transactions of the type ReadNoSnp and ReadOnce with ExpCompAck asserted OR order set to NO_ORDERING_REQUIRED |
| CHI System | DMT | no_snoop_resp_dirty_with_dmt_check | ARM-IHI0050E.b: 2.3.1 Read transactions | Monitor Check that - For a given RN transaction, HN doesn't issue DMT request to Slave if any of the associated snoop transactions return full cacheline dirty data |
| CHI System | ATOMICOPS | comp_or_compdata_response_after_snoop_xacts_completion_for_atomic_transaction_check | ARM-IHI0050E.b: 4.2 Request types | Monitor Check that - The Completer must wait for all snoop responses before sending the Comp or CompData response. |
| CHI System | data integrity | atomic_returned_initial_data_integrity_check | ARM-IHI0050E.b: 2.3.3 Atomic transactions | Monitor Check that the returned initial data is consistent with the system monitor when read data completes at RN for Atomic LOAD/SWAP/COMPARE. |
| CHI System | Transaction ordering | ordering_of_xacts_when_dbidrespord_received_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | Monitor Checks that the associated slave transactions of a request ordered or unordered RN transaction should be started only after all the associated slave transactions of a prior unordered or request ordered RN xact that had received a DBIDRESPORD |
| CHI System | Transaction ordering | slave_xacts_ordering_for_ordered_rn_xact_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | Monitor Check that the associated slave xacts of ordered RN transaction should be started after all the associated slave xacts of earlier issued ordered RN xact |
| CHI System | Propagation of Attr | memory_attributes_propagation_check | ARM-IHI0050E.b: 2.9.3 Memory Attributes | Monitor Check that all the memory attributes of RN transaction are propagated to slaves |
| CHI System | coherent rsp | coherent_resp_passdirty_check | ARM-IHI0050E.b: 13.10.44 Response status, Resp | Monitor Check that the PassDirty response to initiating RN is correct |
| CHI System | coherent rsp | coherent_resp_isshared_check | ARM-IHI0050E.b: 13.10.44 Response status, Resp | Monitor Check that the final state in the coherent response to the initiating RN is set to Shared as expected |
| CHI System | data integrity | read_data_integrity_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | Monitor Check that observed/received read data at RN matches with expected data from system monitor when: the snooped RNs return the data in clean state OR none of the snooped RNs return any data OR there are no snoops. System monitor establishes expected data based on observed RN requests with write data & RN snoop transactions with data, but does not depend on any subordinate transactions. |
| CHI System | ABF | multiple_abf_requests_targeted_to_same_addr_and_to_same_target | SYNOPSYS DEFINED | Monitor Checks that there are no more than one address based flush requests to same address and to same target. |
| CHI System | routing | slave_transaction_routing_check | SYNOPSYS DEFINED | Monitor Check that transaction is routed to the correct slave based on the address of the transaction request |