VIP Smartsearch

X
  • VIP Smartsearch is a framework that supports search within VIP reference documents using query in natural language. It facilitates reordering of search results and keeps record of user’s decision for the ordering of result display and applies that in search of same query on subsequent usage.
  • How to download VIP smartsearch?

    1. Get VIP Smartsearch (Available as a seperate run file).
    2. Set environment variable
      DESIGNWARE_HOME
      to required designware home location where VIP Smartsearch should be downloaded.
    3. Run
      vip_smartsearch_<version>.run
      file.
      VIP Smartsearch will be downloaded to the location
      $DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
  • How to install VIP Smartsearch?

    Please refer to the file
    VIP_Smartsearch_installation_and_usage_guide.pdf
    in
    $DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
    for installation steps.
  • Customer Support

    For more details about VIP smartsearch tool, contact support_center@synopsys.com.
    Mention your queries along with below details and send email to above email id.
    Product: Verification IP
    Sub Product: <vip_title>
    Tool: VIP Smartsearch

AMBA CHI-E SVT UVM Documentation - Protocol Checks Defined in VIP

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

Product: amba_svt - Protocol Checks Details:

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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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. svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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. svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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. svt_chi_link_err_check
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 svt_chi_link_err_check
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. svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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. svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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. svt_chi_link_err_check
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 svt_chi_link_err_check
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. svt_chi_link_err_check
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. svt_chi_link_err_check
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. svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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 svt_chi_link_err_check
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. svt_chi_link_err_check
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. svt_chi_link_err_check
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. svt_chi_link_err_check
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. svt_chi_link_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
CHI Protocol Layer Transaction timeout check transaction_inactivity_timeout_check SYNOPSYS DEFINED Check that a transaction ends within the programmed number of clock cycles. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 . svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
CHI Protocol Layer resp flit validity valid_pcrdgrant_check ARM-IHI0050E.b: 2.11 Request Retry PcrdGrant is not seen without any outstanding transaction svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
CHI Protocol Layer request validity expected_xact_type_check SYNOPSYS DEFINED Only supported transaction types must be issued to a given node. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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. svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_protocol_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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 svt_chi_system_err_check
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. svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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 svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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 svt_chi_system_err_check
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. svt_chi_system_err_check
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. svt_chi_system_err_check
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 svt_chi_system_err_check