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
13 August 2024, Copyright © 2024 Synopsys, Inc.

AMBA CHI-D SVT UVM Documentation - Protocol Checks Coverage Defined in VIP

Summary of Protocol Checks defined in AMBA CHI-D SVT UVM Documentation:

Product Base Group
amba_svt CHI Link Layer
CHI Protocol Layer
CHI System

Product: amba_svt - Protocol Checks Details:

Group Sub Group Protocol Check Instance name Covergroup Class name Reference ▲▼
CHI Link Layer signal validity valid_rxdatflit_signal_check svt_chi_link_err_check_stats_cov_valid_rxdatflit_signal_check ARM-IHI0050E.b:13.8.4 Data,DAT ,channel
CHI Link Layer signal validity valid_txdatflit_signal_check svt_chi_link_err_check_stats_cov_valid_txdatflit_signal_check ARM-IHI0050E.b:13.8.4 Data,DAT ,channel
CHI Link Layer signal validity valid_reqflit_signal_check svt_chi_link_err_check_stats_cov_valid_reqflit_signal_check ARM-IHI0050E.b:13.8.1 Request,REQ ,channel
CHI Link Layer During reset signal_valid_txdatlcrdv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_txdatlcrdv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer During reset signal_valid_rxdatflitv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_rxdatflitv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer During reset signal_valid_txrsplcrdv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_txrsplcrdv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer signal validity signal_valid_rxreqlcrdv_check svt_chi_link_err_check_stats_cov_signal_valid_rxreqlcrdv_check ARM-IHI0050E.b:13.8.1 Request,REQ ,channel
CHI Link Layer During reset signal_valid_rxreqlcrdv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_rxreqlcrdv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer signal validity signal_valid_rxsnpflitv_check svt_chi_link_err_check_stats_cov_signal_valid_rxsnpflitv_check ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel
CHI Link Layer signal validity signal_valid_rxsnpflitpend_check svt_chi_link_err_check_stats_cov_signal_valid_rxsnpflitpend_check ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel
CHI Link Layer signal validity signal_valid_rxrspflitv_check svt_chi_link_err_check_stats_cov_signal_valid_rxrspflitv_check ARM-IHI0050E.b:13.8.2 Response,RSP ,channel
CHI Link Layer signal validity signal_valid_rxrspflitpend_check svt_chi_link_err_check_stats_cov_signal_valid_rxrspflitpend_check ARM-IHI0050E.b:13.8.2 Response,RSP ,channel
CHI Link Layer signal validity signal_valid_txreqlcrdv_check svt_chi_link_err_check_stats_cov_signal_valid_txreqlcrdv_check ARM-IHI0050E.b:13.8.1 Request,REQ ,channel
CHI Link Layer signal validity valid_rxrspflit_signal_check svt_chi_link_err_check_stats_cov_valid_rxrspflit_signal_check ARM-IHI0050E.b:13.8.2 Response,RSP ,channel
CHI Link Layer During reset signal_valid_rxrspflitv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_rxrspflitv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer During reset signal_valid_txreqlcrdv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_txreqlcrdv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer signal validity signal_valid_rxreqflitv_check svt_chi_link_err_check_stats_cov_signal_valid_rxreqflitv_check ARM-IHI0050E.b:13.8.1 Request,REQ ,channel
CHI Link Layer signal validity signal_valid_rxreqflitpend_check svt_chi_link_err_check_stats_cov_signal_valid_rxreqflitpend_check ARM-IHI0050E.b:13.8.1 Request,REQ ,channel
CHI Link Layer During reset signal_valid_rxreqflitv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_rxreqflitv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer signal validity signal_valid_rxrsplcrdv_check svt_chi_link_err_check_stats_cov_signal_valid_rxrsplcrdv_check ARM-IHI0050E.b:13.8.2 Response,RSP ,channel
CHI Link Layer signal validity signal_valid_txreqflitv_check svt_chi_link_err_check_stats_cov_signal_valid_txreqflitv_check ARM-IHI0050E.b:13.8.1 Request,REQ ,channel
CHI Link Layer signal validity signal_valid_rxsnplcrdv_check svt_chi_link_err_check_stats_cov_signal_valid_rxsnplcrdv_check ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel
CHI Link Layer signal validity signal_valid_txreqflitpend_check svt_chi_link_err_check_stats_cov_signal_valid_txreqflitpend_check ARM-IHI0050E.b:13.8.1 Request,REQ ,channel
CHI Link Layer During reset signal_valid_rxrsplcrdv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_rxrsplcrdv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer During reset signal_valid_txreqflitv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_txreqflitv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer During reset signal_valid_rxlinkactivereq_during_reset svt_chi_link_err_check_stats_cov_signal_valid_rxlinkactivereq_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer During reset signal_valid_txlinkactiveack_during_reset svt_chi_link_err_check_stats_cov_signal_valid_txlinkactiveack_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer signal validity signal_valid_rxlinkactivereq_check svt_chi_link_err_check_stats_cov_signal_valid_rxlinkactivereq_check ARM-IHI0050E.b:14: Link Handshake
CHI Link Layer signal validity signal_valid_rxdatflitv_check svt_chi_link_err_check_stats_cov_signal_valid_rxdatflitv_check ARM-IHI0050E.b:13.8.4 Data,DAT ,channel
CHI Link Layer signal validity signal_valid_rxdatflitpend_check svt_chi_link_err_check_stats_cov_signal_valid_rxdatflitpend_check ARM-IHI0050E.b:13.8.4 Data,DAT ,channel
CHI Link Layer signal validity signal_valid_txrsplcrdv_check svt_chi_link_err_check_stats_cov_signal_valid_txrsplcrdv_check ARM-IHI0050E.b:13.8.2 Response,RSP ,channel
CHI Link Layer signal validity signal_valid_txdatlcrdv_check svt_chi_link_err_check_stats_cov_signal_valid_txdatlcrdv_check ARM-IHI0050E.b:13.8.4 Data,DAT ,channel
CHI Link Layer signal validity signal_valid_rxsactive_check svt_chi_link_err_check_stats_cov_signal_valid_rxsactive_check ARM-IHI0050E.b:14: Link Handshake
CHI Link Layer signal validity signal_valid_txlinkactiveack_check svt_chi_link_err_check_stats_cov_signal_valid_txlinkactiveack_check ARM-IHI0050E.b:14: Link Handshake
CHI Link Layer signal validity valid_txrspflit_signal_check svt_chi_link_err_check_stats_cov_valid_txrspflit_signal_check ARM-IHI0050E.b:13.8.2 Response,RSP ,channel
CHI Link Layer During reset signal_valid_rxdatlcrdv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_rxdatlcrdv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer During reset signal_valid_txdatflitv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_txdatflitv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer During reset signal_valid_txrspflitv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_txrspflitv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer During reset signal_valid_rxlinkactiveack_during_reset svt_chi_link_err_check_stats_cov_signal_valid_rxlinkactiveack_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer During reset signal_valid_txlinkactivereq_during_reset svt_chi_link_err_check_stats_cov_signal_valid_txlinkactivereq_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer signal validity signal_valid_rxdatlcrdv_check svt_chi_link_err_check_stats_cov_signal_valid_rxdatlcrdv_check ARM-IHI0050E.b:13.8.4 Data,DAT ,channel
CHI Link Layer signal validity signal_valid_txrspflitv_check svt_chi_link_err_check_stats_cov_signal_valid_txrspflitv_check ARM-IHI0050E.b:13.8.2 Response,RSP ,channel
CHI Link Layer signal validity signal_valid_txrspflitpend_check svt_chi_link_err_check_stats_cov_signal_valid_txrspflitpend_check ARM-IHI0050E.b:13.8.2 Response,RSP ,channel
CHI Link Layer signal validity signal_valid_txdatflitv_check svt_chi_link_err_check_stats_cov_signal_valid_txdatflitv_check ARM-IHI0050E.b:13.8.4 Data,DAT ,channel
CHI Link Layer signal validity signal_valid_txdatflitpend_check svt_chi_link_err_check_stats_cov_signal_valid_txdatflitpend_check ARM-IHI0050E.b:13.8.4 Data,DAT ,channel
CHI Link Layer signal validity signal_valid_rxlinkactiveack_check svt_chi_link_err_check_stats_cov_signal_valid_rxlinkactiveack_check ARM-IHI0050E.b:14: Link Handshake
CHI Link Layer signal validity signal_valid_txsactive_check svt_chi_link_err_check_stats_cov_signal_valid_txsactive_check ARM-IHI0050E.b:14: Link Handshake
CHI Link Layer signal validity signal_valid_txlinkactivereq_check svt_chi_link_err_check_stats_cov_signal_valid_txlinkactivereq_check ARM-IHI0050E.b:14: Link Handshake
CHI Link Layer l-credit valid_lcredit_range_check svt_chi_link_err_check_stats_cov_valid_lcredit_range_check ARM-IHI0050E.b:14.2 Link layer Credit
CHI Link Layer link deactivation tx_link_deactive_request_timeout_check svt_chi_link_err_check_stats_cov_tx_link_deactive_request_timeout_check ARM-IHI0050E.b:14.6.1 Introduction
CHI Link Layer link activation tx_link_active_request_timeout_check svt_chi_link_err_check_stats_cov_tx_link_active_request_timeout_check ARM-IHI0050E.b:14.6.1 Introduction
CHI Link Layer link activation tx_link_not_active_during_flit_transfer svt_chi_link_err_check_stats_cov_tx_link_not_active_during_flit_transfer ARM-IHI0050E.b:14.5.1 Request and Acknowledge handshake
CHI Link Layer link deactivation rx_link_deactive_request_timeout_check svt_chi_link_err_check_stats_cov_rx_link_deactive_request_timeout_check ARM-IHI0050E.b:14.6.1 Introduction
CHI Link Layer link activation rx_link_active_request_timeout_check svt_chi_link_err_check_stats_cov_rx_link_active_request_timeout_check ARM-IHI0050E.b:14.6.1 Introduction
CHI Link Layer link activation rx_link_not_active_during_flit_reception svt_chi_link_err_check_stats_cov_rx_link_not_active_during_flit_reception ARM-IHI0050E.b:14.5.1 Request and Acknowledge handshake
CHI Link Layer dat flit valid invalid_data_flit_check svt_chi_link_err_check_stats_cov_invalid_data_flit_check ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode
CHI Link Layer dat flit valid data_flit_lcrdreturn_check svt_chi_link_err_check_stats_cov_data_flit_lcrdreturn_check ARM-IHI0050E.b:A.3 Data message field mappings
CHI Link Layer rsp flit valid rsp_flit_lcrdreturn_check svt_chi_link_err_check_stats_cov_rsp_flit_lcrdreturn_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer req flit valid req_flit_lcrdreturn_check svt_chi_link_err_check_stats_cov_req_flit_lcrdreturn_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer rsp flit valid invalid_rsp_flit_check svt_chi_link_err_check_stats_cov_invalid_rsp_flit_check ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode
CHI Link Layer dat flit valid data_flit_datasepresp_check svt_chi_link_err_check_stats_cov_data_flit_datasepresp_check ARM-IHI0050E.b:A.3 Data message field mappings
CHI Link Layer dat flit valid data_flit_compdata_check svt_chi_link_err_check_stats_cov_data_flit_compdata_check ARM-IHI0050E.b:A.3 Data message field mappings
CHI Link Layer rsp flit valid rsp_flit_pcrdgrant_check svt_chi_link_err_check_stats_cov_rsp_flit_pcrdgrant_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer rsp flit valid rsp_flit_dbidresp_check svt_chi_link_err_check_stats_cov_rsp_flit_dbidresp_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer rsp flit valid rsp_flit_compdbidresp_check svt_chi_link_err_check_stats_cov_rsp_flit_compdbidresp_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer rsp flit valid rsp_flit_persist_check svt_chi_link_err_check_stats_cov_rsp_flit_persist_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer rsp flit valid rsp_flit_comppersist_check svt_chi_link_err_check_stats_cov_rsp_flit_comppersist_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer rsp flit valid rsp_flit_comp_check svt_chi_link_err_check_stats_cov_rsp_flit_comp_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer rsp flit valid rsp_flit_retryack_check svt_chi_link_err_check_stats_cov_rsp_flit_retryack_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer dat flit valid data_flit_ncbwrdatacompack_check svt_chi_link_err_check_stats_cov_data_flit_ncbwrdatacompack_check ARM-IHI0050E.b:A.3 Data message field mappings
CHI Link Layer req flit valid req_flit_readnosnpsep_check svt_chi_link_err_check_stats_cov_req_flit_readnosnpsep_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer rsp flit valid rsp_flit_respsepdata_check svt_chi_link_err_check_stats_cov_rsp_flit_respsepdata_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer req flit valid valid_xact_attributes_combination_check svt_chi_link_err_check_stats_cov_valid_xact_attributes_combination_check ARM-IHI0050E.b:2.9.4 Transaction attribute combinations
CHI Link Layer req flit valid invalid_req_flit_check svt_chi_link_err_check_stats_cov_invalid_req_flit_check ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode
CHI Link Layer dat flit valid data_flit_writedatacancel_check svt_chi_link_err_check_stats_cov_data_flit_writedatacancel_check ARM-IHI0050E.b:A.3 Data message field mappings
CHI Link Layer dat flit valid data_flit_noncopybackwrdata_check svt_chi_link_err_check_stats_cov_data_flit_noncopybackwrdata_check ARM-IHI0050E.b:A.3 Data message field mappings
CHI Link Layer req flit valid req_flit_readnosnp_check svt_chi_link_err_check_stats_cov_req_flit_readnosnp_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_cleansharedpersistsep_check svt_chi_link_err_check_stats_cov_req_flit_cleansharedpersistsep_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writenosnpfull_check svt_chi_link_err_check_stats_cov_req_flit_writenosnpfull_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writenosnpptl_check svt_chi_link_err_check_stats_cov_req_flit_writenosnpptl_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_pcrdreturn_check svt_chi_link_err_check_stats_cov_req_flit_pcrdreturn_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_stashonceshared_check svt_chi_link_err_check_stats_cov_req_flit_stashonceshared_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_stashonceunique_check svt_chi_link_err_check_stats_cov_req_flit_stashonceunique_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writeuniquefullstash_check svt_chi_link_err_check_stats_cov_req_flit_writeuniquefullstash_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writeuniqueptlstash_check svt_chi_link_err_check_stats_cov_req_flit_writeuniqueptlstash_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_prefetchtgt_check svt_chi_link_err_check_stats_cov_req_flit_prefetchtgt_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_readoncemakeinvalid_check svt_chi_link_err_check_stats_cov_req_flit_readoncemakeinvalid_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_readoncecleaninvalid_check svt_chi_link_err_check_stats_cov_req_flit_readoncecleaninvalid_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer rsp flit valid rsp_flit_compack_check svt_chi_link_err_check_stats_cov_rsp_flit_compack_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer req flit valid req_flit_readonce_check svt_chi_link_err_check_stats_cov_req_flit_readonce_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writeuniquefull_check svt_chi_link_err_check_stats_cov_req_flit_writeuniquefull_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writeuniqueptl_check svt_chi_link_err_check_stats_cov_req_flit_writeuniqueptl_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_makeinvalid_check svt_chi_link_err_check_stats_cov_req_flit_makeinvalid_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_cleaninvalid_check svt_chi_link_err_check_stats_cov_req_flit_cleaninvalid_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_cleanshared_check svt_chi_link_err_check_stats_cov_req_flit_cleanshared_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_atomiccompare_check svt_chi_link_err_check_stats_cov_req_flit_atomiccompare_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_atomicswap_check svt_chi_link_err_check_stats_cov_req_flit_atomicswap_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_atomicload_check svt_chi_link_err_check_stats_cov_req_flit_atomicload_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_atomicstore_check svt_chi_link_err_check_stats_cov_req_flit_atomicstore_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_cleansharedpersist_check svt_chi_link_err_check_stats_cov_req_flit_cleansharedpersist_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer snp flit valid invalid_snp_flit_check svt_chi_link_err_check_stats_cov_invalid_snp_flit_check ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode
CHI Link Layer snp flit valid snoop_flit_lcrdreturn_check svt_chi_link_err_check_stats_cov_snoop_flit_lcrdreturn_check ARM-IHI0050E.b:A.4 Snoop Request message field mappings
CHI Link Layer signal validity valid_snpflit_signal_check svt_chi_link_err_check_stats_cov_valid_snpflit_signal_check ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel
CHI Link Layer During reset signal_valid_rxsnpflitv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_rxsnpflitv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer snp flit valid snoop_flit_snpdvmop_check svt_chi_link_err_check_stats_cov_snoop_flit_snpdvmop_check ARM-IHI0050E.b:A.4 Snoop Request message field mappings
CHI Link Layer During reset signal_valid_rxsnplcrdv_during_reset svt_chi_link_err_check_stats_cov_signal_valid_rxsnplcrdv_during_reset ARM-IHI0050E.b:14.1.3 Initialization
CHI Link Layer rsp flit valid rsp_flit_snprespfwded_check svt_chi_link_err_check_stats_cov_rsp_flit_snprespfwded_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer rsp flit valid rsp_flit_snpresp_check svt_chi_link_err_check_stats_cov_rsp_flit_snpresp_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer req flit valid req_flit_dvmop_check svt_chi_link_err_check_stats_cov_req_flit_dvmop_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer rsp flit valid rsp_flit_readreceipt_check svt_chi_link_err_check_stats_cov_rsp_flit_readreceipt_check ARM-IHI0050E.b:A.2 Response message field mappings
CHI Link Layer req flit valid req_flit_ecbarrier_check svt_chi_link_err_check_stats_cov_req_flit_ecbarrier_check ARM-IHI0050A:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_eobarrier_check svt_chi_link_err_check_stats_cov_req_flit_eobarrier_check ARM-IHI0050A:A.1 Request message field mappings
CHI Link Layer snp flit valid snoop_flit_snpreq_check svt_chi_link_err_check_stats_cov_snoop_flit_snpreq_check ARM-IHI0050E.b:A.4 Snoop Request message field mappings
CHI Link Layer dat flit valid data_flit_snprespdataptl_check svt_chi_link_err_check_stats_cov_data_flit_snprespdataptl_check ARM-IHI0050E.b:A.3 Data message field mappings
CHI Link Layer dat flit valid data_flit_copybackwrdata_check svt_chi_link_err_check_stats_cov_data_flit_copybackwrdata_check ARM-IHI0050E.b:A.3 Data message field mappings
CHI Link Layer dat flit valid data_flit_snprespdatafwded_check svt_chi_link_err_check_stats_cov_data_flit_snprespdatafwded_check ARM-IHI0050E.b:A.3 Data message field mappings
CHI Link Layer dat flit valid data_flit_snprespdata_check svt_chi_link_err_check_stats_cov_data_flit_snprespdata_check ARM-IHI0050E.b:A.3 Data message field mappings
CHI Link Layer req flit valid req_flit_evict_check svt_chi_link_err_check_stats_cov_req_flit_evict_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writecleanptl_check svt_chi_link_err_check_stats_cov_req_flit_writecleanptl_check ARM-IHI0050A:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writebackptl_check svt_chi_link_err_check_stats_cov_req_flit_writebackptl_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writeevictfull_check svt_chi_link_err_check_stats_cov_req_flit_writeevictfull_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writecleanfull_check svt_chi_link_err_check_stats_cov_req_flit_writecleanfull_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_writebackfull_check svt_chi_link_err_check_stats_cov_req_flit_writebackfull_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_makeunique_check svt_chi_link_err_check_stats_cov_req_flit_makeunique_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_cleanunique_check svt_chi_link_err_check_stats_cov_req_flit_cleanunique_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_readunique_check svt_chi_link_err_check_stats_cov_req_flit_readunique_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_readclean_check svt_chi_link_err_check_stats_cov_req_flit_readclean_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_readnotshareddirty_check svt_chi_link_err_check_stats_cov_req_flit_readnotshareddirty_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer req flit valid req_flit_readshared_check svt_chi_link_err_check_stats_cov_req_flit_readshared_check ARM-IHI0050E.b:A.1 Request message field mappings
CHI Link Layer l-credit valid_num_prot_flits_in_txlasm_deactivate_state_check svt_chi_link_err_check_stats_cov_valid_num_prot_flits_in_txlasm_deactivate_state_check ARM-IHI0050E.b:14.5 Interface activation and deactivation
CHI Link Layer l-credit valid_lcredit_count_in_rx_stop_state_check svt_chi_link_err_check_stats_cov_valid_lcredit_count_in_rx_stop_state_check ARM-IHI0050E.b:14.5 Interface activation and deactivation
CHI Link Layer l-credit rx_no_lcredit_issued_for_flit_type svt_chi_link_err_check_stats_cov_rx_no_lcredit_issued_for_flit_type ARM-IHI0050E.b:14.2 Link layer Credit
CHI Link Layer port interleaving port_interleaving_check svt_chi_link_err_check_stats_cov_port_interleaving_check SYNOPSYS DEFINED:SYNOPSYS DEFINED
CHI Link Layer dat flit valid unexpected_poison_value_in_dat_flit_check svt_chi_link_err_check_stats_cov_unexpected_poison_value_in_dat_flit_check SYNOPSYS DEFINED:SYNOPSYS DEFINED
CHI Link Layer reserved fields illegal_reserved_fields_check svt_chi_link_err_check_stats_cov_illegal_reserved_fields_check ARM-IHI0050E.b:13.9 Flit packet definitions
CHI Link Layer SYSCO Interface FSM sysco_interface_illegal_state_transition svt_chi_link_err_check_stats_cov_sysco_interface_illegal_state_transition ARM-IHI0050E.b:15.2 Handshake
CHI Link Layer signal validity valid_flitpend_and_flitv_signal_check svt_chi_link_err_check_stats_cov_valid_flitpend_and_flitv_signal_check ARM-IHI0050E.b:14.4 Flit level clock gating
CHI Link Layer link active sm lasm_entry_into_banned_output_race_state_check svt_chi_link_err_check_stats_cov_lasm_entry_into_banned_output_race_state_check ARM-IHI0050E.b:14.6.3 Expected transitions
CHI Link Layer link active sm illegal_tx_rx_state_transition_combinations_from_async_input_race_state svt_chi_link_err_check_stats_cov_illegal_tx_rx_state_transition_combinations_from_async_input_race_state ARM-IHI0050E.b:14.6.3 Expected transitions
CHI Link Layer link active sm lasm_entry_into_async_input_race_state_check svt_chi_link_err_check_stats_cov_lasm_entry_into_async_input_race_state_check ARM-IHI0050E.b:14.6.3 Expected transitions
CHI Link Layer link active sm lasm_in_banned_output_race_state_timeout_check svt_chi_link_err_check_stats_cov_lasm_in_banned_output_race_state_timeout_check ARM-IHI0050E.b:14.6.3 Expected transitions
CHI Link Layer link active sm lasm_in_async_input_race_state_timeout_check svt_chi_link_err_check_stats_cov_lasm_in_async_input_race_state_timeout_check ARM-IHI0050E.b:14.6.3 Expected transitions
CHI Link Layer link active sm illegal_tx_rx_state_transition_combinations_from_banned_output_race_state svt_chi_link_err_check_stats_cov_illegal_tx_rx_state_transition_combinations_from_banned_output_race_state ARM-IHI0050E.b:14.6.3 Expected transitions
CHI Link Layer link active sm illegal_tx_rx_state_transition_combinations svt_chi_link_err_check_stats_cov_illegal_tx_rx_state_transition_combinations ARM-IHI0050E.b:14.6.3 Expected transitions
CHI Link Layer link active sm rx_illegal_state_transition svt_chi_link_err_check_stats_cov_rx_illegal_state_transition ARM-IHI0050E.b:14.6.3 Expected transitions
CHI Link Layer link active sm tx_illegal_state_transition svt_chi_link_err_check_stats_cov_tx_illegal_state_transition ARM-IHI0050E.b:14.6.3 Expected transitions
CHI Link Layer l-credit valid_lcredit_count_in_tx_stop_state_check svt_chi_link_err_check_stats_cov_valid_lcredit_count_in_tx_stop_state_check ARM-IHI0050E.b:14.5 Interface activation and deactivation
CHI Link Layer l-credit invalid_lcredit_check svt_chi_link_err_check_stats_cov_invalid_lcredit_check ARM-IHI0050E.b:14.5 Interface activation and deactivation
CHI Link Layer l-credit tx_lcredit_used_same_cycle_which_recieved svt_chi_link_err_check_stats_cov_tx_lcredit_used_same_cycle_which_recieved ARM-IHI0050E.b:14.2 Link layer Credit
CHI Link Layer l-credit rx_no_lcredit_sent_for_flit_transfer svt_chi_link_err_check_stats_cov_rx_no_lcredit_sent_for_flit_transfer ARM-IHI0050E.b:14.2 Link layer Credit
CHI Link Layer l-credit tx_no_lcredit_for_flit_transfer svt_chi_link_err_check_stats_cov_tx_no_lcredit_for_flit_transfer ARM-IHI0050E.b:14.2 Link layer Credit
CHI Protocol Layer Node performance metrics perf_min_write_throughput_check svt_chi_prot_err_check_stats_cov_perf_min_write_throughput_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_max_write_throughput_check svt_chi_prot_err_check_stats_cov_perf_max_write_throughput_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_min_read_throughput_check svt_chi_prot_err_check_stats_cov_perf_min_read_throughput_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_max_read_throughput_check svt_chi_prot_err_check_stats_cov_perf_max_read_throughput_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_avg_min_read_xact_latency_check svt_chi_prot_err_check_stats_cov_perf_avg_min_read_xact_latency_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_avg_max_read_xact_latency_check svt_chi_prot_err_check_stats_cov_perf_avg_max_read_xact_latency_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_min_read_xact_latency_check svt_chi_prot_err_check_stats_cov_perf_min_read_xact_latency_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_max_read_xact_latency_check svt_chi_prot_err_check_stats_cov_perf_max_read_xact_latency_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_avg_min_write_xact_latency_check svt_chi_prot_err_check_stats_cov_perf_avg_min_write_xact_latency_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_avg_max_write_xact_latency_check svt_chi_prot_err_check_stats_cov_perf_avg_max_write_xact_latency_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_min_write_xact_latency_check svt_chi_prot_err_check_stats_cov_perf_min_write_xact_latency_check SYNOPSYS DEFINED
CHI Protocol Layer Node performance metrics perf_max_write_xact_latency_check svt_chi_prot_err_check_stats_cov_perf_max_write_xact_latency_check SYNOPSYS DEFINED
CHI Protocol Layer Snoop Transaction timeout check snp_transaction_inactivity_timeout_check svt_chi_prot_err_check_stats_cov_snp_transaction_inactivity_timeout_check SYNOPSYS DEFINED
CHI Protocol Layer Transaction timeout check transaction_inactivity_timeout_check svt_chi_prot_err_check_stats_cov_transaction_inactivity_timeout_check SYNOPSYS DEFINED
CHI Protocol Layer exclusive access legal data_size transfer check non_coherent_excl_access_legal_data_size_transfer_check svt_chi_prot_err_check_stats_cov_non_coherent_excl_access_legal_data_size_transfer_check ARM-IHI0050E.b: 6.3.3 Exclusive accesses to Snoopable locations
CHI Protocol Layer exclusive access address aligned to total bytes check non_coherent_excl_access_aligned_total_bytes_transaction_check svt_chi_prot_err_check_stats_cov_non_coherent_excl_access_aligned_total_bytes_transaction_check ARM-IHI0050E.b: 6.3.3 Exclusive accesses to Snoopable locations
CHI Protocol Layer non-coherent exclusive access same lpid check non_coherent_excl_read_multiple_entry_for_same_lpid_check svt_chi_prot_err_check_stats_cov_non_coherent_excl_read_multiple_entry_for_same_lpid_check ARM-IHI0050E.b: 6.3.3 Exclusive accesses to Snoopable locations
CHI Protocol Layer SACTIVE signal validity valid_rxsactive_signal_check svt_chi_prot_err_check_stats_cov_valid_rxsactive_signal_check ARM-IHI0050E.b: 14.7 Protocol layer activity indication
CHI Protocol Layer SACTIVE signal validity valid_txsactive_signal_check svt_chi_prot_err_check_stats_cov_valid_txsactive_signal_check ARM-IHI0050E.b: 14.7 Protocol layer activity indication
CHI Protocol Layer associate flit to xact associate_readreceipt_to_xact_check svt_chi_prot_err_check_stats_cov_associate_readreceipt_to_xact_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer snp req validity valid_rn_d_snoop_flit_check svt_chi_prot_err_check_stats_cov_valid_rn_d_snoop_flit_check ARM-IHI0050E.b: Table B-2 Snoop communicating nodes
CHI Protocol Layer dat flit valid readunique_associated_compdata_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_readunique_associated_compdata_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.1 Read request transactions
CHI Protocol Layer dat flit valid readnotshareddirty_associated_compdata_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_readnotshareddirty_associated_compdata_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.1 Read request transactions
CHI Protocol Layer dat flit valid readshared_associated_compdata_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_readshared_associated_compdata_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.1 Read request transactions
CHI Protocol Layer dat flit valid readclean_associated_compdata_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_readclean_associated_compdata_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.1 Read request transactions
CHI Protocol Layer resp flit valid cleanunique_associated_comp_response_legal_cache_state_check svt_chi_prot_err_check_stats_cov_cleanunique_associated_comp_response_legal_cache_state_check ARM-IHI0050E.b: 4.7.2 Dataless request transactions
CHI Protocol Layer resp flit valid makeunique_associated_comp_response_legal_cache_state_check svt_chi_prot_err_check_stats_cov_makeunique_associated_comp_response_legal_cache_state_check ARM-IHI0050E.b: 4.7.2 Dataless request transactions
CHI Protocol Layer resp flit valid evict_associated_comp_response_legal_cache_state_check svt_chi_prot_err_check_stats_cov_evict_associated_comp_response_legal_cache_state_check ARM-IHI0050E.b: 4.7.2 Dataless request transactions
CHI Protocol Layer dat flit valid readunique_associated_compdata_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_readunique_associated_compdata_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.1 Read transactions
CHI Protocol Layer snp req validity expected_snoop_xact_type_check svt_chi_prot_err_check_stats_cov_expected_snoop_xact_type_check SYNOPSYS DEFINED
CHI Protocol Layer dat flit valid readnotshareddirty_associated_compdata_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_readnotshareddirty_associated_compdata_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.1 Read transactions
CHI Protocol Layer dat flit valid readshared_associated_compdata_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_readshared_associated_compdata_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.1 Read transactions
CHI Protocol Layer dat flit valid readclean_associated_compdata_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_readclean_associated_compdata_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.1 Read transactions
CHI Protocol Layer resp flit valid cleanunique_associated_comp_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_cleanunique_associated_comp_response_legal_resperr_check ARM-IHI0050E.b: 9.4.2 Dataless transactions
CHI Protocol Layer resp flit valid makeunique_associated_comp_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_makeunique_associated_comp_response_legal_resperr_check ARM-IHI0050E.b: 9.4.2 Dataless transactions
CHI Protocol Layer resp flit valid evict_associated_comp_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_evict_associated_comp_response_legal_resperr_check ARM-IHI0050E.b: 9.4.2 Dataless transactions
CHI Protocol Layer resp and dat flit valid snpstashshared_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpstashshared_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.2 Stash snoop transactions
CHI Protocol Layer resp and dat flit valid snpstashshared_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpstashshared_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpstashunique_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpstashunique_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpstashunique_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpstashunique_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.2 Stash snoop transactions
CHI Protocol Layer resp and dat flit valid snpmakeinvalidstash_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpmakeinvalidstash_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.2 Stash snoop transactions
CHI Protocol Layer resp and dat flit valid snpmakeinvalidstash_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpmakeinvalidstash_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpuniquestash_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpuniquestash_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.2 Stash snoop transactions
CHI Protocol Layer resp and dat flit valid snpuniquestash_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpuniquestash_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid writeevict_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_writeevict_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.3 Write transactions
CHI Protocol Layer resp and dat flit valid writeclean_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_writeclean_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.3 Write transactions
CHI Protocol Layer resp and dat flit valid writeback_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_writeback_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.3 Write transactions
CHI Protocol Layer request validity cache_transitioned_to_dirty_from_uce_for_read svt_chi_prot_err_check_stats_cov_cache_transitioned_to_dirty_from_uce_for_read ARM-IHI0050E.b: 4.7.1 Read request transactions
CHI Protocol Layer resp flit valid invalid_data_pull_in_snoop_response_check svt_chi_prot_err_check_stats_cov_invalid_data_pull_in_snoop_response_check ARM-IHI0050E.b: 7.2 Write with Stash hint
CHI Protocol Layer resp flit valid dbid_in_snoop_response_with_data_pull_check svt_chi_prot_err_check_stats_cov_dbid_in_snoop_response_with_data_pull_check ARM-IHI0050E.b: 2.5 Details of transaction identifier fields
CHI Protocol Layer dat flit valid snprspdatafwded_compdata_data_integrity_check svt_chi_prot_err_check_stats_cov_snprspdatafwded_compdata_data_integrity_check ARM-IHI0050E.b: 4.5.3 Snoop response
CHI Protocol Layer resp and dat flit valid valid_fwd_state_in_fwded_snoop_response_check svt_chi_prot_err_check_stats_cov_valid_fwd_state_in_fwded_snoop_response_check ARM-IHI0050E.b: 13.10.45 Forward State, FwdState
CHI Protocol Layer resp and dat flit valid valid_fwded_response_type_for_ret_to_src_check svt_chi_prot_err_check_stats_cov_valid_fwded_response_type_for_ret_to_src_check ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions
CHI Protocol Layer resp flit validity valid_snprspfwded_flit_check svt_chi_prot_err_check_stats_cov_valid_snprspfwded_flit_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer associate flit to xact associate_compdata_flit_with_fwd_type_snp_xact_check svt_chi_prot_err_check_stats_cov_associate_compdata_flit_with_fwd_type_snp_xact_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer resp and dat flit valid snpnotshareddirtyfwd_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpnotshareddirtyfwd_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions
CHI Protocol Layer resp and dat flit valid snpnotshareddirtyfwd_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpnotshareddirtyfwd_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpuniquefwd_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpuniquefwd_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions
CHI Protocol Layer resp and dat flit valid snpuniquefwd_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpuniquefwd_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpsharedfwd_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpsharedfwd_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions
CHI Protocol Layer resp and dat flit valid snpsharedfwd_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpsharedfwd_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpcleanfwd_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpcleanfwd_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions
CHI Protocol Layer resp and dat flit valid snpcleanfwd_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpcleanfwd_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snponcefwd_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snponcefwd_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.3 Forwarding Snoop transactions
CHI Protocol Layer resp and dat flit valid snponcefwd_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snponcefwd_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer dat flit valid copyback_cancellation_write_data_check svt_chi_prot_err_check_stats_cov_copyback_cancellation_write_data_check ARM-IHI0050E.b: 4.11.1 At the RN-F node
CHI Protocol Layer resp and dat flit valid snpnotshareddirty_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpnotshareddirty_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions
CHI Protocol Layer resp and dat flit valid snpnotshareddirty_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpnotshareddirty_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer dat flit valid valid_snprespdata_when_be_is_zero_check svt_chi_prot_err_check_stats_cov_valid_snprespdata_when_be_is_zero_check ARM-IHI0050E.b: 2.10.3 Byte Enables
CHI Protocol Layer ordering check new_req_before_compdbid_resp_for_copyback_to_same_cacheline_check svt_chi_prot_err_check_stats_cov_new_req_before_compdbid_resp_for_copyback_to_same_cacheline_check ARM-IHI0050E.b: 2.8.5 Transaction ordering
CHI Protocol Layer resp flit valid snpmakeinvalid_associated_response_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpmakeinvalid_associated_response_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions
CHI Protocol Layer resp and dat flit valid snpcleaninvalid_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpcleaninvalid_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions
CHI Protocol Layer resp and dat flit valid snpcleanshared_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpcleanshared_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions
CHI Protocol Layer resp and dat flit valid snpunique_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpunique_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions
CHI Protocol Layer resp and dat flit valid snpshared_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpshared_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions
CHI Protocol Layer resp and dat flit valid snpclean_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snpclean_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions
CHI Protocol Layer resp and dat flit valid snponce_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_snponce_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions
CHI Protocol Layer resp flit valid snpmakeinvalid_associated_response_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpmakeinvalid_associated_response_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpcleaninvalid_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpcleaninvalid_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpcleanshared_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpcleanshared_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpunique_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpunique_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpshared_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpshared_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer resp and dat flit valid snpclean_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpclean_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.5 Other transactions
CHI Protocol Layer resp and dat flit valid snponce_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snponce_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.7 Snoop transactions
CHI Protocol Layer associate flit to xact associate_snprspdata_flit_with_snp_xact_check svt_chi_prot_err_check_stats_cov_associate_snprspdata_flit_with_snp_xact_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer resp flit validity valid_snprsp_flit_check svt_chi_prot_err_check_stats_cov_valid_snprsp_flit_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer resp and dat flit valid writeevict_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_writeevict_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.3 Write request transactions
CHI Protocol Layer resp and dat flit valid writeclean_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_writeclean_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.3 Write request transactions
CHI Protocol Layer resp and dat flit valid writeback_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_writeback_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.3 Write request transactions
CHI Protocol Layer dat flit valid valid_dat_flit_type_for_snp_xact_check svt_chi_prot_err_check_stats_cov_valid_dat_flit_type_for_snp_xact_check ARM-IHI0050E.b: 4.5 Response types
CHI Protocol Layer dat flit valid valid_cbwrdata_flit_for_xact_check svt_chi_prot_err_check_stats_cov_valid_cbwrdata_flit_for_xact_check ARM-IHI0050E.b: 4.5.2 WriteData response
CHI Protocol Layer snp req validity new_snp_req_before_compack_of_coherent_xact_which_received_comp_to_same_cacheline_check svt_chi_prot_err_check_stats_cov_new_snp_req_before_compack_of_coherent_xact_which_received_comp_to_same_cacheline_check ARM-IHI0050E.b: 4.11 Hazard conditions
CHI Protocol Layer snp req validity new_snp_req_before_completion_of_previous_snp_xact_to_same_cacheline_check svt_chi_prot_err_check_stats_cov_new_snp_req_before_completion_of_previous_snp_xact_to_same_cacheline_check ARM-IHI0050E.b: 4.11 Hazard conditions
CHI Protocol Layer dvm xact valid_order_of_dvmop_rspflits_check svt_chi_prot_err_check_stats_cov_valid_order_of_dvmop_rspflits_check ARM-IHI0050E.b: 2.3.7 DVM transactions
CHI Protocol Layer dvm xact valid_snpdvmop_part_check svt_chi_prot_err_check_stats_cov_valid_snpdvmop_part_check ARM-IHI0050E.b: 8.1.3 Flow control
CHI Protocol Layer dvm xact single_outstanding_snpdvmop_per_txn_id_check svt_chi_prot_err_check_stats_cov_single_outstanding_snpdvmop_per_txn_id_check ARM-IHI0050E.b: 2.4 Transaction identifier fields
CHI Protocol Layer dvm xact single_outstanding_snpdvmop_sync_check svt_chi_prot_err_check_stats_cov_single_outstanding_snpdvmop_sync_check ARM-IHI0050E.b: 8.1.3 Flow control
CHI Protocol Layer resp flit valid valid_resp_err_status_for_dvmop_xact_check svt_chi_prot_err_check_stats_cov_valid_resp_err_status_for_dvmop_xact_check ARM-IHI0050E.b: 9.4.5 Other transactions
CHI Protocol Layer resp flit validity valid_rspflit_for_dvmop_check svt_chi_prot_err_check_stats_cov_valid_rspflit_for_dvmop_check ARM-IHI0050E.b: 4.5.1 Completion response
CHI Protocol Layer resp flit valid snpdvmop_associated_response_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_snpdvmop_associated_response_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.5 Other transactions
CHI Protocol Layer resp flit valid snpresp_for_snpdvmop_sync_only_after_completion_of_prior_snpdvmop_check svt_chi_prot_err_check_stats_cov_snpresp_for_snpdvmop_sync_only_after_completion_of_prior_snpdvmop_check ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow
CHI Protocol Layer resp flit valid snpresp_for_snpdvmop_sync_only_after_completion_of_all_non_dvm_sync_check svt_chi_prot_err_check_stats_cov_snpresp_for_snpdvmop_sync_only_after_completion_of_all_non_dvm_sync_check ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow
CHI Protocol Layer resp flit validity valid_snprsp_for_snpdvmop_check svt_chi_prot_err_check_stats_cov_valid_snprsp_for_snpdvmop_check ARM-IHI0050E.b: 8.1.3 Flow control
CHI Protocol Layer dvm xact valid_snpdvmop_req_part_num_check svt_chi_prot_err_check_stats_cov_valid_snpdvmop_req_part_num_check ARM-IHI0050E.b: 8.2 DVM Operation types
CHI Protocol Layer dvm xact single_outstanding_dvmop_sync_request_check svt_chi_prot_err_check_stats_cov_single_outstanding_dvmop_sync_request_check SYNOPSYS DEFINED
CHI Protocol Layer dvm xact unused_bits_in_dvm_write_data_check svt_chi_prot_err_check_stats_cov_unused_bits_in_dvm_write_data_check ARM-IHI0050E.b: 8.1.4 DVMOp field value restrictions
CHI Protocol Layer dvm xact expected_dvmop_sync_request_check svt_chi_prot_err_check_stats_cov_expected_dvmop_sync_request_check ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow
CHI Protocol Layer resp flit valid cleansharedpersistsep_associated_response_legal_cache_state_check svt_chi_prot_err_check_stats_cov_cleansharedpersistsep_associated_response_legal_cache_state_check ARM-IHI0050E.b: 4.7.2 Dataless request transactions
CHI Protocol Layer resp flit valid cleansharedpersistsep_associated_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_cleansharedpersistsep_associated_response_legal_resperr_check ARM-IHI0050E.b: 9.4.2 Dataless transactions
CHI Protocol Layer resp flit validity valid_response_combinations_for_cleansharedpersistsep_check svt_chi_prot_err_check_stats_cov_valid_response_combinations_for_cleansharedpersistsep_check ARM-IHI0050E.b: 4.5 Response types
CHI Protocol Layer resp flit validity valid_comppersist_flit_type_for_xact_check svt_chi_prot_err_check_stats_cov_valid_comppersist_flit_type_for_xact_check ARM-IHI0050E.b: 4.5 Response types
CHI Protocol Layer resp flit validity valid_persist_flit_type_for_xact_check svt_chi_prot_err_check_stats_cov_valid_persist_flit_type_for_xact_check ARM-IHI0050E.b: 4.5 Response types
CHI Protocol Layer associate flit to xact valid_parity_datacheck_for_snoop_data_check svt_chi_prot_err_check_stats_cov_valid_parity_datacheck_for_snoop_data_check ARM-IHI0050E.b: 9.6 Data Check
CHI Protocol Layer barrier xact normal_non_cacheable_or_device_writes_between_barriers_check svt_chi_prot_err_check_stats_cov_normal_non_cacheable_or_device_writes_between_barriers_check ARM-IHI0050A: 7.5.1
CHI Protocol Layer barrier xact comp_received_for_normal_non_cacheable_or_device_writes_before_barrier_check svt_chi_prot_err_check_stats_cov_comp_received_for_normal_non_cacheable_or_device_writes_before_barrier_check ARM-IHI0050A: 7.5 Barriers
CHI Protocol Layer request validity expected_tgt_id_in_rn_xact_check svt_chi_prot_err_check_stats_cov_expected_tgt_id_in_rn_xact_check ARM-IHI0050E.b: 3.3.1 Target ID determination for Request messages
CHI Protocol Layer resp and dat flit valid writeuniquefullstash_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_writeuniquefullstash_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.3 Write request transactions
CHI Protocol Layer resp and dat flit valid writeuniqueptlstash_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_writeuniqueptlstash_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.3 Write request transactions
CHI Protocol Layer Compack timing owo_writenosnp_compack_timing_check svt_chi_prot_err_check_stats_cov_owo_writenosnp_compack_timing_check ARM-IHI0050E.b: 2.8.5 Transaction ordering
CHI Protocol Layer Compack timing owo_writeunique_compack_timing_check svt_chi_prot_err_check_stats_cov_owo_writeunique_compack_timing_check ARM-IHI0050E.b: 2.8.5 Transaction ordering
CHI Protocol Layer request validity new_req_before_completion_of_previous_cmo_xacts_to_same_cacheline_check svt_chi_prot_err_check_stats_cov_new_req_before_completion_of_previous_cmo_xacts_to_same_cacheline_check ARM-IHI0050E.b: 4.2.2 Dataless transactions
CHI Protocol Layer request validity cmo_xact_before_completion_of_previous_xacts_to_same_cacheline_check svt_chi_prot_err_check_stats_cov_cmo_xact_before_completion_of_previous_xacts_to_same_cacheline_check ARM-IHI0050E.b: 4.2.2 Dataless transactions
CHI Protocol Layer resp and dat flit valid writeunique_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_writeunique_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.3 Write request transactions
CHI Protocol Layer resp flit valid expected_compack_check svt_chi_prot_err_check_stats_cov_expected_compack_check ARM-IHI0050E.b: 2.3 Transaction structure
CHI Protocol Layer resp flit validity valid_compack_rsp_flit_check svt_chi_prot_err_check_stats_cov_valid_compack_rsp_flit_check ARM-IHI0050E.b: 2.6.1 Read transactions
CHI Protocol Layer single req order stream single_req_order_stream_check svt_chi_prot_err_check_stats_cov_single_req_order_stream_check ARM-IHI0050E.b: 2.8 Ordering
CHI Protocol Layer CMO Propagation cmos_forwarded_to_slave_by_hn_with_forward_cmos_to_slave_enable_check svt_chi_prot_err_check_stats_cov_cmos_forwarded_to_slave_by_hn_with_forward_cmos_to_slave_enable_check SYNOPSYS DEFINED
CHI Protocol Layer CMO Propagation persist_cmos_forwarded_to_slave_by_hn_with_forward_persist_cmos_to_slave_enable_check svt_chi_prot_err_check_stats_cov_persist_cmos_forwarded_to_slave_by_hn_with_forward_persist_cmos_to_slave_enable_check SYNOPSYS DEFINED
CHI Protocol Layer DMT dmt_used_by_hn_with_dmt_enabled_check svt_chi_prot_err_check_stats_cov_dmt_used_by_hn_with_dmt_enabled_check SYNOPSYS DEFINED
CHI Protocol Layer resp flit validity valid_snp_response_check svt_chi_prot_err_check_stats_cov_valid_snp_response_check ARM-IHI0050E.b: 4.11.1 At the RN-F node
CHI Protocol Layer dat flit valid ncbwrdatacompack_flit_timing_check svt_chi_prot_err_check_stats_cov_ncbwrdatacompack_flit_timing_check ARM-IHI0050E.b: 2.3.2 Write Transactions
CHI Protocol Layer dat flit valid ncbwrdatacompack_after_comp_and_dbid_check svt_chi_prot_err_check_stats_cov_ncbwrdatacompack_after_comp_and_dbid_check ARM-IHI0050E.b: 2.3.2 Write Transactions
CHI Protocol Layer dat flit valid valid_ncbwrdatacompack_flit_for_xact_check svt_chi_prot_err_check_stats_cov_valid_ncbwrdatacompack_flit_for_xact_check ARM-IHI0050E.b: 4.5.2 WriteData response
CHI Protocol Layer dat flit valid matching_resp_err_nderr_in_respsepdata_datasepresp_check svt_chi_prot_err_check_stats_cov_matching_resp_err_nderr_in_respsepdata_datasepresp_check ARM-IHI0050E.b: 9.4.1 Read transactions
CHI Protocol Layer dat flit valid valid_data_source_in_datasepresp_check svt_chi_prot_err_check_stats_cov_valid_data_source_in_datasepresp_check ARM-IHI0050E.b: 11.1 Data Source indication
CHI Protocol Layer resp and dat flit valid matching_dbid_home_nid_in_respsepdata_datasepresp_check svt_chi_prot_err_check_stats_cov_matching_dbid_home_nid_in_respsepdata_datasepresp_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer resp flit valid associated_respsepdata_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_associated_respsepdata_response_legal_resperr_check ARM-IHI0050E.b: 9.4.1 Read transactions
CHI Protocol Layer resp flit validity valid_respsepdata_flit_type_for_xact_check svt_chi_prot_err_check_stats_cov_valid_respsepdata_flit_type_for_xact_check ARM-IHI0050E.b: 4.5 Response types
CHI Protocol Layer resp flit valid associate_respsepdata_to_xact_check svt_chi_prot_err_check_stats_cov_associate_respsepdata_to_xact_check ARM-IHI0050E.b: 2.8.4 Ordering semantics of RespSepData and DataSepResp
CHI Protocol Layer DMT valid_return_txn_id_check svt_chi_prot_err_check_stats_cov_valid_return_txn_id_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer DMT valid_order_type_for_non_dmt_check svt_chi_prot_err_check_stats_cov_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
CHI Protocol Layer DMT valid_exclusive_access_for_dmt_check svt_chi_prot_err_check_stats_cov_valid_exclusive_access_for_dmt_check ARM-IHI0050E.b: 6.3.1 Responses to exclusive requests
CHI Protocol Layer DMT valid_ordering_and_compack_combination_for_dmt_check svt_chi_prot_err_check_stats_cov_valid_ordering_and_compack_combination_for_dmt_check ARM-IHI0050E.b: 2.3.1 Read transactions
CHI Protocol Layer DMT valid_transaction_supporting_dmt_check svt_chi_prot_err_check_stats_cov_valid_transaction_supporting_dmt_check ARM-IHI0050E.b: 4.2.1 Read transactions
CHI Protocol Layer resp flit valid stashonceshared_associated_comp_response_legal_cache_state_check svt_chi_prot_err_check_stats_cov_stashonceshared_associated_comp_response_legal_cache_state_check ARM-IHI0050E.b: 4.7.2 Dataless request transactions
CHI Protocol Layer resp flit valid stashonceunique_associated_comp_response_legal_cache_state_check svt_chi_prot_err_check_stats_cov_stashonceunique_associated_comp_response_legal_cache_state_check ARM-IHI0050E.b: 4.7.2 Dataless request transactions
CHI Protocol Layer resp flit valid stashonceshared_associated_comp_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_stashonceshared_associated_comp_response_legal_resperr_check ARM-IHI0050E.b: 9.4.2 Dataless transactions
CHI Protocol Layer resp flit valid stashonceunique_associated_comp_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_stashonceunique_associated_comp_response_legal_resperr_check ARM-IHI0050E.b: 9.4.2 Dataless transactions
CHI Protocol Layer resp and dat flit valid writeuniquefullstash_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_writeuniquefullstash_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.3 Write transactions
CHI Protocol Layer resp and dat flit valid writeuniqueptlstash_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_writeuniqueptlstash_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.3 Write transactions
CHI Protocol Layer dat flit valid readoncemakeinvalid_associated_compdata_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_readoncemakeinvalid_associated_compdata_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.1 Read request transactions
CHI Protocol Layer dat flit valid readoncecleaninvalid_associated_compdata_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_readoncecleaninvalid_associated_compdata_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.1 Read request transactions
CHI Protocol Layer dat flit valid readoncemakeinvalid_associated_compdata_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_readoncemakeinvalid_associated_compdata_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.1 Read transactions
CHI Protocol Layer dat flit valid readoncecleaninvalid_associated_compdata_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_readoncecleaninvalid_associated_compdata_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.1 Read transactions
CHI Protocol Layer dat flit valid valid_data_source_in_compdata_check svt_chi_prot_err_check_stats_cov_valid_data_source_in_compdata_check ARM-IHI0050E.b: 11.1 Data Source indication
CHI Protocol Layer resp and dat flit valid expected_remapped_tgt_id_in_response_check svt_chi_prot_err_check_stats_cov_expected_remapped_tgt_id_in_response_check ARM-IHI0050E.b: 3.3.1 Target ID determination for Request messages
CHI Protocol Layer resp flit validity valid_pcrdgrant_check svt_chi_prot_err_check_stats_cov_valid_pcrdgrant_check ARM-IHI0050E.b: 2.11 Request Retry
CHI Protocol Layer resp and dat flit valid writeunique_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_writeunique_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.3 Write transactions
CHI Protocol Layer dat flit valid readonce_associated_compdata_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_readonce_associated_compdata_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.1 Read request transactions
CHI Protocol Layer dat flit valid readonce_associated_compdata_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_readonce_associated_compdata_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.1 Read transactions
CHI Protocol Layer resp flit valid cleansharedpersist_associated_comp_response_legal_cache_state_check svt_chi_prot_err_check_stats_cov_cleansharedpersist_associated_comp_response_legal_cache_state_check ARM-IHI0050E.b: 4.7.2 Dataless request transactions
CHI Protocol Layer resp flit valid cleansharedpersist_associated_comp_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_cleansharedpersist_associated_comp_response_legal_resperr_check ARM-IHI0050E.b: 9.4.2 Dataless transactions
CHI Protocol Layer resp and dat flit valid atomic_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_atomic_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.4 Atomic transactions
CHI Protocol Layer resp and dat flit valid atomic_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_atomic_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.4 Atomic transactions
CHI Protocol Layer resp flit valid makeinvalid_associated_comp_response_legal_cache_state_check svt_chi_prot_err_check_stats_cov_makeinvalid_associated_comp_response_legal_cache_state_check ARM-IHI0050E.b: 4.7.2 Dataless request transactions
CHI Protocol Layer resp flit valid cleaninvalid_associated_comp_response_legal_cache_state_check svt_chi_prot_err_check_stats_cov_cleaninvalid_associated_comp_response_legal_cache_state_check ARM-IHI0050E.b: 4.7.2 Dataless request transactions
CHI Protocol Layer resp flit valid cleanshared_associated_comp_response_legal_cache_state_check svt_chi_prot_err_check_stats_cov_cleanshared_associated_comp_response_legal_cache_state_check ARM-IHI0050E.b: 4.7.2 Dataless request transactions
CHI Protocol Layer resp flit valid makeinvalid_associated_comp_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_makeinvalid_associated_comp_response_legal_resperr_check ARM-IHI0050E.b: 9.4.2 Dataless transactions
CHI Protocol Layer resp flit valid cleaninvalid_associated_comp_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_cleaninvalid_associated_comp_response_legal_resperr_check ARM-IHI0050E.b: 9.4.2 Dataless transactions
CHI Protocol Layer resp flit valid cleanshared_associated_comp_response_legal_resperr_check svt_chi_prot_err_check_stats_cov_cleanshared_associated_comp_response_legal_resperr_check ARM-IHI0050E.b: 9.4.2 Dataless transactions
CHI Protocol Layer dat flit valid valid_resp_for_data_packet_check svt_chi_prot_err_check_stats_cov_valid_resp_for_data_packet_check ARM-IHI0050E.b: 4.5 Response types
CHI Protocol Layer dat flit valid single_xact_mix_ok_exok_response_check svt_chi_prot_err_check_stats_cov_single_xact_mix_ok_exok_response_check ARM-IHI0050E.b: 9.2 Error response fields
CHI Protocol Layer dat flit field valid_ccid_in_dat_flit_check svt_chi_prot_err_check_stats_cov_valid_ccid_in_dat_flit_check ARM-IHI0050E.b: 2.10.6 Critical Chunk Identifier
CHI Protocol Layer dat flit valid dbid_value_must_be_same_across_read_data_flits_check svt_chi_prot_err_check_stats_cov_dbid_value_must_be_same_across_read_data_flits_check ARM-IHI0050E.b: 2.5.9 Data Buffer ID
CHI Protocol Layer resp flit valid separate_dbidresp_and_comp_must_include_same_dbid_value_check svt_chi_prot_err_check_stats_cov_separate_dbidresp_and_comp_must_include_same_dbid_value_check ARM-IHI0050E.b: 2.5 Details of transaction identifier fields
CHI Protocol Layer associate flit to xact valid_parity_datacheck_for_read_data_check svt_chi_prot_err_check_stats_cov_valid_parity_datacheck_for_read_data_check ARM-IHI0050E.b: 9.6 Data Check
CHI Protocol Layer resp flit valid rsp_flit_dbid_check svt_chi_prot_err_check_stats_cov_rsp_flit_dbid_check ARM-IHI0050E.b: Table A-8 Response message field mappings
CHI Protocol Layer dat flit valid readnosnp_associated_compdata_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_readnosnp_associated_compdata_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.1 Read request transactions
CHI Protocol Layer dat flit valid readnosnp_associated_compdata_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_readnosnp_associated_compdata_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.1 Read transactions
CHI Protocol Layer resp flit validity valid_compdbid_flit_type_for_xact_check svt_chi_prot_err_check_stats_cov_valid_compdbid_flit_type_for_xact_check ARM-IHI0050E.b: 4.5 Response types
CHI Protocol Layer resp flit validity valid_dbid_flit_type_for_xact_check svt_chi_prot_err_check_stats_cov_valid_dbid_flit_type_for_xact_check ARM-IHI0050E.b: 4.5 Response types
CHI Protocol Layer resp flit validity valid_comp_flit_type_for_xact_check svt_chi_prot_err_check_stats_cov_valid_comp_flit_type_for_xact_check ARM-IHI0050E.b: 4.5.1 Completion response
CHI Protocol Layer associate flit to xact expected_rsp_flit_for_xact_check svt_chi_prot_err_check_stats_cov_expected_rsp_flit_for_xact_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer associate flit to xact associate_rsp_flit_to_xact_check svt_chi_prot_err_check_stats_cov_associate_rsp_flit_to_xact_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer associate flit to xact expected_num_read_data_flits_check svt_chi_prot_err_check_stats_cov_expected_num_read_data_flits_check ARM-IHI0050E.b: 2.10.4 Data packetization
CHI Protocol Layer associate flit to xact associate_read_dat_flit_with_xact_check svt_chi_prot_err_check_stats_cov_associate_read_dat_flit_with_xact_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer dat flit valid valid_compdata_flit_for_xact_check svt_chi_prot_err_check_stats_cov_valid_compdata_flit_for_xact_check ARM-IHI0050E.b: 4.5.1 Completion response
CHI Protocol Layer request validity new_req_before_completion_of_previous_read_write_xact_to_same_cacheline_check svt_chi_prot_err_check_stats_cov_new_req_before_completion_of_previous_read_write_xact_to_same_cacheline_check ARM-IHI0050E.b: 2.9.4 Transaction attribute combinations
CHI Protocol Layer request validity expected_xact_type_check svt_chi_prot_err_check_stats_cov_expected_xact_type_check SYNOPSYS DEFINED
CHI Protocol Layer retry xact valid_pcrdreturn_check svt_chi_prot_err_check_stats_cov_valid_pcrdreturn_check ARM-IHI0050E.b: 2.3.8 Retry
CHI Protocol Layer retry xact valid_retry_xact_check svt_chi_prot_err_check_stats_cov_valid_retry_xact_check ARM-IHI0050E.b: 2.3.8 Retry
CHI Protocol Layer retry xact valid_retry_xact_after_pcrdcgrant_check svt_chi_prot_err_check_stats_cov_valid_retry_xact_after_pcrdcgrant_check ARM-IHI0050E.b: 2.11 Request Retry
CHI Protocol Layer retry xact valid_p_crd_type_in_pcrdreturn_flit_check svt_chi_prot_err_check_stats_cov_valid_p_crd_type_in_pcrdreturn_flit_check ARM-IHI0050E.b: 2.11.2 Transaction Retry mechanism
CHI Protocol Layer associate flit to xact associate_write_dat_flit_with_xact_check svt_chi_prot_err_check_stats_cov_associate_write_dat_flit_with_xact_check ARM-IHI0050E.b: 2.6 Transaction identifier field flows
CHI Protocol Layer associate flit to xact valid_byte_enable_for_write_data_check svt_chi_prot_err_check_stats_cov_valid_byte_enable_for_write_data_check ARM-IHI0050E.b: 2.10.3 Byte Enables
CHI Protocol Layer associate flit to xact expected_num_write_data_flits_check svt_chi_prot_err_check_stats_cov_expected_num_write_data_flits_check ARM-IHI0050E.b: 2.10.4 Data packetization
CHI Protocol Layer associate flit to xact write_dat_xfer_after_dbid_check svt_chi_prot_err_check_stats_cov_write_dat_xfer_after_dbid_check ARM-IHI0050E.b: 2.3 Transaction structure
CHI Protocol Layer dat flit valid writenosnp_associated_response_data_packets_legal_cache_state_check svt_chi_prot_err_check_stats_cov_writenosnp_associated_response_data_packets_legal_cache_state_check ARM-IHI0050E.b: 4.7.3 Write request transactions
CHI Protocol Layer associate flit to xact valid_parity_datacheck_for_write_data_check svt_chi_prot_err_check_stats_cov_valid_parity_datacheck_for_write_data_check ARM-IHI0050E.b: 9.6 Data Check
CHI Protocol Layer dat flit valid valid_write_data_when_be_is_zero_check svt_chi_prot_err_check_stats_cov_valid_write_data_when_be_is_zero_check ARM-IHI0050E.b: 2.10.3 Byte Enables
CHI Protocol Layer dat flit valid valid_writedatacancel_flit_for_xact_check svt_chi_prot_err_check_stats_cov_valid_writedatacancel_flit_for_xact_check ARM-IHI0050E.b: 4.5.2 WriteData response
CHI Protocol Layer dat flit valid valid_noncbwrdata_flit_for_xact_check svt_chi_prot_err_check_stats_cov_valid_noncbwrdata_flit_for_xact_check ARM-IHI0050E.b: 4.5.2 WriteData response
CHI Protocol Layer request validity single_outstanding_req_per_txn_id_check svt_chi_prot_err_check_stats_cov_single_outstanding_req_per_txn_id_check ARM-IHI0050E.b: 2.5.2 Transaction ID
CHI Protocol Layer dat flit field dat_flit_dbid_check svt_chi_prot_err_check_stats_cov_dat_flit_dbid_check ARM-IHI0050E.b: Table A-9 Data message field mappings
CHI Protocol Layer dat flit field tx_dat_flit_data_id_check svt_chi_prot_err_check_stats_cov_tx_dat_flit_data_id_check ARM-IHI0050E.b: 13.10.50 Data Identifier, DataID
CHI Protocol Layer dat flit valid valid_data_source_in_snprespdata_check svt_chi_prot_err_check_stats_cov_valid_data_source_in_snprespdata_check ARM-IHI0050E.b: 11.1 Data Source indication
CHI Protocol Layer dat flit field rx_dat_flit_data_id_check svt_chi_prot_err_check_stats_cov_rx_dat_flit_data_id_check ARM-IHI0050E.b: 13.10.50 Data Identifier, DataID
CHI Protocol Layer SYSCO Interface Validity sysco_interface_snoop_traffic_validity_check svt_chi_prot_err_check_stats_cov_sysco_interface_snoop_traffic_validity_check ARM-IHI0050E.b: 15.2 Handshake
CHI Protocol Layer SYSCO Interface Validity sysco_interface_coherency_enabled_state_traffic_validity_check svt_chi_prot_err_check_stats_cov_sysco_interface_coherency_enabled_state_traffic_validity_check ARM-IHI0050E.b: 15.2 Handshake
CHI Protocol Layer SYSCO Interface Validity sysco_interface_coherency_disconnect_state_traffic_validity_check svt_chi_prot_err_check_stats_cov_sysco_interface_coherency_disconnect_state_traffic_validity_check ARM-IHI0050E.b: 15.2 Handshake
CHI Protocol Layer SYSCO Interface Validity sysco_interface_coherency_disabled_state_traffic_validity_check svt_chi_prot_err_check_stats_cov_sysco_interface_coherency_disabled_state_traffic_validity_check ARM-IHI0050E.b: 15.2 Handshake
CHI Protocol Layer trace tag valid trace_tag_validity_check svt_chi_prot_err_check_stats_cov_trace_tag_validity_check ARM-IHI0050E.b: 11.5 Trace Tag
CHI Protocol Layer dvm outstanding transactions num_non_dvm_snoop_exceeded_configured_value_check svt_chi_prot_err_check_stats_cov_num_non_dvm_snoop_exceeded_configured_value_check SYNOPSYS DEFINED
CHI Protocol Layer dvm outstanding transactions num_dvm_snoop_exceeded_configured_value_check svt_chi_prot_err_check_stats_cov_num_dvm_snoop_exceeded_configured_value_check SYNOPSYS DEFINED
CHI Protocol Layer retry xact end_of_simulation_outstanding_protocol_credit_check svt_chi_prot_err_check_stats_cov_end_of_simulation_outstanding_protocol_credit_check SYNOPSYS DEFINED
CHI Protocol Layer resp and dat flit valid writenosnp_associated_response_data_packets_legal_resperr_check svt_chi_prot_err_check_stats_cov_writenosnp_associated_response_data_packets_legal_resperr_check ARM-IHI0050E.b: 9.4.3 Write transactions
CHI System coherent rsp coherent_resp_start_conditions_check svt_chi_sys_err_check_stats_cov_coherent_resp_start_conditions_check ARM-IHI0050E.b: 4.3 Snoop request types
CHI System Exclusive Access exclusive_chi_transaction_type_check svt_chi_sys_err_check_stats_cov_exclusive_chi_transaction_type_check ARM-IHI0050E.b: 6.3 Exclusive transactions
CHI System Exclusive Access exclusive_store_resp_check svt_chi_sys_err_check_stats_cov_exclusive_store_resp_check ARM-IHI0050E.b: 6.2 Exclusive monitors
CHI System Exclusive Access exclusive_load_resp_check svt_chi_sys_err_check_stats_cov_exclusive_load_resp_check ARM-IHI0050E.b: 6.2 Exclusive monitors
CHI System cmos forward_cmos_to_slave_check svt_chi_sys_err_check_stats_cov_forward_cmos_to_slave_check ARM-IHI0050E.b: 4.2.2 Dataless transactions
CHI System poison integrity slave_poison_integrity_check svt_chi_sys_err_check_stats_cov_slave_poison_integrity_check ARM-IHI0050E.b: 9.5 Poison
CHI System data integrity slave_data_integrity_check svt_chi_sys_err_check_stats_cov_slave_data_integrity_check SYNOPSYS DEFINED
CHI System dvm interconnect_dvm_snoop_timing_check svt_chi_sys_err_check_stats_cov_interconnect_dvm_snoop_timing_check ARM-IHI0050E.b: 8.1 DVM transaction flow
CHI System dvm valid_dvm_response_from_interconnect_check svt_chi_sys_err_check_stats_cov_valid_dvm_response_from_interconnect_check ARM-IHI0050E.b: 8.1 DVM transaction flow
CHI System dvm interconnect_dvm_response_timing_check svt_chi_sys_err_check_stats_cov_interconnect_dvm_response_timing_check ARM-IHI0050E.b: 8.1 DVM transaction flow
CHI System dvm interconnect_dvm_sync_snoop_transaction_association_check svt_chi_sys_err_check_stats_cov_interconnect_dvm_sync_snoop_transaction_association_check ARM-IHI0050E.b: 8.1 DVM transaction flow
CHI System dvm interconnect_dvm_operation_snoop_transaction_association_check svt_chi_sys_err_check_stats_cov_interconnect_dvm_operation_snoop_transaction_association_check ARM-IHI0050E.b: 8.1 DVM transaction flow
CHI System Domain and snoop coherent_snoop_domain_match_check svt_chi_sys_err_check_stats_cov_coherent_snoop_domain_match_check ARM-IHI0050E.b: 2.9.6 Snoop Attribute
CHI System hazard coherent_copyback_atomic_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_copyback_atomic_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_atomic_copyback_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_atomic_copyback_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_copyback_write_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_copyback_write_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_write_copyback_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_write_copyback_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_copyback_read_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_copyback_read_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_read_copyback_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_read_copyback_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_copyback_atomic_hazard_check svt_chi_sys_err_check_stats_cov_coherent_copyback_atomic_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_atomic_copyback_hazard_check svt_chi_sys_err_check_stats_cov_coherent_atomic_copyback_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_copyback_write_hazard_check svt_chi_sys_err_check_stats_cov_coherent_copyback_write_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_write_copyback_hazard_check svt_chi_sys_err_check_stats_cov_coherent_write_copyback_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_copyback_read_hazard_check svt_chi_sys_err_check_stats_cov_coherent_copyback_read_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_read_copyback_hazard_check svt_chi_sys_err_check_stats_cov_coherent_read_copyback_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System coherent rsp cache_state_of_stash_resp_check svt_chi_sys_err_check_stats_cov_cache_state_of_stash_resp_check ARM-IHI0050E.b: 7 Cache Stashing
CHI System coherent and snoop stash_data_pull_integrity_check svt_chi_sys_err_check_stats_cov_stash_data_pull_integrity_check ARM-IHI0050E.b: 7 Cache Stashing
CHI System coherent and snoop associated_snoop_trace_tag_validity_check svt_chi_sys_err_check_stats_cov_associated_snoop_trace_tag_validity_check ARM-IHI0050E.b: 11.5 Trace Tag
CHI System coherent and snoop only_one_snoop_with_rettosrc_check svt_chi_sys_err_check_stats_cov_only_one_snoop_with_rettosrc_check ARM-IHI0050E.b: 4.9 Returning Data with Snoop response
CHI System coherent and snoop only_one_forward_snoop_per_coherent_transaction_check svt_chi_sys_err_check_stats_cov_only_one_forward_snoop_per_coherent_transaction_check ARM-IHI0050E.b: 4.3 Snoop request types
CHI System coherent rsp cache_state_of_xact_resp_check svt_chi_sys_err_check_stats_cov_cache_state_of_xact_resp_check ARM-IHI0050E.b: 4.7 Cache state transitions at a Requester
CHI System coherent and snoop coherent_snoop_type_match_check svt_chi_sys_err_check_stats_cov_coherent_snoop_type_match_check ARM-IHI0050E.b: Table 4-24 Expected snoop requests per Request from an RN
CHI System coherent and snoop snoop_not_sent_to_initiating_master_check svt_chi_sys_err_check_stats_cov_snoop_not_sent_to_initiating_master_check ARM-IHI0050E.b: 4.4 Request transactions and corresponding Snoop requests
CHI System coherent and snoop overlapping_addr_sequencing_check svt_chi_sys_err_check_stats_cov_overlapping_addr_sequencing_check ARM-IHI0050E.b: 4.11.2 At the ICNHN-F node
CHI System coherent and snoop snoop_addr_matches_coherent_addr_check svt_chi_sys_err_check_stats_cov_snoop_addr_matches_coherent_addr_check ARM-IHI0050E.b: 4.3 Snoop request types
CHI System snoop rsp only_one_snoop_returns_data_check svt_chi_sys_err_check_stats_cov_only_one_snoop_returns_data_check ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee
CHI System snoop rsp snoop_resp_passdirty_check svt_chi_sys_err_check_stats_cov_snoop_resp_passdirty_check ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee
CHI System snoop rsp snoop_resp_wasunique_check svt_chi_sys_err_check_stats_cov_snoop_resp_wasunique_check ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee
CHI System coherent and snoop coherent_xact_with_no_snoop_check svt_chi_sys_err_check_stats_cov_coherent_xact_with_no_snoop_check ARM-IHI0050E.b: 4.4 Request transactions and corresponding Snoop requests
CHI System coherent and snoop coherent_and_snoop_data_match_check svt_chi_sys_err_check_stats_cov_coherent_and_snoop_data_match_check ARM-IHI0050E.b: 4.3 Snoop request types
CHI System data integrity snoop_data_integrity_check svt_chi_sys_err_check_stats_cov_snoop_data_integrity_check ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee
CHI System data integrity copyback_data_integrity_check svt_chi_sys_err_check_stats_cov_copyback_data_integrity_check ARM-IHI0050E.b: 4.7.3 Write request transactions
CHI System Streaming order single_rn_optimized_streaming_order_check svt_chi_sys_err_check_stats_cov_single_rn_optimized_streaming_order_check ARM-IHI0050E.b: 2.8.5
CHI System MPAM matching_mpam_values_for_original_request_and_associated_stash_snoop_check svt_chi_sys_err_check_stats_cov_matching_mpam_values_for_original_request_and_associated_stash_snoop_check ARM-IHI0050E.b: 11.3 MPAM
CHI System MPAM matching_mpam_values_for_original_request_and_associated_slave_xact_check svt_chi_sys_err_check_stats_cov_matching_mpam_values_for_original_request_and_associated_slave_xact_check ARM-IHI0050E.b: 11.3 MPAM
CHI System Mismatched Memory attributes same_memory_snoop_attributes_for_addr_check svt_chi_sys_err_check_stats_cov_same_memory_snoop_attributes_for_addr_check ARM-IHI0050E.b: 2.9.7 Mismatched Memory attributes
CHI System hazard coherent_atomic_atomic_hazard_check svt_chi_sys_err_check_stats_cov_coherent_atomic_atomic_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_atomic_read_hazard_check svt_chi_sys_err_check_stats_cov_coherent_atomic_read_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_read_atomic_hazard_check svt_chi_sys_err_check_stats_cov_coherent_read_atomic_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_atomic_write_hazard_check svt_chi_sys_err_check_stats_cov_coherent_atomic_write_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_write_atomic_hazard_check svt_chi_sys_err_check_stats_cov_coherent_write_atomic_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_atomic_atomic_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_atomic_atomic_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_atomic_read_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_atomic_read_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_read_atomic_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_read_atomic_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_atomic_write_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_atomic_write_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_write_atomic_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_write_atomic_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_copyback_copyback_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_copyback_copyback_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_read_read_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_read_read_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_write_write_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_write_write_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_write_read_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_write_read_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_read_write_hazard_after_slave_xact_association_check svt_chi_sys_err_check_stats_cov_coherent_read_write_hazard_after_slave_xact_association_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_read_read_hazard_check svt_chi_sys_err_check_stats_cov_coherent_read_read_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_req_compack_hazard_check svt_chi_sys_err_check_stats_cov_coherent_req_compack_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_write_write_hazard_check svt_chi_sys_err_check_stats_cov_coherent_write_write_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_write_read_hazard_check svt_chi_sys_err_check_stats_cov_coherent_write_read_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System hazard coherent_read_write_hazard_check svt_chi_sys_err_check_stats_cov_coherent_read_write_hazard_check ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F
CHI System DMT dmt_after_snoop_xacts_completion_check svt_chi_sys_err_check_stats_cov_dmt_after_snoop_xacts_completion_check ARM-IHI0050E.b: 2.3.1 Read transactions
CHI System DMT valid_xacts_for_optimized_dmt_check svt_chi_sys_err_check_stats_cov_valid_xacts_for_optimized_dmt_check ARM-IHI0050E.b: 2.3.1 Read transactions
CHI System DMT no_snoop_resp_dirty_with_dmt_check svt_chi_sys_err_check_stats_cov_no_snoop_resp_dirty_with_dmt_check ARM-IHI0050E.b: 2.3.1 Read transactions
CHI System ATOMICOPS comp_or_compdata_response_after_snoop_xacts_completion_for_atomic_transaction_check svt_chi_sys_err_check_stats_cov_comp_or_compdata_response_after_snoop_xacts_completion_for_atomic_transaction_check ARM-IHI0050E.b: 4.2 Request types
CHI System data integrity atomic_returned_initial_data_integrity_check svt_chi_sys_err_check_stats_cov_atomic_returned_initial_data_integrity_check ARM-IHI0050E.b: 2.3.3 Atomic transactions
CHI System Transaction ordering slave_xacts_ordering_for_ordered_rn_xact_check svt_chi_sys_err_check_stats_cov_slave_xacts_ordering_for_ordered_rn_xact_check ARM-IHI0050E.b: 2.8.5 Transaction ordering
CHI System Propagation of Attr memory_attributes_propagation_check svt_chi_sys_err_check_stats_cov_memory_attributes_propagation_check ARM-IHI0050E.b: 2.9.3 Memory Attributes
CHI System coherent rsp coherent_resp_passdirty_check svt_chi_sys_err_check_stats_cov_coherent_resp_passdirty_check ARM-IHI0050E.b: 13.10.44 Response status, Resp
CHI System coherent rsp coherent_resp_isshared_check svt_chi_sys_err_check_stats_cov_coherent_resp_isshared_check ARM-IHI0050E.b: 13.10.44 Response status, Resp
CHI System data integrity read_data_integrity_check svt_chi_sys_err_check_stats_cov_read_data_integrity_check ARM-IHI0050E.b: 4.7.1 Read request transactions
CHI System ABF multiple_abf_requests_targeted_to_same_addr_and_to_same_target svt_chi_sys_err_check_stats_cov_multiple_abf_requests_targeted_to_same_addr_and_to_same_target SYNOPSYS DEFINED
CHI System routing slave_transaction_routing_check svt_chi_sys_err_check_stats_cov_slave_transaction_routing_check SYNOPSYS DEFINED
13 August 2024, Copyright © 2024 Synopsys, Inc.