How to download VIP smartsearch?
DESIGNWARE_HOMEto required designware home location where VIP Smartsearch should be downloaded.
vip_smartsearch_<version>.runfile.
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
How to install VIP Smartsearch?
Please refer to the fileVIP_Smartsearch_installation_and_usage_guide.pdfin
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>for installation steps.
Customer Support
For more details about VIP smartsearch tool, contact support_center@synopsys.com.Summary of Protocol Checks defined in AMBA CHI-A SVT VMM Documentation:
| Product Base | Group |
|---|---|
| amba_svt | CHI Protocol Layer |
| CHI Link Layer | |
| CHI System |
| Group | Sub Group | Protocol Check Instance name | Covergroup Class name | Reference ▲▼ |
|---|---|---|---|---|
| CHI Protocol Layer | Node performance metrics | perf_min_write_throughput_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_max_write_throughput_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_min_read_throughput_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_max_read_throughput_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_avg_min_read_xact_latency_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_avg_max_read_xact_latency_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_min_read_xact_latency_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_max_read_xact_latency_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_avg_min_write_xact_latency_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_avg_max_write_xact_latency_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_min_write_xact_latency_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Node performance metrics | perf_max_write_xact_latency_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Snoop Transaction timeout check | snp_transaction_inactivity_timeout_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | Transaction timeout check | 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 | -- | 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 | -- | 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 | -- | ARM-IHI0050E.b: 6.3.3 Exclusive accesses to Snoopable locations |
| CHI Protocol Layer | SACTIVE signal validity | valid_rxsactive_signal_check | -- | ARM-IHI0050E.b: 14.7 Protocol layer activity indication |
| CHI Protocol Layer | SACTIVE signal validity | 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 | -- | ARM-IHI0050E.b: 2.6 Transaction identifier field flows |
| CHI Protocol Layer | barrier xact | valid_resp_err_status_for_barrier_xact_check | -- | ARM-IHI0050A: 9.4.4 Other transactions |
| CHI Protocol Layer | snp req validity | 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 | -- | ARM-IHI0050E.b: 4.7.1 Read request transactions |
| CHI Protocol Layer | dat flit valid | 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 | -- | ARM-IHI0050E.b: 4.7.1 Read request transactions |
| CHI Protocol Layer | resp flit valid | 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 | -- | ARM-IHI0050E.b: 4.7.2 Dataless request transactions |
| CHI Protocol Layer | resp flit valid | 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 | -- | ARM-IHI0050E.b: 9.4.1 Read transactions |
| CHI Protocol Layer | dat flit valid | 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 | -- | ARM-IHI0050E.b: 9.4.1 Read transactions |
| CHI Protocol Layer | resp flit valid | 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 | -- | ARM-IHI0050E.b: 9.4.2 Dataless transactions |
| CHI Protocol Layer | resp flit valid | evict_associated_comp_response_legal_resperr_check | -- | ARM-IHI0050E.b: 9.4.2 Dataless transactions |
| CHI Protocol Layer | resp and dat flit valid | 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 | -- | ARM-IHI0050E.b: 9.4.3 Write transactions |
| CHI Protocol Layer | resp and dat flit valid | 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 | -- | ARM-IHI0050E.b: 4.7.1 Read request transactions |
| CHI Protocol Layer | ordering check | 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 | -- | 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 | -- | 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 | -- | 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 | -- | 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 | -- | 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 | -- | 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 | -- | 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 | -- | ARM-IHI0050E.b: 9.4.7 Snoop transactions |
| CHI Protocol Layer | resp and dat flit valid | 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 | -- | ARM-IHI0050E.b: 9.4.7 Snoop transactions |
| CHI Protocol Layer | resp and dat flit valid | 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 | -- | ARM-IHI0050E.b: 9.4.7 Snoop transactions |
| CHI Protocol Layer | resp and dat flit valid | 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 | -- | ARM-IHI0050E.b: 9.4.7 Snoop transactions |
| CHI Protocol Layer | associate flit to xact | 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 | -- | 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 | -- | 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 | -- | 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 | -- | ARM-IHI0050E.b: 4.7.3 Write request transactions |
| CHI Protocol Layer | dat flit valid | 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 | -- | 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 | -- | 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 | -- | ARM-IHI0050E.b: 4.11 Hazard conditions |
| CHI Protocol Layer | dvm xact | valid_order_of_dvmop_rspflits_check | -- | ARM-IHI0050E.b: 2.3.7 DVM transactions |
| CHI Protocol Layer | dvm xact | valid_snpdvmop_part_check | -- | ARM-IHI0050E.b: 8.1.3 Flow control |
| CHI Protocol Layer | dvm xact | 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 | -- | ARM-IHI0050E.b: 8.1.3 Flow control |
| CHI Protocol Layer | resp flit valid | 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 | -- | ARM-IHI0050E.b: 4.5.1 Completion response |
| CHI Protocol Layer | resp flit valid | 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 | -- | 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 | -- | ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow |
| CHI Protocol Layer | resp flit validity | valid_snprsp_for_snpdvmop_check | -- | ARM-IHI0050E.b: 8.1.3 Flow control |
| CHI Protocol Layer | dvm xact | 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 | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | dvm xact | 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 | -- | ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow |
| CHI Protocol Layer | barrier xact | 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 | -- | ARM-IHI0050A: 7.5 Barriers |
| CHI Protocol Layer | request validity | expected_tgt_id_in_rn_xact_check | -- | ARM-IHI0050E.b: 3.3.1 Target ID determination for Request messages |
| CHI Protocol Layer | Compack timing | 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 | -- | ARM-IHI0050E.b: 4.2.2 Dataless transactions |
| CHI Protocol Layer | request validity | 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 | -- | ARM-IHI0050E.b: 4.7.3 Write request transactions |
| CHI Protocol Layer | resp flit valid | expected_compack_check | -- | ARM-IHI0050E.b: 2.3 Transaction structure |
| CHI Protocol Layer | resp flit validity | 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 | -- | ARM-IHI0050E.b: 2.8 Ordering |
| 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 |
| CHI Protocol Layer | resp flit validity | 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 | -- | ARM-IHI0050E.b: 9.4.3 Write transactions |
| CHI Protocol Layer | dat flit valid | 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 | -- | ARM-IHI0050E.b: 9.4.1 Read transactions |
| CHI Protocol Layer | resp flit valid | 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 | -- | ARM-IHI0050E.b: 4.7.2 Dataless request transactions |
| CHI Protocol Layer | resp flit valid | 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 | -- | ARM-IHI0050E.b: 9.4.2 Dataless transactions |
| CHI Protocol Layer | resp flit valid | 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 | -- | ARM-IHI0050E.b: 9.4.2 Dataless transactions |
| CHI Protocol Layer | dat flit valid | 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 | -- | ARM-IHI0050E.b: 9.2 Error response fields |
| CHI Protocol Layer | dat flit field | 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 | -- | 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 | -- | ARM-IHI0050E.b: 2.5 Details of transaction identifier fields |
| CHI Protocol Layer | resp flit valid | 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 | -- | ARM-IHI0050E.b: 4.7.1 Read request transactions |
| CHI Protocol Layer | dat flit valid | 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 | -- | ARM-IHI0050E.b: 4.5 Response types |
| CHI Protocol Layer | resp flit validity | 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 | -- | ARM-IHI0050E.b: 4.5.1 Completion response |
| CHI Protocol Layer | associate flit to xact | 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 | -- | ARM-IHI0050E.b: 2.6 Transaction identifier field flows |
| CHI Protocol Layer | associate flit to xact | 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 | -- | ARM-IHI0050E.b: 2.6 Transaction identifier field flows |
| CHI Protocol Layer | dat flit valid | 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 | -- | ARM-IHI0050E.b: 2.9.4 Transaction attribute combinations |
| CHI Protocol Layer | request validity | expected_xact_type_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | retry xact | valid_pcrdreturn_check | -- | ARM-IHI0050E.b: 2.3.8 Retry |
| CHI Protocol Layer | retry xact | valid_retry_xact_check | -- | ARM-IHI0050E.b: 2.3.8 Retry |
| CHI Protocol Layer | retry xact | 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 | -- | ARM-IHI0050E.b: 2.11.2 Transaction Retry mechanism |
| CHI Protocol Layer | associate flit to xact | 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 | -- | ARM-IHI0050E.b: 2.10.3 Byte Enables |
| CHI Protocol Layer | associate flit to xact | 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 | -- | ARM-IHI0050E.b: 2.3 Transaction structure |
| CHI Protocol Layer | dat flit valid | writenosnp_associated_response_data_packets_legal_cache_state_check | -- | ARM-IHI0050E.b: 4.7.3 Write request transactions |
| CHI Protocol Layer | dat flit valid | 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 | -- | ARM-IHI0050E.b: 2.5.2 Transaction ID |
| CHI Protocol Layer | dat flit field | 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 | -- | ARM-IHI0050E.b: 13.10.50 Data Identifier, DataID |
| CHI Protocol Layer | dat flit field | rx_dat_flit_data_id_check | -- | ARM-IHI0050E.b: 13.10.50 Data Identifier, DataID |
| CHI Protocol Layer | dvm outstanding transactions | num_non_dvm_snoop_exceeded_configured_value_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | dvm outstanding transactions | num_dvm_snoop_exceeded_configured_value_check | -- | SYNOPSYS DEFINED |
| CHI Protocol Layer | retry xact | 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 | -- | ARM-IHI0050E.b: 9.4.3 Write transactions |
| CHI Link Layer | signal validity | valid_rxdatflit_signal_check | -- | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel |
| CHI Link Layer | signal validity | valid_txdatflit_signal_check | -- | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel |
| CHI Link Layer | signal validity | valid_reqflit_signal_check | -- | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel |
| CHI Link Layer | During reset | signal_valid_txdatlcrdv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | During reset | signal_valid_rxdatflitv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | During reset | signal_valid_txrsplcrdv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | signal validity | signal_valid_rxreqlcrdv_check | -- | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel |
| CHI Link Layer | During reset | signal_valid_rxreqlcrdv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | signal validity | signal_valid_rxsnpflitv_check | -- | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel |
| CHI Link Layer | signal validity | signal_valid_rxsnpflitpend_check | -- | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel |
| CHI Link Layer | signal validity | signal_valid_rxrspflitv_check | -- | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel |
| CHI Link Layer | signal validity | signal_valid_rxrspflitpend_check | -- | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel |
| CHI Link Layer | signal validity | signal_valid_txreqlcrdv_check | -- | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel |
| CHI Link Layer | signal validity | valid_rxrspflit_signal_check | -- | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel |
| CHI Link Layer | During reset | signal_valid_rxrspflitv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | During reset | signal_valid_txreqlcrdv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | signal validity | signal_valid_rxreqflitv_check | -- | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel |
| CHI Link Layer | signal validity | signal_valid_rxreqflitpend_check | -- | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel |
| CHI Link Layer | During reset | signal_valid_rxreqflitv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | signal validity | signal_valid_rxrsplcrdv_check | -- | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel |
| CHI Link Layer | signal validity | signal_valid_txreqflitv_check | -- | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel |
| CHI Link Layer | signal validity | signal_valid_rxsnplcrdv_check | -- | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel |
| CHI Link Layer | signal validity | signal_valid_txreqflitpend_check | -- | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel |
| CHI Link Layer | During reset | signal_valid_rxrsplcrdv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | During reset | signal_valid_txreqflitv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | During reset | signal_valid_rxlinkactivereq_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | During reset | signal_valid_txlinkactiveack_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | signal validity | signal_valid_rxlinkactivereq_check | -- | ARM-IHI0050E.b:14: Link Handshake |
| CHI Link Layer | signal validity | signal_valid_rxdatflitv_check | -- | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel |
| CHI Link Layer | signal validity | signal_valid_rxdatflitpend_check | -- | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel |
| CHI Link Layer | signal validity | signal_valid_txrsplcrdv_check | -- | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel |
| CHI Link Layer | signal validity | signal_valid_txdatlcrdv_check | -- | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel |
| CHI Link Layer | signal validity | signal_valid_rxsactive_check | -- | ARM-IHI0050E.b:14: Link Handshake |
| CHI Link Layer | signal validity | signal_valid_txlinkactiveack_check | -- | ARM-IHI0050E.b:14: Link Handshake |
| CHI Link Layer | signal validity | valid_txrspflit_signal_check | -- | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel |
| CHI Link Layer | During reset | signal_valid_rxdatlcrdv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | During reset | signal_valid_txdatflitv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | During reset | signal_valid_txrspflitv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | During reset | signal_valid_rxlinkactiveack_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | During reset | signal_valid_txlinkactivereq_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | signal validity | signal_valid_rxdatlcrdv_check | -- | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel |
| CHI Link Layer | signal validity | signal_valid_txrspflitv_check | -- | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel |
| CHI Link Layer | signal validity | signal_valid_txrspflitpend_check | -- | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel |
| CHI Link Layer | signal validity | signal_valid_txdatflitv_check | -- | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel |
| CHI Link Layer | signal validity | signal_valid_txdatflitpend_check | -- | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel |
| CHI Link Layer | signal validity | signal_valid_rxlinkactiveack_check | -- | ARM-IHI0050E.b:14: Link Handshake |
| CHI Link Layer | signal validity | signal_valid_txsactive_check | -- | ARM-IHI0050E.b:14: Link Handshake |
| CHI Link Layer | signal validity | signal_valid_txlinkactivereq_check | -- | ARM-IHI0050E.b:14: Link Handshake |
| CHI Link Layer | l-credit | valid_lcredit_range_check | -- | ARM-IHI0050E.b:14.2 Link layer Credit |
| CHI Link Layer | link deactivation | tx_link_deactive_request_timeout_check | -- | ARM-IHI0050E.b:14.6.1 Introduction |
| CHI Link Layer | link activation | 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 | -- | ARM-IHI0050E.b:14.5.1 Request and Acknowledge handshake |
| CHI Link Layer | link deactivation | rx_link_deactive_request_timeout_check | -- | ARM-IHI0050E.b:14.6.1 Introduction |
| CHI Link Layer | link activation | 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 | -- | ARM-IHI0050E.b:14.5.1 Request and Acknowledge handshake |
| CHI Link Layer | dat flit valid | invalid_data_flit_check | -- | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode |
| CHI Link Layer | dat flit valid | data_flit_lcrdreturn_check | -- | ARM-IHI0050E.b:A.3 Data message field mappings |
| CHI Link Layer | rsp flit valid | rsp_flit_lcrdreturn_check | -- | ARM-IHI0050E.b:A.2 Response message field mappings |
| CHI Link Layer | req flit valid | req_flit_lcrdreturn_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | rsp flit valid | invalid_rsp_flit_check | -- | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode |
| CHI Link Layer | dat flit valid | data_flit_compdata_check | -- | ARM-IHI0050E.b:A.3 Data message field mappings |
| CHI Link Layer | rsp flit valid | rsp_flit_pcrdgrant_check | -- | ARM-IHI0050E.b:A.2 Response message field mappings |
| CHI Link Layer | rsp flit valid | rsp_flit_dbidresp_check | -- | ARM-IHI0050E.b:A.2 Response message field mappings |
| CHI Link Layer | rsp flit valid | rsp_flit_compdbidresp_check | -- | ARM-IHI0050E.b:A.2 Response message field mappings |
| CHI Link Layer | rsp flit valid | rsp_flit_comp_check | -- | ARM-IHI0050E.b:A.2 Response message field mappings |
| CHI Link Layer | rsp flit valid | rsp_flit_retryack_check | -- | ARM-IHI0050E.b:A.2 Response message field mappings |
| CHI Link Layer | req flit valid | valid_xact_attributes_combination_check | -- | ARM-IHI0050E.b:2.9.4 Transaction attribute combinations |
| CHI Link Layer | req flit valid | invalid_req_flit_check | -- | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode |
| CHI Link Layer | dat flit valid | data_flit_noncopybackwrdata_check | -- | ARM-IHI0050E.b:A.3 Data message field mappings |
| CHI Link Layer | req flit valid | req_flit_readnosnp_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_writenosnpfull_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_writenosnpptl_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_pcrdreturn_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | rsp flit valid | rsp_flit_compack_check | -- | ARM-IHI0050E.b:A.2 Response message field mappings |
| CHI Link Layer | req flit valid | req_flit_readonce_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_writeuniquefull_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_writeuniqueptl_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_makeinvalid_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_cleaninvalid_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_cleanshared_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | snp flit valid | invalid_snp_flit_check | -- | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode |
| CHI Link Layer | snp flit valid | snoop_flit_lcrdreturn_check | -- | ARM-IHI0050E.b:A.4 Snoop Request message field mappings |
| CHI Link Layer | signal validity | valid_snpflit_signal_check | -- | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel |
| CHI Link Layer | During reset | signal_valid_rxsnpflitv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | snp flit valid | snoop_flit_snpdvmop_check | -- | ARM-IHI0050E.b:A.4 Snoop Request message field mappings |
| CHI Link Layer | During reset | signal_valid_rxsnplcrdv_during_reset | -- | ARM-IHI0050E.b:14.1.3 Initialization |
| CHI Link Layer | rsp flit valid | rsp_flit_snpresp_check | -- | ARM-IHI0050E.b:A.2 Response message field mappings |
| CHI Link Layer | req flit valid | req_flit_dvmop_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | rsp flit valid | rsp_flit_readreceipt_check | -- | ARM-IHI0050E.b:A.2 Response message field mappings |
| CHI Link Layer | req flit valid | req_flit_ecbarrier_check | -- | ARM-IHI0050A:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_eobarrier_check | -- | ARM-IHI0050A:A.1 Request message field mappings |
| CHI Link Layer | snp flit valid | snoop_flit_snpreq_check | -- | ARM-IHI0050E.b:A.4 Snoop Request message field mappings |
| CHI Link Layer | dat flit valid | data_flit_snprespdataptl_check | -- | ARM-IHI0050E.b:A.3 Data message field mappings |
| CHI Link Layer | dat flit valid | data_flit_copybackwrdata_check | -- | ARM-IHI0050E.b:A.3 Data message field mappings |
| CHI Link Layer | dat flit valid | data_flit_snprespdata_check | -- | ARM-IHI0050E.b:A.3 Data message field mappings |
| CHI Link Layer | req flit valid | req_flit_evict_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_writecleanptl_check | -- | ARM-IHI0050A:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_writebackptl_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_writeevictfull_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_writecleanfull_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_writebackfull_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_makeunique_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_cleanunique_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_readunique_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_readclean_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | req flit valid | req_flit_readshared_check | -- | ARM-IHI0050E.b:A.1 Request message field mappings |
| CHI Link Layer | l-credit | 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 | -- | ARM-IHI0050E.b:14.5 Interface activation and deactivation |
| CHI Link Layer | l-credit | rx_no_lcredit_issued_for_flit_type | -- | ARM-IHI0050E.b:14.2 Link layer Credit |
| CHI Link Layer | port interleaving | port_interleaving_check | -- | SYNOPSYS DEFINED:SYNOPSYS DEFINED |
| CHI Link Layer | signal validity | 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 | -- | 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 | -- | ARM-IHI0050E.b:14.6.3 Expected transitions |
| CHI Link Layer | link active sm | 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 | -- | ARM-IHI0050E.b:14.6.3 Expected transitions |
| CHI Link Layer | link active sm | 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 | -- | ARM-IHI0050E.b:14.6.3 Expected transitions |
| CHI Link Layer | link active sm | illegal_tx_rx_state_transition_combinations | -- | ARM-IHI0050E.b:14.6.3 Expected transitions |
| CHI Link Layer | link active sm | rx_illegal_state_transition | -- | ARM-IHI0050E.b:14.6.3 Expected transitions |
| CHI Link Layer | link active sm | 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 | -- | ARM-IHI0050E.b:14.5 Interface activation and deactivation |
| CHI Link Layer | l-credit | invalid_lcredit_check | -- | ARM-IHI0050E.b:14.5 Interface activation and deactivation |
| CHI Link Layer | l-credit | 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 | -- | ARM-IHI0050E.b:14.2 Link layer Credit |
| CHI Link Layer | l-credit | tx_no_lcredit_for_flit_transfer | -- | ARM-IHI0050E.b:14.2 Link layer Credit |
| CHI System | coherent rsp | coherent_resp_start_conditions_check | -- | ARM-IHI0050E.b: 4.3 Snoop request types |
| CHI System | Exclusive Access | exclusive_chi_transaction_type_check | -- | ARM-IHI0050E.b: 6.3 Exclusive transactions |
| CHI System | Exclusive Access | exclusive_store_resp_check | -- | ARM-IHI0050E.b: 6.2 Exclusive monitors |
| CHI System | Exclusive Access | exclusive_load_resp_check | -- | ARM-IHI0050E.b: 6.2 Exclusive monitors |
| CHI System | data integrity | slave_data_integrity_check | -- | SYNOPSYS DEFINED |
| CHI System | dvm | interconnect_dvm_snoop_timing_check | -- | ARM-IHI0050E.b: 8.1 DVM transaction flow |
| CHI System | dvm | valid_dvm_response_from_interconnect_check | -- | ARM-IHI0050E.b: 8.1 DVM transaction flow |
| CHI System | dvm | interconnect_dvm_response_timing_check | -- | ARM-IHI0050E.b: 8.1 DVM transaction flow |
| CHI System | dvm | 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 | -- | ARM-IHI0050E.b: 8.1 DVM transaction flow |
| CHI System | Domain and snoop | coherent_snoop_domain_match_check | -- | ARM-IHI0050E.b: 2.9.6 Snoop Attribute |
| CHI System | hazard | 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 | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | 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 | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | coherent_copyback_write_hazard_check | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | coherent_write_copyback_hazard_check | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | coherent_copyback_read_hazard_check | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | coherent_read_copyback_hazard_check | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | coherent rsp | 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 | -- | 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 | -- | ARM-IHI0050E.b: 4.4 Request transactions and corresponding Snoop requests |
| CHI System | coherent and snoop | 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 | -- | ARM-IHI0050E.b: 4.3 Snoop request types |
| CHI System | snoop rsp | 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 | -- | ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee |
| CHI System | snoop rsp | 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 | -- | ARM-IHI0050E.b: 4.4 Request transactions and corresponding Snoop requests |
| CHI System | coherent and snoop | coherent_and_snoop_data_match_check | -- | ARM-IHI0050E.b: 4.3 Snoop request types |
| CHI System | data integrity | snoop_data_integrity_check | -- | ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee |
| CHI System | data integrity | copyback_data_integrity_check | -- | ARM-IHI0050E.b: 4.7.3 Write request transactions |
| CHI System | Streaming order | single_rn_optimized_streaming_order_check | -- | ARM-IHI0050E.b: 2.8.5 |
| CHI System | Mismatched Memory attributes | same_memory_snoop_attributes_for_addr_check | -- | ARM-IHI0050E.b: 2.9.7 Mismatched Memory attributes |
| CHI System | hazard | 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 | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | 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 | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | 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 | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | coherent_req_compack_hazard_check | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | coherent_write_write_hazard_check | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | coherent_write_read_hazard_check | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | hazard | coherent_read_write_hazard_check | -- | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F |
| CHI System | Transaction ordering | 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 | -- | ARM-IHI0050E.b: 2.9.3 Memory Attributes |
| CHI System | coherent rsp | coherent_resp_passdirty_check | -- | ARM-IHI0050E.b: 13.10.44 Response status, Resp |
| CHI System | coherent rsp | coherent_resp_isshared_check | -- | ARM-IHI0050E.b: 13.10.44 Response status, Resp |
| CHI System | data integrity | 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 | -- | SYNOPSYS DEFINED |
| CHI System | routing | slave_transaction_routing_check | -- | SYNOPSYS DEFINED |