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 | Protocol Check Class |
|---|---|---|
| amba_svt | CHI Protocol Layer | svt_chi_protocol_err_check |
| CHI Link Layer | svt_chi_link_err_check | |
| CHI System | svt_chi_system_err_check |
| Group | Sub Group | Protocol Check Instance name | Reference ▲▼ | Description |
|---|---|---|---|---|
| CHI Protocol Layer | Node performance metrics | perf_min_write_throughput_check | SYNOPSYS DEFINED | Monitor Check that the throughput of write transactions in a given interval is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_max_write_throughput_check | SYNOPSYS DEFINED | Monitor Check that the throughput of write transactions in a given interval is less than or equal to the configured max value |
| CHI Protocol Layer | Node performance metrics | perf_min_read_throughput_check | SYNOPSYS DEFINED | Monitor Check that the throughput of read transactions in a given interval is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_max_read_throughput_check | SYNOPSYS DEFINED | Monitor Check that the throughput of read transactions in a given interval is less than or equal to the configured max value |
| CHI Protocol Layer | Node performance metrics | perf_avg_min_read_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the average latency of read transactions in a given interval is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_avg_max_read_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the average latency of read transactions in a given interval is less than or equal to the configured max value |
| CHI Protocol Layer | Node performance metrics | perf_min_read_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the latency of a read transaction is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_max_read_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the latency of a read transaction is less than or equal to the configured max value |
| CHI Protocol Layer | Node performance metrics | perf_avg_min_write_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the average latency of write transactions in a given interval is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_avg_max_write_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the average latency of write transactions in a given interval is less than or equal to the configured max value |
| CHI Protocol Layer | Node performance metrics | perf_min_write_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the latency of a write transaction is more than or equal to the configured min value |
| CHI Protocol Layer | Node performance metrics | perf_max_write_xact_latency_check | SYNOPSYS DEFINED | Monitor Check that the latency of a write transaction is less than or equal to the configured max value |
| CHI Protocol Layer | Snoop Transaction timeout check | snp_transaction_inactivity_timeout_check | SYNOPSYS DEFINED | Check that a Snoop transaction ends within the programmed number of clock cycles. |
| CHI Protocol Layer | Transaction timeout check | transaction_inactivity_timeout_check | SYNOPSYS DEFINED | Check that a transaction ends within the programmed number of clock cycles. |
| CHI Protocol Layer | exclusive access legal data_size transfer check | non_coherent_excl_access_legal_data_size_transfer_check | ARM-IHI0050E.b: 6.3.3 Exclusive accesses to Snoopable locations | Check that the number of bytes to be transferred in an exclusive access must be a legal data transfer size, that is, 1, 2,4, 8, 16, 32, or 64 bytes. |
| CHI Protocol Layer | exclusive access address aligned to total bytes check | non_coherent_excl_access_aligned_total_bytes_transaction_check | ARM-IHI0050E.b: 6.3.3 Exclusive accesses to Snoopable locations | Check that the address of an exclusive access must be aligned to the total number of bytes in the transaction. |
| CHI Protocol Layer | non-coherent exclusive access same lpid check | non_coherent_excl_read_multiple_entry_for_same_lpid_check | ARM-IHI0050E.b: 6.3.3 Exclusive accesses to Snoopable locations | Check that an exclusive monitor should not have more than one exclusive transaction of the same lpid at any given time. |
| CHI Protocol Layer | SACTIVE signal validity | valid_rxsactive_signal_check | ARM-IHI0050E.b: 14.7 Protocol layer activity indication | RXSACTIVE must remain asserted until after the last flit relating to all transactions is sent or received at the link partner node. |
| CHI Protocol Layer | SACTIVE signal validity | valid_txsactive_signal_check | ARM-IHI0050E.b: 14.7 Protocol layer activity indication | TXSACTIVE must remain asserted until after the last flit relating to all transactions is sent or received. |
| CHI Protocol Layer | associate flit to xact | associate_readreceipt_to_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | If the request Order field indicates that ordering is required then a ReadReceipt response must be returned on the CRSP channel when order has been established |
| CHI Protocol Layer | barrier xact | valid_resp_err_status_for_barrier_xact_check | ARM-IHI0050A: 9.4.4 Other transactions | A Barrier transaction response must not include an error response. |
| CHI Protocol Layer | snp req validity | valid_rn_d_snoop_flit_check | ARM-IHI0050E.b: Table B-2 Snoop communicating nodes | Use of the SNP channel is limited to DVM data transfers in case of RN-D nodes. |
| CHI Protocol Layer | dat flit valid | readunique_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readshared_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadShared transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readclean_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadClean transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | cleanunique_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response of a CleanUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | makeunique_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response of a MakeUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | evict_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response of an Evict transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readunique_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The associated compdata packet's resp_err field should not take EXOK value for ReadUnique transaction. |
| CHI Protocol Layer | dat flit valid | readshared_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The Exclusive Okay response must only be given for a transaction that has the Excl attribute set. |
| CHI Protocol Layer | dat flit valid | readclean_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The Exclusive Okay response must only be given for a transaction that has the Excl attribute set. |
| CHI Protocol Layer | resp flit valid | cleanunique_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The Exclusive Okay response must only be given for a transaction that has the Excl attribute set. |
| CHI Protocol Layer | resp flit valid | makeunique_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for MakeUnique transaction. |
| CHI Protocol Layer | resp flit valid | evict_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK or DERR value for Evict transaction. |
| CHI Protocol Layer | resp and dat flit valid | writeevict_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated CompDBIDResp should not take EXOK value whereas data packet should not take EXOK or NDERR resp_err value for WriteEvict transaction. |
| CHI Protocol Layer | resp and dat flit valid | writeclean_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated CompDBIDResp should not take EXOK value whereas data packet should not take EXOK or NDERR resp_err value for WriteClean transaction. |
| CHI Protocol Layer | resp and dat flit valid | writeback_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated CompDBIDResp should not take EXOK value whereas data packet should not take EXOK or NDERR resp_err value for WriteBack transaction. |
| CHI Protocol Layer | request validity | cache_transitioned_to_dirty_from_uce_for_read | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache transitioned to dirty stateUD/UDP from UCE. |
| CHI Protocol Layer | ordering check | new_req_before_compdbid_resp_for_copyback_to_same_cacheline_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | An RN-F must wait for the CompDBIDResp response to be received for an outstanding CopyBack transaction before issuing another request to the same cache line. |
| CHI Protocol Layer | resp flit valid | snpmakeinvalid_associated_response_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpMakeInvalid transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpcleaninvalid_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpCleanInvalid transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpcleanshared_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpCleanShared transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpunique_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpUnique transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpshared_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpShared transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snpclean_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpClean transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp and dat flit valid | snponce_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.8.1 Non-Forwarding and Non-stash Snoop transactions | The cache state in the associated response of a SnpOnce transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | snpmakeinvalid_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR resp_err value for SnpMakeInvalid transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpcleaninvalid_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpCleanInvalid transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpcleanshared_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpCleanShared transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpunique_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpUnique transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpshared_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpShared transaction. |
| CHI Protocol Layer | resp and dat flit valid | snpclean_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.5 Other transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpClean transaction. |
| CHI Protocol Layer | resp and dat flit valid | snponce_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.7 Snoop transactions | The associated SnpResp should not take EXOK or DERR whereas SnpRespData packet should not take EXOK or NDERR resp_err value for SnpOnce transaction. |
| CHI Protocol Layer | associate flit to xact | associate_snprspdata_flit_with_snp_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The TgtID and SrcID must be set to the the SrcID and TgtID of the Snoop request respectively. The TxnID is set to the same value as the TxnID of the Snoop request. |
| CHI Protocol Layer | resp flit validity | valid_snprsp_flit_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The TgtID and SrcID must be set to the the SrcID and TgtID of the Snoop request respectively. The TxnID is set to the same value as the TxnID of the Snoop request. |
| CHI Protocol Layer | resp and dat flit valid | writeevict_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteEvict transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | resp and dat flit valid | writeclean_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteClean transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | resp and dat flit valid | writeback_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteBack transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | dat flit valid | valid_dat_flit_type_for_snp_xact_check | ARM-IHI0050E.b: 4.5 Response types | Data flit type must be set to one of the permitted values for the Request |
| CHI Protocol Layer | dat flit valid | valid_cbwrdata_flit_for_xact_check | ARM-IHI0050E.b: 4.5.2 WriteData response | Data flit type must be set to one of the permitted values for the Request |
| CHI Protocol Layer | snp req validity | new_snp_req_before_compack_of_coherent_xact_which_received_comp_to_same_cacheline_check | ARM-IHI0050E.b: 4.11 Hazard conditions | The completer can send out the Snoop requests to an RN-F only when there are no outstanding coherent transactions from that particular RN-F targetting the same cache line that received completion response and has not yet received the CompAck/WrData |
| CHI Protocol Layer | snp req validity | new_snp_req_before_completion_of_previous_snp_xact_to_same_cacheline_check | ARM-IHI0050E.b: 4.11 Hazard conditions | The completer can send out the Snoop requests to an RN-F only when there are no outstanding Snoop transactions targetting the same cache line to that particular RN-F |
| CHI Protocol Layer | dvm xact | valid_order_of_dvmop_rspflits_check | ARM-IHI0050E.b: 2.3.7 DVM transactions | Completer first returns a DBIDResp indicating that it can receive data and sends a Comp Response after the data transfer is complete |
| CHI Protocol Layer | dvm xact | valid_snpdvmop_part_check | ARM-IHI0050E.b: 8.1.3 Flow control | SnpDVMOp requests consist of two parts. Both SnpDVMOp request packets corresponding to a single transaction must use the same TxnID |
| CHI Protocol Layer | dvm xact | single_outstanding_snpdvmop_per_txn_id_check | ARM-IHI0050E.b: 2.4 Transaction identifier fields | The TxnID must be unique for a given Requester. The Requester can reuse the ID only after it has received all responses associated with a previous transaction that has used the same TxnID |
| CHI Protocol Layer | dvm xact | single_outstanding_snpdvmop_sync_check | ARM-IHI0050E.b: 8.1.3 Flow control | Only one SnpDVMOpSync transaction can be outstanding from an MN to an RN. |
| CHI Protocol Layer | resp flit valid | valid_resp_err_status_for_dvmop_xact_check | ARM-IHI0050E.b: 9.4.5 Other transactions | For DVMOP transaction, resp_err_status field of the associated Comp RSP flit must have one of the following values: 1NORMAL_OKAY 2NON_DATA_ERROR 3in case of chi_spec_revision >= ISSUE_B,DATA_ERROR. |
| CHI Protocol Layer | resp flit validity | valid_rspflit_for_dvmop_check | ARM-IHI0050E.b: 4.5.1 Completion response | A Comp response, with the Resp field set to zero, is always used for DVM transaction completion |
| CHI Protocol Layer | resp flit valid | snpdvmop_associated_response_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.5 Other transactions | The associated SnpResp should not take EXOK or DERR resp_err value for SnpDVMop transaction. |
| CHI Protocol Layer | resp flit valid | snpresp_for_snpdvmop_sync_only_after_completion_of_prior_snpdvmop_check | ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow | Sending of a SnpResp implies that all DVM related operations have completed at the RN structures. |
| CHI Protocol Layer | resp flit valid | snpresp_for_snpdvmop_sync_only_after_completion_of_all_non_dvm_sync_check | ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow | Sending of a SnpResp implies that all DVM related operations have completed at the RN structures. |
| CHI Protocol Layer | resp flit validity | valid_snprsp_for_snpdvmop_check | ARM-IHI0050E.b: 8.1.3 Flow control | An RN must provide a response to a SnpDVMOp transaction only after it has received both SnpDVMOp request packets corresponding to that transaction. |
| CHI Protocol Layer | dvm xact | valid_snpdvmop_req_part_num_check | ARM-IHI0050E.b: 8.2 DVM Operation types | Part number must be 0b0 for SnpDVMOp Part 1 and 0b1 for SnpDVMOp Part 2. |
| CHI Protocol Layer | dvm xact | single_outstanding_dvmop_sync_request_check | SYNOPSYS DEFINED | There can only be one outstanding DVMOpSync transaction from an RN at any point in time. |
| CHI Protocol Layer | dvm xact | unused_bits_in_dvm_write_data_check | ARM-IHI0050E.b: 8.1.4 DVMOp field value restrictions | All the unused bits in the write data of a DVMOp transaction must be set to zero. |
| CHI Protocol Layer | dvm xact | expected_dvmop_sync_request_check | ARM-IHI0050E.b: 8.1.2 Sync type DVM transaction flow | All previous DVMOp requests whose completion needs to be guaranteed by the DVMOpSync must have received a Comp response before the RN can send a DVMOpSync. |
| CHI Protocol Layer | barrier xact | normal_non_cacheable_or_device_writes_between_barriers_check | ARM-IHI0050A: 7.5.1 | It is recommended that an RN only issues an EOBarrier or ECBarrier if it has issued a Normal Non-cacheable, or Device type memory write request since previously completing an EOBarrier or ECBarrier. |
| CHI Protocol Layer | barrier xact | comp_received_for_normal_non_cacheable_or_device_writes_before_barrier_check | ARM-IHI0050A: 7.5 Barriers | An RN must wait until all Normal Non-cacheable writes, and all Device type writes, that are targeting an HN-I, have received a completion response before issuing an EOBarrier or an ECBarrier request |
| CHI Protocol Layer | request validity | expected_tgt_id_in_rn_xact_check | ARM-IHI0050E.b: 3.3.1 Target ID determination for Request messages | The Target ID in the request sent by the RN must be set as per the SAM, when target ID remapping is not expected at the Interconnect |
| CHI Protocol Layer | Compack timing | owo_writeunique_compack_timing_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | CompAck for an OWO WriteUnique must be sent once the Comp for all previous OWO WriteUnique transactions are received and comp When chi_spec_revision is less than or equal to ISSUE_C/Comp or DBIDResp or CompDBIDReespWhen chi_spec_revision is ISSUE_D or later for current WriteUnique transaction is received. |
| CHI Protocol Layer | request validity | new_req_before_completion_of_previous_cmo_xacts_to_same_cacheline_check | ARM-IHI0050E.b: 4.2.2 Dataless transactions | Transaction intended for a particular address that can allocate data in Requester caches must not be sent to the interconnect before a previous CMO sent to the same address has completed. |
| CHI Protocol Layer | request validity | cmo_xact_before_completion_of_previous_xacts_to_same_cacheline_check | ARM-IHI0050E.b: 4.2.2 Dataless transactions | A CMO intended for a particular address must not be sent before all previous requests, targeting the same cacheline, that can allocate data in the requester cache ReadShared, ReadClean, ReadUnique, ReadNotSharedDirty, CleanUnique, MakeUnique are complete. |
| CHI Protocol Layer | resp and dat flit valid | writeunique_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteUnique transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | resp flit valid | expected_compack_check | ARM-IHI0050E.b: 2.3 Transaction structure | CompAck must be observed only after Comp or all CompData responses are received. |
| CHI Protocol Layer | resp flit validity | valid_compack_rsp_flit_check | ARM-IHI0050E.b: 2.6.1 Read transactions | The TgtID and SrcID must be set to the the SrcID and TgtID of the read data respectively. The TxnID is set to the same value as the DBID value provided in the read data response. |
| CHI Protocol Layer | single req order stream | single_req_order_stream_check | ARM-IHI0050E.b: 2.8 Ordering | The ordering requirements must be met for preceding active transactions with ReqOrder asserted before initiating next ordered transaction |
| CHI Protocol Layer | resp and dat flit valid | expected_remapped_tgt_id_in_response_check | ARM-IHI0050E.b: 3.3.1 Target ID determination for Request messages | The Target ID in the request must be remapped correctly as per the SAM and the Source ID of the subsequent response flits must be set to the remapped Target ID value |
| CHI Protocol Layer | resp flit validity | valid_pcrdgrant_check | ARM-IHI0050E.b: 2.11 Request Retry | PcrdGrant is not seen without any outstanding transaction |
| CHI Protocol Layer | resp and dat flit valid | writeunique_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated Comp and CompDBIDResp should not take EXOK value whereas data packet should not take EXOK or NDERR resp_err value for WriteUnique transaction. |
| CHI Protocol Layer | dat flit valid | readonce_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadOnce transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readonce_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The associated compdata packet's resp_err field should not take EXOK value for ReadOnce transaction. |
| CHI Protocol Layer | resp flit valid | makeinvalid_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packet of a MakeInvalid transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | cleaninvalid_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packet of a CleanInvalid transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | cleanshared_associated_comp_response_legal_cache_state_check | ARM-IHI0050E.b: 4.7.2 Dataless request transactions | The cache state in the associated comp response packet of a CleanShared transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | resp flit valid | makeinvalid_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for MakeInvalid transaction. |
| CHI Protocol Layer | resp flit valid | cleaninvalid_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for CleanInvalid transaction. |
| CHI Protocol Layer | resp flit valid | cleanshared_associated_comp_response_legal_resperr_check | ARM-IHI0050E.b: 9.4.2 Dataless transactions | The associated comp response packet's resp_err field should not take EXOK value for CleanShared transaction. |
| CHI Protocol Layer | dat flit valid | valid_resp_for_data_packet_check | ARM-IHI0050E.b: 4.5 Response types | The Resp field in a response must have the same value for every packet of a data message regardless of whether or not there is an error condition. |
| CHI Protocol Layer | dat flit valid | single_xact_mix_ok_exok_response_check | ARM-IHI0050E.b: 9.2 Error response fields | A single transaction is not permitted to mix OK and EXOK responses. |
| CHI Protocol Layer | dat flit field | valid_ccid_in_dat_flit_check | ARM-IHI0050E.b: 2.10.6 Critical Chunk Identifier | CCID of all the data packets belonging to a transaction must be the same and equal to addr[5:4] of the corresponding Request |
| CHI Protocol Layer | dat flit valid | dbid_value_must_be_same_across_read_data_flits_check | ARM-IHI0050E.b: 2.5.9 Data Buffer ID | DBID must take the same value in all read data flits corresponding to a Read transaction with ExpCompAck set to 1 |
| CHI Protocol Layer | resp flit valid | separate_dbidresp_and_comp_must_include_same_dbid_value_check | ARM-IHI0050E.b: 2.5 Details of transaction identifier fields | A Comp response message sent separate from a DBIDResp or DBIDRespOrd message for a Write transaction must include the same DBID field value in the Comp and DBIDResp or DBIDRespOrd message |
| CHI Protocol Layer | resp flit valid | rsp_flit_dbid_check | ARM-IHI0050E.b: Table A-8 Response message field mappings | DBID field of the observed RSP flit must be valid |
| CHI Protocol Layer | dat flit valid | readnosnp_associated_compdata_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | The cache state in the associated CompData flits of a ReadNoSnp transaction should indicate a valid value when the RespErr field does not indicate any error. |
| CHI Protocol Layer | dat flit valid | readnosnp_associated_compdata_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.1 Read transactions | The Exclusive Okay response must only be given for a transaction that has the Excl attribute set. |
| CHI Protocol Layer | resp flit validity | valid_compdbid_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | resp flit validity | valid_dbid_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5 Response types | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | resp flit validity | valid_comp_flit_type_for_xact_check | ARM-IHI0050E.b: 4.5.1 Completion response | The Response flit type must correspond to one of the permitted values depending on the type of the transaction |
| CHI Protocol Layer | associate flit to xact | expected_rsp_flit_for_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The number of Response flits received for a transaction must match the number of responses, specified in the spec, for that transaction type. |
| CHI Protocol Layer | associate flit to xact | associate_rsp_flit_to_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The SrcID of the response flit must be match the Tgt ID of the request while the Txn ID of the response flit must be the same as that of the Request |
| CHI Protocol Layer | associate flit to xact | expected_num_read_data_flits_check | ARM-IHI0050E.b: 2.10.4 Data packetization | The number of data flits for a transaction is determined by number of bytes to be transferred and data bus width |
| CHI Protocol Layer | associate flit to xact | associate_read_dat_flit_with_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The SrcID of the Read data flit must match the Tgt ID of the request while the Txn ID of the response flit must be the same as that of the Request |
| CHI Protocol Layer | dat flit valid | valid_compdata_flit_for_xact_check | ARM-IHI0050E.b: 4.5.1 Completion response | Data flit type must be set to one of the permitted values for the Request |
| CHI Protocol Layer | request validity | new_req_before_completion_of_previous_read_write_xact_to_same_cacheline_check | ARM-IHI0050E.b: 2.9.4 Transaction attribute combinations | Read and Write transactions from the same source to addresses that overlap must remain ordered. |
| CHI Protocol Layer | request validity | expected_xact_type_check | SYNOPSYS DEFINED | Only supported transaction types must be issued to a given node. |
| CHI Protocol Layer | retry xact | valid_pcrdreturn_check | ARM-IHI0050E.b: 2.3.8 Retry | PcrdReturn transaction can only be sent after the reception of a PcrdGrant flit |
| CHI Protocol Layer | retry xact | valid_retry_xact_check | ARM-IHI0050E.b: 2.3.8 Retry | The transaction with credit must only be sent by the Requester after both the RetryAck response and an appropriate PCrdGrant response are received |
| CHI Protocol Layer | retry xact | valid_retry_xact_after_pcrdcgrant_check | ARM-IHI0050E.b: 2.11 Request Retry | The transaction must only be retried by the Requester when a PCrdGrant is received with the correct PCrdType. |
| CHI Protocol Layer | retry xact | valid_p_crd_type_in_pcrdreturn_flit_check | ARM-IHI0050E.b: 2.11.2 Transaction Retry mechanism | A PCrdReturn transaction must have the credit type set to the value of the credit type that is being returned |
| CHI Protocol Layer | associate flit to xact | associate_write_dat_flit_with_xact_check | ARM-IHI0050E.b: 2.6 Transaction identifier field flows | The SrcID of the Write data flit must match the Tgt ID of the request while the Txn ID of the response flit must be the same as that of the Request |
| CHI Protocol Layer | associate flit to xact | valid_byte_enable_for_write_data_check | ARM-IHI0050E.b: 2.10.3 Byte Enables | For all Write transactions, byte enables that are not within the data window, specified by Addr and Size, must be deasserted. |
| CHI Protocol Layer | associate flit to xact | expected_num_write_data_flits_check | ARM-IHI0050E.b: 2.10.4 Data packetization | The number of data flits for a transaction is determined by number of bytes to be transferred and data bus width |
| CHI Protocol Layer | associate flit to xact | write_dat_xfer_after_dbid_check | ARM-IHI0050E.b: 2.3 Transaction structure | WriteData must only be sent by the Requester after either DBIDResp or CompDBIDResp is received. |
| CHI Protocol Layer | dat flit valid | writenosnp_associated_response_data_packets_legal_cache_state_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | The cache state in the associated Write data flits of a WriteNoSnp transaction should indicate a valid value when the RespErr field does not indicate any errors. |
| CHI Protocol Layer | dat flit valid | valid_noncbwrdata_flit_for_xact_check | ARM-IHI0050E.b: 4.5.2 WriteData response | Data flit type must be set to one of the permitted values for the Request |
| CHI Protocol Layer | request validity | single_outstanding_req_per_txn_id_check | ARM-IHI0050E.b: 2.5.2 Transaction ID | The TxnID must be unique for a given Requester. The Requester can reuse the ID only after it has received all responses associated with a previous transaction that has used the same TxnID |
| CHI Protocol Layer | dat flit field | dat_flit_dbid_check | ARM-IHI0050E.b: Table A-9 Data message field mappings | DBID field of the observed DAT flit must be valid |
| CHI Protocol Layer | dat flit field | tx_dat_flit_data_id_check | ARM-IHI0050E.b: 13.10.50 Data Identifier, DataID | data_id of the observed Tx DAT flit must be valid |
| CHI Protocol Layer | dat flit field | rx_dat_flit_data_id_check | ARM-IHI0050E.b: 13.10.50 Data Identifier, DataID | data_id of the observed Rx DAT flit must be valid |
| CHI Protocol Layer | dvm outstanding transactions | num_non_dvm_snoop_exceeded_configured_value_check | SYNOPSYS DEFINED | The number of outstanding non-dvm snoop should not exceed the configured value. |
| CHI Protocol Layer | dvm outstanding transactions | num_dvm_snoop_exceeded_configured_value_check | SYNOPSYS DEFINED | The number of outstanding dvm snoop should not exceed the configured value. |
| CHI Protocol Layer | retry xact | end_of_simulation_outstanding_protocol_credit_check | SYNOPSYS DEFINED | There shouldn't be any outstanding protocol credits at the end of simulation. Protocol credits must be utilized by retrying the original transaction or by PCRDRETURN |
| CHI Protocol Layer | resp and dat flit valid | writenosnp_associated_response_data_packets_legal_resperr_check | ARM-IHI0050E.b: 9.4.3 Write transactions | The associated data packet's resp_err field should not take EXOK or NDERR value for WriteNoSnp transaction. The resp_err field in the associated response should not take EXOKAY for a non-Exclusive WriteNoSnp transaction |
| CHI Link Layer | signal validity | valid_rxdatflit_signal_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit. Description : RXDATFLIT must not be X/Z when RXDATFLITV is asserted |
| CHI Link Layer | signal validity | valid_txdatflit_signal_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit. Description : TXDATFLIT must not be X/Z when TXDATFLITV is asserted |
| CHI Link Layer | signal validity | valid_reqflit_signal_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request Flit. Description : REQFLIT must not be X/Z when REQFLITV is asserted |
| CHI Link Layer | During reset | signal_valid_txdatlcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXDATLCRDV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_rxdatflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXDATFLITV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txrsplcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXRSPLCRDV must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxreqlcrdv_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request L-Credit Valid Description : RXREQLCRDV must not be X/Z |
| CHI Link Layer | During reset | signal_valid_rxreqlcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXREQLCRDV must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxsnpflitv_check | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel | Spec Text : Snoop Flit Valid Description : RXSNPFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxsnpflitpend_check | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel | Spec Text : Snoop Flit Pending Description : RXSNPFLITPEND must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxrspflitv_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit Valid Description : RXRSPFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxrspflitpend_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit Pending Description : RXRSPFLITPEND must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txreqlcrdv_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request L-Credit Valid Description : TXREQLCRDV must not be X/Z |
| CHI Link Layer | signal validity | valid_rxrspflit_signal_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit. Description : RXRSPFLIT must not be X/Z when RXRSPFLITV is asserted |
| CHI Link Layer | During reset | signal_valid_rxrspflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXRSPFLITV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txreqlcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXREQLCRDV must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxreqflitv_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request Flit Valid Description : RXREQFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxreqflitpend_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request Flit Pending Description : RXREQFLITPEND must not be X/Z |
| CHI Link Layer | During reset | signal_valid_rxreqflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXREQFLITV must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxrsplcrdv_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response L-Credit Valid Description : RXRSPLCRDV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txreqflitv_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request Flit Valid Description : TXREQFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxsnplcrdv_check | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel | Spec Text : Snoop L-Credit Valid Description : RXSNPLCRDV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txreqflitpend_check | ARM-IHI0050E.b:13.8.1 Request,REQ ,channel | Spec Text : Request Flit Pending Description : TXREQFLITPEND must not be X/Z |
| CHI Link Layer | During reset | signal_valid_rxrsplcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXRSPLCRDV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txreqflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXREQFLITV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_rxlinkactivereq_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXLINKACTIVEREQ must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txlinkactiveack_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXLINKACTIVEACK must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxlinkactivereq_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : Request and Acknowledge handshake Description : RXLINKACTIVEREQ must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxdatflitv_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit Valid Description : RXDATFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxdatflitpend_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit Pending Description : RXDATFLITPEND must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txrsplcrdv_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response L-Credit Valid Description : TXRSPLCRDV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txdatlcrdv_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data L-Credit Valid Description : TXDATLCRDV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxsactive_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : RXSACTIVE signal Description : RXSACTIVE must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txlinkactiveack_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : Request and Acknowledge handshake Description : TXLINKACTIVEACK must not be X/Z |
| CHI Link Layer | signal validity | valid_txrspflit_signal_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit. Description : TXRSPFLIT must not be X/Z when TXRSPFLITV is asserted |
| CHI Link Layer | During reset | signal_valid_rxdatlcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXDATLCRDV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txdatflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXDATFLITV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txrspflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXRSPFLITV must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_rxlinkactiveack_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXLINKACTIVEACK must be 0 during reset |
| CHI Link Layer | During reset | signal_valid_txlinkactivereq_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : TXLINKACTIVEREQ must be 0 during reset |
| CHI Link Layer | signal validity | signal_valid_rxdatlcrdv_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data L-Credit Valid Description : RXDATLCRDV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txrspflitv_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit Valid Description : TXRSPFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txrspflitpend_check | ARM-IHI0050E.b:13.8.2 Response,RSP ,channel | Spec Text : Response Flit Pending Description : TXRSPFLITPEND must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txdatflitv_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit Valid Description : TXDATFLITV must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txdatflitpend_check | ARM-IHI0050E.b:13.8.4 Data,DAT ,channel | Spec Text : Data Flit Pending Description : TXDATFLITPEND must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_rxlinkactiveack_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : Request and Acknowledge handshake Description : RXLINKACTIVEACK must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txsactive_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : TXSACTIVE signal Description : TXSACTIVE must not be X/Z |
| CHI Link Layer | signal validity | signal_valid_txlinkactivereq_check | ARM-IHI0050E.b:14: Link Handshake | Spec Text : Request and Acknowledge handshake Description : TXLINKACTIVEREQ must not be X/Z |
| CHI Link Layer | l-credit | valid_lcredit_range_check | ARM-IHI0050E.b:14.2 Link layer Credit | Spec Text : The minimum number of L-Credits that a Receiver can provide is one.The maximum number of L-Credits that a Receiver can provide is 15 Description : The l-credit must be within the valid range |
| CHI Link Layer | link deactivation | tx_link_deactive_request_timeout_check | ARM-IHI0050E.b:14.6.1 Introduction | Spec Text : If the RXLINK moves to the DEACTIVATE state, which is controlled by the component on the other side of the interface, it is required that the TXLINK also moves to the DEACTIVATE state, in a timely manner Description : If the RXLINK moves to the DEACTIVATE state, which is controlled by the component on the other side of the interface, then it is required that the TXLINK also moves to the DEACTIVATE state, in a timely manner |
| CHI Link Layer | link activation | tx_link_active_request_timeout_check | ARM-IHI0050E.b:14.6.1 Introduction | Spec Text : If the RXLINK moves to the ACTIVATE state, which is controlled by the component on the other side of the interface, it is required that the TXLINK also moves to the ACTIVATE state, in a timely manner Description : If the RXLINK moves to the ACTIVATE state, which is controlled by the component on the other side of the interface, then it is required that the TXLINK also moves to the ACTIVATE state, in a timely manner |
| CHI Link Layer | link activation | tx_link_not_active_during_flit_transfer | ARM-IHI0050E.b:14.5.1 Request and Acknowledge handshake | Spec Text : Behavior for each Request and Acknowledge state Description : A flit can be sent on its virtual channel only if the link is active. |
| CHI Link Layer | link deactivation | rx_link_deactive_request_timeout_check | ARM-IHI0050E.b:14.6.1 Introduction | Spec Text : If a component moves the TXLINK to the DEACTIVATE state, which it controls, it can expect the RXLINK to also move to the DEACTIVATE state, in a timely manner Description : If the TXLINK moves to the DEACTIVATE state, which is controlled by the current component, then it is required that the RXLINK also moves to the DEACTIVATE state, in a timely manner |
| CHI Link Layer | link activation | rx_link_active_request_timeout_check | ARM-IHI0050E.b:14.6.1 Introduction | Spec Text : If a component moves the TXLINK to the ACTIVATE state, which it controls, it can expect the RXLINK to also move to the ACTIVATE state, in a timely manner Description : If the TXLINK moves to the ACTIVATE state, which is controlled by the current component, then it is required that the RXLINK also moves to the ACTIVATE state, in a timely manner |
| CHI Link Layer | link activation | rx_link_not_active_during_flit_reception | ARM-IHI0050E.b:14.5.1 Request and Acknowledge handshake | Spec Text : Behavior for each Request and Acknowledge state Description : A flit can be observed on its RX virtual channel only if the corresponding link is active. |
| CHI Link Layer | dat flit valid | invalid_data_flit_check | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode | Spec Text : DAT channel opcodes encoding Description : Check for Reserved opcode bits for Data VC commands |
| CHI Link Layer | dat flit valid | data_flit_lcrdreturn_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : DatLCrdReturn Description : Check fields for a DataLCrdReturn flit |
| CHI Link Layer | rsp flit valid | rsp_flit_lcrdreturn_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : RspLCrdReturn Description : Check fields for a RspLCrdReturn flit |
| CHI Link Layer | req flit valid | req_flit_lcrdreturn_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReqLCrdReturn Description : Check fields for a ReqLCrdReturn flit |
| CHI Link Layer | rsp flit valid | invalid_rsp_flit_check | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode | Spec Text : RSP channel opcodes encoding Description : Check for Reserved opcode bits for Response VC commands |
| CHI Link Layer | dat flit valid | data_flit_compdata_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : CompData Description : Check fields for data VC flit of a CompData transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_pcrdgrant_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : PCrdGrant Description : Check fields for response VC flit of a PCrdGrant transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_dbidresp_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : DBIDResp Description : Check fields for response VC flit of a DBIDResp transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_compdbidresp_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : CompDBIDResp Description : Check fields for response VC flit of a CompDBIDResp transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_comp_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : Comp Description : Check fields for response VC flit of a Comp transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_retryack_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : RetryAck Description : Check fields for response VC flit of a RetryAck transaction |
| CHI Link Layer | req flit valid | valid_xact_attributes_combination_check | ARM-IHI0050E.b:2.9.4 Transaction attribute combinations | Spec Text : Legal combinations of MemAttr, SnpAttr, and Order field values Description : check combinations of MemAttr, SnpAttr, LikelyShared and Order for a transaction |
| CHI Link Layer | req flit valid | invalid_req_flit_check | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode | Spec Text : REQ channel opcodes Description : Check for Reserved opcode bits for Request VC commands |
| CHI Link Layer | dat flit valid | data_flit_noncopybackwrdata_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : NonCopyBackWrData Description : Check fields for data VC flit of a NonCopyBackWrData transaction |
| CHI Link Layer | req flit valid | req_flit_readnosnp_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadNoSnp Description : Check fields for request VC flit of a ReadNoSnp transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpfull_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpFull Description : Check fields for request VC flit of a WriteNoSnpFull transaction |
| CHI Link Layer | req flit valid | req_flit_writenosnpptl_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteNoSnpPtl Description : Check fields for request VC flit of a WriteNoSnpPtl transaction |
| CHI Link Layer | req flit valid | req_flit_pcrdreturn_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : PCrdReturn Description : Check fields for request VC flit of a PCrdReturn transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_compack_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : CompAck Description : Check fields for response VC flit of a CompAck transaction |
| CHI Link Layer | req flit valid | req_flit_readonce_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadOnce Description : Check fields for request VC flit of a ReadOnce transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniquefull_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniqueFull Description : Check fields for request VC flit of a WriteUniqueFull transaction |
| CHI Link Layer | req flit valid | req_flit_writeuniqueptl_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteUniquePtl Description : Check fields for request VC flit of a WriteUniquePtl transaction |
| CHI Link Layer | req flit valid | req_flit_makeinvalid_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : MakeInvalid Description : Check fields for request VC flit of a MakeInvalid transaction |
| CHI Link Layer | req flit valid | req_flit_cleaninvalid_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : CleanInvalid Description : Check fields for request VC flit of a CleanInvalid transaction |
| CHI Link Layer | req flit valid | req_flit_cleanshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : CleanShared Description : Check fields for request VC flit of a CleanShared transaction |
| CHI Link Layer | snp flit valid | invalid_snp_flit_check | ARM-IHI0050E.b:13.10.17 Channel opcodes,Opcode | Spec Text : SNP channel opcodes encoding Description : Check for Reserved opcode bits for Snoop VC commands |
| CHI Link Layer | snp flit valid | snoop_flit_lcrdreturn_check | ARM-IHI0050E.b:A.4 Snoop Request message field mappings | Spec Text : SnpLCrdReturn Description : Check fields for a SnpLCrdReturn flit |
| CHI Link Layer | signal validity | valid_snpflit_signal_check | ARM-IHI0050E.b:13.8.3 Snoop,SNP ,channel | Spec Text : Snoop Flit. Description : SNPFLIT must not be X/Z when SNPFLITV is asserted |
| CHI Link Layer | During reset | signal_valid_rxsnpflitv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXSNPFLITV must be 0 during reset |
| CHI Link Layer | snp flit valid | snoop_flit_snpdvmop_check | ARM-IHI0050E.b:A.4 Snoop Request message field mappings | Spec Text : SnpDVMOp Description : Check fields for snoop VC flit of a SnpDVMOp transaction |
| CHI Link Layer | During reset | signal_valid_rxsnplcrdv_during_reset | ARM-IHI0050E.b:14.1.3 Initialization | Spec Text : During reset the following interface signals must be deasserted by the component Description : RXSNPLCRDV must be 0 during reset |
| CHI Link Layer | rsp flit valid | rsp_flit_snpresp_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : SnpResp Description : Check fields for response VC flit of a SnpRsp transaction |
| CHI Link Layer | req flit valid | req_flit_dvmop_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : DVMOp Description : Check fields for request VC flit of a DVMOp transaction |
| CHI Link Layer | rsp flit valid | rsp_flit_readreceipt_check | ARM-IHI0050E.b:A.2 Response message field mappings | Spec Text : ReadReceipt Description : Check fields for response VC flit of a ReadReceipt transaction |
| CHI Link Layer | req flit valid | req_flit_ecbarrier_check | ARM-IHI0050A:A.1 Request message field mappings | Check fields for request VC flit of a ECBarrier transaction |
| CHI Link Layer | req flit valid | req_flit_eobarrier_check | ARM-IHI0050A:A.1 Request message field mappings | Check fields for request VC flit of a EOBarrier transaction |
| CHI Link Layer | snp flit valid | snoop_flit_snpreq_check | ARM-IHI0050E.b:A.4 Snoop Request message field mappings | Spec Text : Snoop Request message Description : Check fields for snoop VC flit of a Snoop transaction |
| CHI Link Layer | dat flit valid | data_flit_snprespdataptl_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : SnpRespDataPtl Description : Check fields for data VC flit of a SnpRespDataPtl transaction |
| CHI Link Layer | dat flit valid | data_flit_copybackwrdata_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : CopyBackWrData Description : Check fields for data VC flit of a CopyBackWrData transaction |
| CHI Link Layer | dat flit valid | data_flit_snprespdata_check | ARM-IHI0050E.b:A.3 Data message field mappings | Spec Text : SnpRespData Description : Check fields for data VC flit of a SnpRespData transaction |
| CHI Link Layer | req flit valid | req_flit_evict_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : Evict Description : Check fields for request VC flit of a Evict transaction |
| CHI Link Layer | req flit valid | req_flit_writecleanptl_check | ARM-IHI0050A:A.1 Request message field mappings | Check fields for request VC flit of a WriteCleanPtl transaction |
| CHI Link Layer | req flit valid | req_flit_writebackptl_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteBackPtl Description : Check fields for request VC flit of a WriteBackPtl transaction |
| CHI Link Layer | req flit valid | req_flit_writeevictfull_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteEvictFull Description : Check fields for request VC flit of a WriteEvictFull transaction |
| CHI Link Layer | req flit valid | req_flit_writecleanfull_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteCleanFull Description : Check fields for request VC flit of a WriteCleanFull transaction |
| CHI Link Layer | req flit valid | req_flit_writebackfull_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : WriteBackFull Description : Check fields for request VC flit of a WriteBackFull transaction |
| CHI Link Layer | req flit valid | req_flit_makeunique_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : MakeUnique Description : Check fields for request VC flit of a MakeUnique transaction |
| CHI Link Layer | req flit valid | req_flit_cleanunique_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : CleanUnique Description : Check fields for request VC flit of a CleanUnique transaction |
| CHI Link Layer | req flit valid | req_flit_readunique_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadUnique Description : Check fields for request VC flit of a ReadUnique transaction |
| CHI Link Layer | req flit valid | req_flit_readclean_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadClean Description : Check fields for request VC flit of a ReadClean transaction |
| CHI Link Layer | req flit valid | req_flit_readshared_check | ARM-IHI0050E.b:A.1 Request message field mappings | Spec Text : ReadShared Description : check fields for request VC flit of a ReadShared transaction |
| CHI Link Layer | l-credit | valid_num_prot_flits_in_txlasm_deactivate_state_check | ARM-IHI0050E.b:14.5 Interface activation and deactivation | Spec Text : The Transmitter must be prepared to continue receiving credits. For each additional credit received it must send an L-Credit return flit to return the credit Description : The Transmitter in Deactivate state is allowed to transmit protocol flits For each additional credit received it must send an L-Credit return flit to return the credit. |
| CHI Link Layer | l-credit | valid_lcredit_count_in_rx_stop_state_check | ARM-IHI0050E.b:14.5 Interface activation and deactivation | Spec Text : Before entering a low power state, the sending of payload flits must be stopped and all credits must be returned to the Receiver Description : The reciever must ensure that it has received all the lcredits before moving to the stop state |
| CHI Link Layer | l-credit | rx_no_lcredit_issued_for_flit_type | ARM-IHI0050E.b:14.2 Link layer Credit | Spec Text : When the link is active, the Receiver must provide L-Credits in a timely manner without requiring any action on the part of the Transmitter Description : When the link is active, the receiver at each virtual channel must distribute L-credits for all its flit buffers in a timely manner without requiring any action on the part of the transmitter. |
| CHI Link Layer | port interleaving | port_interleaving_check | SYNOPSYS DEFINED:SYNOPSYS DEFINED | Monitor checks that if interleaved port is expected port for the given flit |
| CHI Link Layer | signal validity | valid_flitpend_and_flitv_signal_check | ARM-IHI0050E.b:14.4 Flit level clock gating | Spec Text : It is required that the signal is asserted exactly one cycle before a flit is sent from the Transmitter Description : FLITPEND signal must be asserted exactly one cycle before a flit is sent from the transmitter |
| CHI Link Layer | link active sm | lasm_entry_into_banned_output_race_state_check | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : The red states can only be reached by observing a race between two output signals. A race between two outputs is not permitted at the edge of a component and therefore the transition into these states is labeled with Banned Output Race Description : The component's Link Active State Machine entry into Banned Output Race state condition is not expected. |
| CHI Link Layer | link active sm | illegal_tx_rx_state_transition_combinations_from_async_input_race_state | ARM-IHI0050E.b:14.6.3 Expected transitions | Combination of Tx and Rx link active state machine together from async input race combination must be valid |
| CHI Link Layer | link active sm | lasm_entry_into_async_input_race_state_check | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : The yellow states can only be reached by observing a race between two input signals. The transition into these states is labeled with Async Input Race Description : The component's Link Active State Machine entry into Async Input Race state condition is not expected. |
| CHI Link Layer | link active sm | lasm_in_banned_output_race_state_timeout_check | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : All other states are considered transient states that are exited in a timely manner Description : The component's Link Active State Machine entering into Banned Output Race state condition is expected to move to next valid link active state within 1 or few clock cycles, initiated by local component. |
| CHI Link Layer | link active sm | lasm_in_async_input_race_state_timeout_check | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : All other states are considered transient states that are exited in a timely manner Description : The component's Link Active State Machine entering into Async Input Race state condition is expected to move to next valid link active state within 1 or few clock cycles, initiated by link partner component. |
| CHI Link Layer | link active sm | illegal_tx_rx_state_transition_combinations_from_banned_output_race_state | ARM-IHI0050E.b:14.6.3 Expected transitions | Combination of Tx and Rx link active state machine together from banned output race combination must be valid |
| CHI Link Layer | link active sm | illegal_tx_rx_state_transition_combinations | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : Stop/Stop to Run/Run state paths Description : Combination of Tx and Rx link active state machine together must be valid |
| CHI Link Layer | link active sm | rx_illegal_state_transition | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : Mapping of states to the LINKACTIVE signals Description : Transition of Rx link active state machine must be valid |
| CHI Link Layer | link active sm | tx_illegal_state_transition | ARM-IHI0050E.b:14.6.3 Expected transitions | Spec Text : Mapping of states to the LINKACTIVE signals Description : Transition of Tx link active state machine must be valid |
| CHI Link Layer | l-credit | valid_lcredit_count_in_tx_stop_state_check | ARM-IHI0050E.b:14.5 Interface activation and deactivation | Spec Text : The Transmitter has no credits and must not send any flits Description : All the applicable lcredit counter should be zero in tx stop state |
| CHI Link Layer | l-credit | invalid_lcredit_check | ARM-IHI0050E.b:14.5 Interface activation and deactivation | Spec Text : The Receiver must not send any credits Description : The receiver must not send lcredit in stop and activate state. |
| CHI Link Layer | l-credit | tx_lcredit_used_same_cycle_which_recieved | ARM-IHI0050E.b:14.2 Link layer Credit | Spec Text : An L-Credit cannot be used in the cycle it is received Description : An L-credit cannot be used in the cycle it is received. |
| CHI Link Layer | l-credit | rx_no_lcredit_sent_for_flit_transfer | ARM-IHI0050E.b:14.2 Link layer Credit | Spec Text : On exit from reset, credits are held by the Receiver and must be passed to the Transmitter before flit transfer can begin Description : A flit can be sent on its virtual channel only if a corresponding L-credit is available at the transmitter and the link is active. |
| CHI Link Layer | l-credit | tx_no_lcredit_for_flit_transfer | ARM-IHI0050E.b:14.2 Link layer Credit | Spec Text : On exit from reset, credits are held by the Receiver and must be passed to the Transmitter before flit transfer can begin Description : A flit can be sent on its virtual channel only if a corresponding L-credit is available at the transmitter and the link is active. |
| CHI System | coherent rsp | coherent_resp_start_conditions_check | ARM-IHI0050E.b: 4.3 Snoop request types | Monitor Check that the response to a coherent transaction is not started before appropriate RN-Fs are snooped |
| CHI System | Exclusive Access | exclusive_chi_transaction_type_check | ARM-IHI0050E.b: 6.3 Exclusive transactions | Monitor check that observed exclusive transaction is one of the allowed coherent/non-coherent exclusive load/store transaction types. |
| CHI System | Exclusive Access | exclusive_store_resp_check | ARM-IHI0050E.b: 6.2 Exclusive monitors | Monitor check that the resposne for exclusive store transaction matches the expected response for the given lpid and address. |
| CHI System | Exclusive Access | exclusive_load_resp_check | ARM-IHI0050E.b: 6.2 Exclusive monitors | Monitor check that the resposne for exclusive load transaction matches the expected response for the given lpid and address. |
| CHI System | data integrity | slave_data_integrity_check | SYNOPSYS DEFINED | Monitor Check that the data observed in the subordinate VIP agent transaction from Home NodeHN to Subordinate matches with the expected data present in the subordinate VIP agent memory, when the subordinate VIP agent transaction ends successfully. |
| CHI System | dvm | interconnect_dvm_snoop_timing_check | ARM-IHI0050E.b: 8.1 DVM transaction flow | Monitor Check that the interconnect sends DVM Snoops only after DBIDResp is issued to the initiating RN and NCBWrData is received for the corresponding DVM request. |
| CHI System | dvm | valid_dvm_response_from_interconnect_check | ARM-IHI0050E.b: 8.1 DVM transaction flow | Monitor Check that the Comp response for a DVMOp requestnon-sync,sync indicates an Error resposne if any of the associated snoops has Error response. |
| CHI System | dvm | interconnect_dvm_response_timing_check | ARM-IHI0050E.b: 8.1 DVM transaction flow | Monitor Check that the interconnect waits for the responses for all corresponding SnpDVMOpnon-sync,sync requests before responding to original DVMOpnon-sync,sync transaction. |
| CHI System | dvm | interconnect_dvm_sync_snoop_transaction_association_check | ARM-IHI0050E.b: 8.1 DVM transaction flow | Monitor Check that interconnect broadcasts SnpDVMOpsync transactions to all other RNs that are DVM snoopable when it receives a DVMOpsync request transaction from an RN. |
| CHI System | dvm | interconnect_dvm_operation_snoop_transaction_association_check | ARM-IHI0050E.b: 8.1 DVM transaction flow | Monitor Check that interconnect broadcasts SnpDVMOpnon-sync transactions to all other RNs that are DVM snoopable when it receives a DVMOpnon-sync request transaction from an RN. |
| CHI System | Domain and snoop | coherent_snoop_domain_match_check | ARM-IHI0050E.b: 2.9.6 Snoop Attribute | Monitor Check that the port on which snoop transaction is received corresponds to the domain indicated in coherent transaction of initiating master |
| CHI System | hazard | coherent_copyback_write_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and a coherent write request are correctly ordered by HN |
| CHI System | hazard | coherent_write_copyback_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a copyback request are correctly ordered by HN |
| CHI System | hazard | coherent_copyback_read_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and a coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_read_copyback_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a copyback request are correctly ordered by HN |
| CHI System | hazard | coherent_copyback_write_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and a coherent write request are correctly ordered by HN |
| CHI System | hazard | coherent_write_copyback_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a copyback request are correctly ordered by HN |
| CHI System | hazard | coherent_copyback_read_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and a coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_read_copyback_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a copyback request are correctly ordered by HN |
| CHI System | coherent rsp | cache_state_of_xact_resp_check | ARM-IHI0050E.b: 4.7 Cache state transitions at a Requester | Monitor Check that no peer RN has cached the line when the Cache state is UC/UD in the Comp/CompData response of coherent transactions |
| CHI System | coherent and snoop | coherent_snoop_type_match_check | ARM-IHI0050E.b: Table 4-24 Expected snoop requests per Request from an RN | Monitor Check that the snoop transaction type corresponds to the coherent transaction type of initiating master |
| CHI System | coherent and snoop | snoop_not_sent_to_initiating_master_check | ARM-IHI0050E.b: 4.4 Request transactions and corresponding Snoop requests | Monitor Check that a snoop is not sent to the initiating master |
| CHI System | coherent and snoop | overlapping_addr_sequencing_check | ARM-IHI0050E.b: 4.11.2 At the ICNHN-F node | Monitor Check that if two masters initiate requests to access the same cache line simultaneously, one master is sequenced after the other |
| CHI System | coherent and snoop | snoop_addr_matches_coherent_addr_check | ARM-IHI0050E.b: 4.3 Snoop request types | Monitor Check that the address of a snoop transaction must match one of the outstanding coherent transactions |
| CHI System | snoop rsp | only_one_snoop_returns_data_check | ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee | Monitor Check that only one snoop transaction returns data |
| CHI System | snoop rsp | snoop_resp_passdirty_check | ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee | Monitor Check that no two associated snooped RNs responded to snoop transactions with PassDirtyresp[2] in the snoop responses asserted. |
| CHI System | snoop rsp | snoop_resp_wasunique_check | ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee | Monitor Check that no two associated snooped RNs responded to snoop transactions with cache line state as Unique. |
| CHI System | coherent and snoop | coherent_xact_with_no_snoop_check | ARM-IHI0050E.b: 4.4 Request transactions and corresponding Snoop requests | Monitor Check that non-coherent requests READNOSNOOP,WRITENOSNOOP -- Except in case of invisibile cache mode at HN-F L3 , copyback requests WRITEBACK,WRITECLEAN,WRITEEVICTFULL and EVICT do not cause a snoop of cached RNs. |
| CHI System | coherent and snoop | coherent_and_snoop_data_match_check | ARM-IHI0050E.b: 4.3 Snoop request types | Monitor Check that data returned to initiating RN matches with the full cacheline data received from associated snoop transaction |
| CHI System | data integrity | snoop_data_integrity_check | ARM-IHI0050E.b: 4.8 Cache state transitions at a Snoopee | Monitor Check that snoop response data from snooped RN matches with system monitor HN-F L3 view when the final state resp[1:0] in the SnpRspData flits is set to UC/SC/I. |
| CHI System | data integrity | copyback_data_integrity_check | ARM-IHI0050E.b: 4.7.3 Write request transactions | Monitor Check that CopyBack write data from RN matches with system monitor HN-F L3 view when the current state resp[1:0] in the CopyBack write DAT flits is set to UC/SC. |
| CHI System | Streaming order | single_rn_optimized_streaming_order_check | ARM-IHI0050E.b: 2.8.5 | Monitor Check that not more than one RN is configured to use the optimized streaming ordered WriteUnique/writeNoSnp flow, in the system. |
| CHI System | Mismatched Memory attributes | same_memory_snoop_attributes_for_addr_check | ARM-IHI0050E.b: 2.9.7 Mismatched Memory attributes | Monitor Check that All outstanding transactions targetting the same address must have the same MemAttr bits Device, Cacheable and SnpAttr bit. All the agents should maintain a consistent view of the attributes of any region of memory addresses |
| CHI System | hazard | coherent_copyback_copyback_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a copyback request and another copyback request are correctly ordered by HN |
| CHI System | hazard | coherent_read_read_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and another coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_write_write_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and another coherent write request are correctly ordered by HN |
| CHI System | hazard | coherent_write_read_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_read_write_hazard_after_slave_xact_association_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a coherent write request are correctly ordered by HN |
| CHI System | hazard | coherent_read_read_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and another coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_req_compack_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor check that - for a given cacheline, hazard condition between a Coherent request and CompAck is handled correctly by the HN |
| CHI System | hazard | coherent_write_write_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and another coherent write request are correctly ordered by HN |
| CHI System | hazard | coherent_write_read_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent write request and a coherent read request are correctly ordered by HN |
| CHI System | hazard | coherent_read_write_hazard_check | ARM-IHI0050E.b: 5.6.2 Request hazard at HN-F | Monitor Check that - for a given cacheline, hazard condition between a coherent read request and a coherent write request are correctly ordered by HN |
| CHI System | Transaction ordering | slave_xacts_ordering_for_ordered_rn_xact_check | ARM-IHI0050E.b: 2.8.5 Transaction ordering | Monitor Check that the associated slave xacts of ordered RN transaction should be started after all the associated slave xacts of earlier issued ordered RN xact |
| CHI System | Propagation of Attr | memory_attributes_propagation_check | ARM-IHI0050E.b: 2.9.3 Memory Attributes | Monitor Check that all the memory attributes of RN transaction are propagated to slaves |
| CHI System | coherent rsp | coherent_resp_passdirty_check | ARM-IHI0050E.b: 13.10.44 Response status, Resp | Monitor Check that the PassDirty response to initiating RN is correct |
| CHI System | coherent rsp | coherent_resp_isshared_check | ARM-IHI0050E.b: 13.10.44 Response status, Resp | Monitor Check that the final state in the coherent response to the initiating RN is set to Shared as expected |
| CHI System | data integrity | read_data_integrity_check | ARM-IHI0050E.b: 4.7.1 Read request transactions | Monitor Check that observed/received read data at RN matches with expected data from system monitor when: the snooped RNs return the data in clean state OR none of the snooped RNs return any data OR there are no snoops. System monitor establishes expected data based on observed RN requests with write data & RN snoop transactions with data, but does not depend on any subordinate transactions. |
| CHI System | ABF | multiple_abf_requests_targeted_to_same_addr_and_to_same_target | SYNOPSYS DEFINED | Monitor Checks that there are no more than one address based flush requests to same address and to same target. |
| CHI System | routing | slave_transaction_routing_check | SYNOPSYS DEFINED | Monitor Check that transaction is routed to the correct slave based on the address of the transaction request |