VIP Smartsearch

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

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

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

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

svt_dti_checker Class Reference

Inheritance diagram for class svt_dti_checker:

List of all members.



Public Member Functions

function void  new ( string name, svt_dti_port_configuration cfg, uvm_report_object reporter, bit register_enable = 1, bit enable_pc_cov = 1 )
function void  register_err_checks ( bit en = 1'b1 )

Public Attributes

svt_err_check_stats  allow_non_secure_inst_check 
svt_err_check_stats  allow_unpriv_inst_read_check 
svt_err_check_stats  allow_unpriv_read_access_check 
svt_err_check_stats  allow_unpriv_write_access_check 
svt_err_check_stats  ats_condis_sup_t_value_on_connect_check 
svt_err_check_stats  ats_cxl_io_value_check 
svt_err_check_stats  ats_cxl_value_check 
svt_err_check_stats  ats_inv_trusted_entity_bit_value_check 
svt_err_check_stats  ats_memory_type_value_check 
svt_err_check_stats  ats_page_req_trusted_entity_bit_value_check 
svt_err_check_stats  ats_page_resp_trusted_entity_bit_value_check 
svt_err_check_stats  ats_pri_msgs_supported_check 
svt_err_check_stats  ats_token_translation_value_check 
svt_err_check_stats  ats_translation_id_value_check 
svt_err_check_stats  ats_translation_scope_check 
svt_err_check_stats  ats_trans_resp_te_oa_value_check 
svt_err_check_stats  ats_trusted_entity_bit_in_trans_msg_check 
svt_err_check_stats  attr_over_nscfg_value_check 
svt_err_check_stats  attr_over_rsvd_check 
svt_err_check_stats  available_imp_type1_req_for_imp_type1_response_check 
svt_err_check_stats  available_imp_type2_req_for_imp_type2_response_check 
svt_err_check_stats  available_page_req_ack_check 
svt_err_check_stats  available_page_resp_respack_check 
svt_err_check_stats  available_reg_req_for_read_response_check 
svt_err_check_stats  available_reg_req_for_write_response_check 
svt_err_check_stats  bypass_field_check 
svt_err_check_stats  check_for_invalidation_token 
svt_err_check_stats  check_for_scale_num_tg_ttl 
svt_err_check_stats  check_for_translation_token 
svt_err_check_stats  check_for_valid_ats_va_ipa_range 
svt_err_check_stats  check_for_valid_sid_vmid_range 
svt_err_check_stats  check_for_valid_va_ipa 
svt_err_check_stats  comb_alloc_attribute_check 
svt_err_check_stats  comb_alloc_rsvd_check 
svt_err_check_stats  comb_mt_attribute_check 
svt_err_check_stats  comb_mt_rsvd_check 
svt_err_check_stats  comb_sh_attribute_check 
svt_err_check_stats  comb_sh_rsvd_check 
svt_err_check_stats  condis_ack_state_check 
svt_err_check_stats  contiguous_streamid_check 
svt_err_check_stats  data_read_permitted_check 
svt_err_check_stats  destructive_read_permitted_check 
svt_err_check_stats  destructive_read_permitted_v4_check 
svt_err_check_stats  directed_cache_prefetch_check 
svt_err_check_stats  directed_cache_prefetch_v4_check 
svt_err_check_stats  do_not_cache_field_check 
svt_err_check_stats  dti_ats_no_translation_invalidation_token_zero_check 
svt_err_check_stats  dti_ats_no_translation_msg_type_check 
svt_err_check_stats  dti_ats_no_translation_trl_gnt_token_zero_check 
svt_err_check_stats  dti_ats_no_translation_trl_req_token_zero_check 
svt_err_check_stats  dti_ats_no_translation_value_check 
svt_err_check_stats  dti_ident_one_flow_atst_check 
svt_err_check_stats  dti_mmuv_one_nse_ns_in_trans_resp_when_sec_sid_realm 
svt_err_check_stats  dti_mmuv_one_nse_ns_in_trans_resp_when_sec_sid_secure 
svt_err_check_stats  dti_mmuv_one_sec_sid_non_secure_mpam_check 
svt_err_check_stats  dti_mmuv_one_sec_sid_non_secure_trans_req_check 
svt_err_check_stats  dti_mmuv_one_sec_sid_non_secure_trans_resp_check 
svt_err_check_stats  dti_mmuv_one_sec_sid_realm_mpam_check 
svt_err_check_stats  dti_mmuv_one_sec_sid_realm_trans_req_check 
svt_err_check_stats  dti_mmuv_one_sec_sid_realm_trans_resp_check 
svt_err_check_stats  dti_mmuv_one_sec_sid_secure_mpam_check 
svt_err_check_stats  dti_mmuv_one_sec_sid_secure_trans_req_check 
svt_err_check_stats  dti_mmuv_one_sec_sid_secure_trans_resp_check 
svt_err_check_stats  dti_mmuv_zero_alloc_cfg_rsvd_check 
svt_err_check_stats  dti_mmuv_zero_attr_ovr_rsvd_check 
svt_err_check_stats  dti_mmuv_zero_bypass_type_value_check 
svt_err_check_stats  dti_mmuv_zero_bypass_value_check 
svt_err_check_stats  dti_mmuv_zero_fault_response_msg_check 
svt_err_check_stats  dti_mmuv_zero_fault_response_type_check 
svt_err_check_stats  dti_mmuv_zero_ident_rsvd_check 
svt_err_check_stats  dti_mmuv_zero_ind_pnu_rsvd_check 
svt_err_check_stats  dti_mmuv_zero_inst_cfg_rsvd_check 
svt_err_check_stats  dti_mmuv_zero_nse_ns_value_check 
svt_err_check_stats  dti_mmuv_zero_nsx_rsvd_check 
svt_err_check_stats  dti_mmuv_zero_partid_pmg_hwattr_check 
svt_err_check_stats  dti_mmuv_zero_priv_cfg_rsvd_check 
svt_err_check_stats  dti_mmuv_zero_sid_ssid_ssv_sec_sid_flow_rsvd_check 
svt_err_check_stats  dti_reqex_zero_permitted_trans_resp_msg_type_check 
svt_err_check_stats  dti_tbu_condis_ack_valid_state_check 
svt_err_check_stats  dti_tbu_condis_req_valid_state_check 
svt_err_check_stats  dti_tbu_imp_msg_type1_msg_type_field_encoding_check 
svt_err_check_stats  dti_tbu_imp_msg_type2_msg_type_field_encoding_check 
svt_err_check_stats  dti_tbu_trans_req_flow_check 
svt_err_check_stats  dti_trans_bp_type_permitted_value_check 
svt_err_check_stats  dti_trans_bp_type_reserved_value_check 
svt_err_check_stats  dti_trans_ident_output_address_value_check 
svt_err_check_stats  dti_trans_mmuv_one_value_check 
svt_err_check_stats  dti_trans_mmuv_zero_value_check 
svt_err_check_stats  dti_trans_nscfg_use_incoming_when_sec_sid_ns_check 
svt_err_check_stats  dti_trans_resp_aset_value_check 
svt_err_check_stats  dti_trans_resp_trans_rng_value_v3_check 
svt_err_check_stats  dti_trans_respex_mecid_zero_check 
svt_err_check_stats  dti_trans_stream_world_el3_v3_check 
svt_err_check_stats  instruction_access_check 
svt_err_check_stats  instruction_reads_permitted_check 
svt_err_check_stats  invalid_msg_in_connected_state 
svt_err_check_stats  invalid_msg_in_disconnected_state 
svt_err_check_stats  invalid_msg_in_req_connect_state 
svt_err_check_stats  invalid_msg_in_req_disconnect_state 
svt_err_check_stats  inv_size_check 
svt_err_check_stats  inv_substream_id_check 
svt_err_check_stats  invalid_sec_sid_for_v3_check 
svt_err_check_stats  invalid_trans_range_when_byapss_one 
svt_err_check_stats  invalid_trans_range_when_byapss_zero 
svt_err_check_stats  invalidation_range_check 
svt_err_check_stats  invalidation_range_rsvd_check 
svt_err_check_stats  inv_valid_vmid_check 
svt_err_check_stats  invalid_fault_type_abort 
svt_err_check_stats  invalid_fault_type_global_disabled 
svt_err_check_stats  invalid_fault_type_translation_pri 
svt_err_check_stats  invalid_fault_type_translation_stall 
svt_err_check_stats  memattr_zero_when_mtcfg_zero 
svt_err_check_stats  mpamns_rsvd_check 
svt_err_check_stats  multiple_ats_inv_reqs_with_same_sid_and_itag 
svt_err_check_stats  no_outstanding_inv_req_for_sync_req_check 
svt_err_check_stats  no_outstanding_page_req_check 
svt_err_check_stats  no_outstanding_page_resp_check 
svt_err_check_stats  no_outstanding_reg_req_check 
svt_err_check_stats  no_outstanding_sync_req_check 
svt_err_check_stats  no_outstanding_trans_req_check 
svt_err_check_stats  non_secure_access_check 
svt_err_check_stats  ns_in_trans_resp_when_nsovr_zero 
svt_err_check_stats  ns_in_trans_resp_when_sec_sid_secure 
svt_err_check_stats  num_outstanding_page_req_check 
svt_err_check_stats  output_address_size_check 
svt_err_check_stats  override_non_secure_access_check 
svt_err_check_stats  part_id_rsvd_check 
svt_err_check_stats  part_id_rsvd_v3_check 
svt_err_check_stats  pending_ats_inv_req_exists_for_inv_comp 
svt_err_check_stats  pending_inv_req_exists 
svt_err_check_stats  pmg_rsvd_check 
logic  previous_reset = 1; 
svt_err_check_stats  privileged_access_check 
svt_err_check_stats  priv_read_access_check 
svt_err_check_stats  priv_write_access_check 
svt_err_check_stats  protocol_bit_check 
svt_err_check_stats  protocol_version_check 
svt_err_check_stats  protocol_version_rsvd_check 
svt_err_check_stats  read_write_access_check 
svt_err_check_stats  register_access_supported_check 
uvm_report_object  reporter 
svt_err_check_stats  s1_hw_attribute_check 
svt_err_check_stats  s2_hw_attribute_check 
svt_err_check_stats  secure_stream_id_check 
svt_err_check_stats  smmu_stream_world_and_bypass_check 
svt_err_check_stats  strw_is_el1_or_el2_when_sec_sid_one 
svt_err_check_stats  strw_is_el1_s2_when_ssv_one 
svt_err_check_stats  substream_id_check 
svt_err_check_stats  sync_req_exists 
svt_err_check_stats  tbi_field_check 
svt_err_check_stats  tbu_nscfg_rsvd_when_bp_type_is_dptbypass 
svt_err_check_stats  tbu_trans_resp_dptbypass_permitted_check 
svt_err_check_stats  tbu_trans_resp_write_permissions_when_dptbypass 
svt_err_check_stats  tbu_trans_rng_when_bp_type_is_dptbypass 
svt_err_check_stats  tok_trans_gnt_in_connected_state_check 
svt_err_check_stats  tok_trans_req_when_disconnect_requested_check 
svt_err_check_stats  translation_id_check 
svt_err_check_stats  translation_id_value_check 
svt_err_check_stats  translation_scope_check 
svt_err_check_stats  translation_shareability_check 
bit [SVT_DTI_MAX_TRL_TOKEN_WIDTH-1:0]  translation_token_requested = 0; 
svt_err_check_stats  valid_asid_attr_over_check 
svt_err_check_stats  valid_asid_check 
svt_err_check_stats  valid_fault_type 
svt_err_check_stats  valid_inc_aset1_field 
svt_err_check_stats  valid_inst_data_cfg 
svt_err_check_stats  valid_mpamns_value_check 
svt_err_check_stats  valid_nsovr_check 
svt_err_check_stats  valid_output_address 
svt_err_check_stats  valid_output_address_wrt_oas 
svt_err_check_stats  valid_output_address_wrt_trans_range 
svt_err_check_stats  valid_priv_unpriv_cfg 
svt_err_check_stats  valid_state_transition_check 
svt_err_check_stats  valid_stream_id_check 
svt_err_check_stats  valid_substream_id_check 
svt_err_check_stats  valid_tbu_dpt_invalidation_operation 
svt_err_check_stats  valid_translation_attribute 
svt_err_check_stats  valid_translation_range 
svt_err_check_stats  valid_vmid_check 


Member Function Documentation

  function void
 svt_dti_checker::new

 (  string name , svt_dti_port_configuration cfg , uvm_report_object reporter , bit register_enable = 1, bit enable_pc_cov = 1  ) 


CONSTRUCTOR: Create a new checker instance, passing the appropriate argument

reporter - UVM report object used for messaging

cfg - Required argument used to set (copy data into) cfg. NOTE: This should be updated to be specific to the protocol in question.

  function void
 svt_dti_checker::register_err_checks

 (  bit en = 1'b1  ) 


Member Attribute Documentation

 svt_err_check_stats  attribute
 svt_dti_checker::allow_non_secure_inst_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::allow_unpriv_inst_read_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::allow_unpriv_read_access_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::allow_unpriv_write_access_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_condis_sup_t_value_on_connect_check


Check grouping: DTI-ATS,DTI_ATS_CONDIS_REQ&DTI_ATS_CONDIS_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_cxl_io_value_check


Check grouping: DTI-ATS,DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_cxl_value_check


Check grouping: DTI-ATS,DTI_ATS_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_inv_trusted_entity_bit_value_check


Check grouping: DTI-ATS,DTI_ATS_INV_COMP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_memory_type_value_check


Check grouping: DTI-ATS,DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_page_req_trusted_entity_bit_value_check


Check grouping: DTI-ATS,DTI_ATS_PAGE_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_page_resp_trusted_entity_bit_value_check


Check grouping: DTI-ATS,DTI_ATS_PAGE_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_pri_msgs_supported_check


Check grouping: DTI-ATS,DTI_ATS_PAGE_REQ&DTI_ATS_PAGE_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::ats_token_translation_value_check


Check grouping: DTI-ATS,DTI_ATS_CONDIS_REQ&DTI_ATS_CONDIS_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_translation_id_value_check


Check grouping: DTI-ATS,DTI_ATS_TRANS_REQ&DTI_ATS_TRANS_RESP&DTI_ATS_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_translation_scope_check


Check grouping: DTI-ATS,DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_trans_resp_te_oa_value_check


Check grouping: DTI-ATS,DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ats_trusted_entity_bit_in_trans_msg_check


Check grouping: DTI-ATS,DTI_ATS_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::attr_over_nscfg_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::attr_over_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::available_imp_type1_req_for_imp_type1_response_check


Check grouping: DTI-TBU,IMPLEMENTATION_DEFINED Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::available_imp_type2_req_for_imp_type2_response_check


Check grouping: DTI-TBU,IMPLEMENTATION_DEFINED Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::available_page_req_ack_check


Check grouping: DTI-ATS,DTI_ATS_PAGE_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::available_page_resp_respack_check


Check grouping: DTI-ATS,DTI_ATS_PAGE_RESPACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_SLAVE_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information:

 svt_err_check_stats  attribute
 svt_dti_checker::available_reg_req_for_read_response_check


Check grouping: DTI-TBU,DTI_TBU_REG_RDATA Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::available_reg_req_for_write_response_check


Check grouping: DTI-TBU,DTI_TBU_REG_WACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::bypass_field_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::check_for_invalidation_token


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_INV_REQ&DTI_ATS_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::check_for_scale_num_tg_ttl


Check grouping: DTI-TBU,DTI_TBU_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::check_for_translation_token


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_REQ&DTI_ATS_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::check_for_valid_ats_va_ipa_range


Check grouping: DTI-ATS,DTI_ATS_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::check_for_valid_sid_vmid_range


Check grouping: DTI-TBU,DTI_TBU_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::check_for_valid_va_ipa


Check grouping: DTI-TBU,DTI_TBU_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::comb_alloc_attribute_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::comb_alloc_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::comb_mt_attribute_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::comb_mt_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::comb_sh_attribute_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::comb_sh_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::condis_ack_state_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::contiguous_streamid_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP&DTI_TBU_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::data_read_permitted_check


Check grouping: DTI-ATS,DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::destructive_read_permitted_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::destructive_read_permitted_v4_check


Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::directed_cache_prefetch_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::directed_cache_prefetch_v4_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::do_not_cache_field_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::dti_ats_no_translation_invalidation_token_zero_check


Check grouping: DTI-ATS,DTI_ATS_CONDIS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_ats_no_translation_msg_type_check


Check grouping: DTI-ATS,Message_Validity Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_ats_no_translation_trl_gnt_token_zero_check


Check grouping: DTI-ATS,DTI_ATS_CONDIS_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_ats_no_translation_trl_req_token_zero_check


Check grouping: DTI-ATS,DTI_ATS_CONDIS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_ats_no_translation_value_check


Check grouping: DTI-ATS,DTI_ATS_CONDIS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_ident_one_flow_atst_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_nse_ns_in_trans_resp_when_sec_sid_realm


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_nse_ns_in_trans_resp_when_sec_sid_secure


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_sec_sid_non_secure_mpam_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_sec_sid_non_secure_trans_req_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_sec_sid_non_secure_trans_resp_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_sec_sid_realm_mpam_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_sec_sid_realm_trans_req_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_sec_sid_realm_trans_resp_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_sec_sid_secure_mpam_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_sec_sid_secure_trans_req_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_one_sec_sid_secure_trans_resp_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_alloc_cfg_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_attr_ovr_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_bypass_type_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_bypass_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_fault_response_msg_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_fault_response_type_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_ident_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_ind_pnu_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_inst_cfg_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_nse_ns_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_nsx_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_partid_pmg_hwattr_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_priv_cfg_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_mmuv_zero_sid_ssid_ssv_sec_sid_flow_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_reqex_zero_permitted_trans_resp_msg_type_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESPEX Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_tbu_condis_ack_valid_state_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK&Message_Validity Check description: Checks that
  • CONNECT Acknowledgement message is issed only when channel is in REQ_CONNECT state for DTI-TBU or DTI-ATS protocol
  • DISCONNECT Acknowledgement message is issed only when channel is in REQ_DISCONNECT state for DTI-TBU or DTI-ATS protocol

Pass condition:

  • CONNECT Acknowledgement message is issed when channel is in REQ_CONNECT state for DTI-TBU or DTI-ATS protocol
  • DISCONNECT Acknowledgement message is issed when channel is in REQ_DISCONNECT state for DTI-TBU or DTI-ATS protocol

Fail condition:

  • CONNECT Acknowledgement message is issed when channel is not in REQ_CONNECT state for DTI-TBU or DTI-ATS protocol
  • DISCONNECT Acknowledgement message is issed when channel is not in REQ_DISCONNECT state for DTI-TBU or DTI-ATS protocol

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_MASTER_TBU&Passive DTI_SLAVE_TCU&Active DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::dti_tbu_condis_req_valid_state_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_CONDIS_REQ&DTI_ATS_CONDIS_REQ&Message_Validity Check description: Checks that
  • CONNECT Request message is issed only when channel is in DISCONNECTED state for DTI-TBU or DTI-ATS protocol
  • DISCONNECT Request message is issed only when channel is in CONNECTED state for DTI-TBU or DTI-ATS protocol

Pass condition:

  • CONNECT Request message is issed when channel is in DISCONNECTED state for DTI-TBU or DTI-ATS protocol
  • DISCONNECT Request message is issed when channel is in CONNECTED state for DTI-TBU or DTI-ATS protocol

Fail condition:

  • CONNECT Request message is issed when channel is not in DISCONNECTED state for DTI-TBU or DTI-ATS protocol
  • DISCONNECT Request message is issed only when channel is not in CONNECTED state for DTI-TBU or DTI-ATS protocol

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version

 svt_err_check_stats  attribute
 svt_dti_checker::dti_tbu_imp_msg_type1_msg_type_field_encoding_check


Check grouping: DTI-TBU,IMPLEMENTATION_DEFINED Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::dti_tbu_imp_msg_type2_msg_type_field_encoding_check


Check grouping: DTI-TBU,IMPLEMENTATION_DEFINED Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::dti_tbu_trans_req_flow_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_trans_bp_type_permitted_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::dti_trans_bp_type_reserved_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::dti_trans_ident_output_address_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_trans_mmuv_one_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_trans_mmuv_zero_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_trans_nscfg_use_incoming_when_sec_sid_ns_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_trans_resp_aset_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_trans_resp_trans_rng_value_v3_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_trans_respex_mecid_zero_check


Check grouping: DTI-TBU, DTI_TBU_TRANS_RESPEX Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::dti_trans_stream_world_el3_v3_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::instruction_access_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_REQ&DTI_ATS_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::instruction_reads_permitted_check


Check grouping: DTI-ATS,DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_msg_in_connected_state


Check grouping: DTI-TBU&DTI-ATS,Message_Validity Check description: Checks that
  • CONNECT Request, CONNECT Acknowledgment and DICONNECT Acknowledgment messages are not issued when channel is in svt_dti_transaction :: CONNECTED state for DTI-TBU or DTI-ATS protocol

Pass condition:

  • CONNECT Request, CONNECT Acknowledgment and DICONNECT Acknowledgment messages are not issued when channel is in svt_dti_transaction :: CONNECTED state for DTI-TBU or DTI-ATS protocol

Fail condition:

  • CONNECT Request, CONNECT Acknowledgment or DICONNECT Acknowledgment messages is issued when channel is in svt_dti_transaction :: CONNECTED state for DTI-TBU or DTI-ATS protocol

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_msg_in_disconnected_state


Check grouping: DTI-TBU&DTI-ATS,Message_Validity Check description: Checks that

Pass condition:

Fail condition:

  • Some other message is issued instead of CONNECT Request message when channel is in svt_dti_transaction :: DISCONNECTED state for DTI-TBU or DTI-ATS protocol

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_msg_in_req_connect_state


Check grouping: DTI-TBU&DTI-ATS,Message_Validity Check description: Checks that
  • CONNECT Acknowledment message(Connect Accept or Connect Deny) is only issued when channel is in svt_dti_transaction :: REQ_CONNECT state for DTI-TBU or DTI-ATS protocol

Pass condition:

  • CONNECT Acknowledment message(Connect Accept or Connect Deny) is issued when channel is in svt_dti_transaction :: REQ_CONNECT state for DTI-TBU or DTI-ATS protocol

Fail condition:

  • Some other message is issued instead of CONNECT Acknowledment message(Connect Accept or Connect Deny) when channel is in svt_dti_transaction :: REQ_CONNECT state for DTI-TBU or DTI-ATS protocol

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_msg_in_req_disconnect_state


Check grouping: DTI-TBU&DTI-ATS,Message_Validity Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::inv_size_check


Check grouping: DTI-TBU,DTI_TBU_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::inv_substream_id_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_INV_REQ&DTI_ATS_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_MASTER_TBU&Passive DTI_SLAVE_TCU&Active DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_sec_sid_for_v3_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_trans_range_when_byapss_one


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information:

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_trans_range_when_byapss_zero


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information:

 svt_err_check_stats  attribute
 svt_dti_checker::invalidation_range_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::invalidation_range_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::inv_valid_vmid_check


Check grouping: DTI-TBU,DTI_TBU_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_fault_type_abort


Check grouping: DTI-TBU,DTI_TBU_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_fault_type_global_disabled


Check grouping: DTI-TBU,DTI_TBU_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_fault_type_translation_pri


Check grouping: DTI-TBU,DTI_TBU_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::invalid_fault_type_translation_stall


Check grouping: DTI-TBU,DTI_TBU_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::memattr_zero_when_mtcfg_zero


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::mpamns_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::multiple_ats_inv_reqs_with_same_sid_and_itag


Check grouping: DTI-ATS,DTI_ATS_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::no_outstanding_inv_req_for_sync_req_check


Check grouping: DTI-ATS,DTI_ATS_SYNC_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information:

 svt_err_check_stats  attribute
 svt_dti_checker::no_outstanding_page_req_check


Check grouping: DTI-ATS,DTI_ATS_PAGE_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::no_outstanding_page_resp_check


Check grouping: DTI-ATS,DTI_ATS_PAGE_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::no_outstanding_reg_req_check


Check grouping: DTI-TBU,DTI_TBU_REG_WRITE&DTI_TBU_REG_READ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::no_outstanding_sync_req_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_SYNC_REQ&DTI_ATS_SYNC_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::no_outstanding_trans_req_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_CONDIS_REQ&DTI_ATS_CONDIS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::non_secure_access_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ&DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::ns_in_trans_resp_when_nsovr_zero


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid svt_dti_env_configuration :: dti_spec_version's when svt_dti_port_configuration :: dti_version is svt_dti_port_configuration :: DTI1_0 .

 svt_err_check_stats  attribute
 svt_dti_checker::ns_in_trans_resp_when_sec_sid_secure


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid svt_dti_env_configuration :: dti_spec_version's when svt_dti_port_configuration :: dti_version is svt_dti_port_configuration :: DTI2_0 .

 svt_err_check_stats  attribute
 svt_dti_checker::num_outstanding_page_req_check


Check grouping: DTI-ATS,DTI_ATS_CONDIS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_ATS&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::output_address_size_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version . .

 svt_err_check_stats  attribute
 svt_dti_checker::override_non_secure_access_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::part_id_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::part_id_rsvd_v3_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP&DTI_TBU_TRANS_RESPEX Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::pending_ats_inv_req_exists_for_inv_comp


Check grouping: DTI-ATS,DTI_ATS_INV_COMP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_SLAVE_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::pending_inv_req_exists


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_INV_ACK&DTI_ATS_INV_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::pmg_rsvd_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 logic  attribute
 svt_dti_checker::previous_reset = 1


Last sampled value of reset

 svt_err_check_stats  attribute
 svt_dti_checker::privileged_access_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_REQ&DTI_ATS_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::priv_read_access_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::priv_write_access_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::protocol_bit_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_CONDIS_REQ&DTI_ATS_CONDIS_REQ&DTI_TBU_TRANS_REQ&DTI_ATS_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::protocol_version_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::protocol_version_rsvd_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_CONDIS_REQ&DTI_ATS_CONDIS_REQ&DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::read_write_access_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::register_access_supported_check


Check grouping: DTI-TBU,DTI_TBU_REG_WRITE&DTI_TBU_REG_READ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 uvm_report_object  attribute
 svt_dti_checker::reporter


UVM report server passed in through the constructor

 svt_err_check_stats  attribute
 svt_dti_checker::s1_hw_attribute_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid svt_dti_env_configuration :: dti_spec_version's when svt_dti_port_configuration :: dti_version is svt_dti_port_configuration :: DTI1_0 or svt_dti_port_configuration :: DTI2_0 .

 svt_err_check_stats  attribute
 svt_dti_checker::s2_hw_attribute_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid svt_dti_env_configuration :: dti_spec_version's when svt_dti_port_configuration :: dti_version is svt_dti_port_configuration :: DTI1_0 .

 svt_err_check_stats  attribute
 svt_dti_checker::secure_stream_id_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::smmu_stream_world_and_bypass_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::strw_is_el1_or_el2_when_sec_sid_one


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid svt_dti_env_configuration :: dti_spec_version when svt_dti_port_configuration :: dti_version is svt_dti_port_configuration :: DTI1_0 .

 svt_err_check_stats  attribute
 svt_dti_checker::strw_is_el1_s2_when_ssv_one


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version except svt_dti_env_configuration :: dti_spec_version is svt_dti_env_configuration :: VERSION_2_0 .

 svt_err_check_stats  attribute
 svt_dti_checker::substream_id_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_REQ&DTI_ATS_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::sync_req_exists


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_SYNC_ACK&DTI_ATS_SYNC_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::tbi_field_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::tbu_nscfg_rsvd_when_bp_type_is_dptbypass


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::tbu_trans_resp_dptbypass_permitted_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::tbu_trans_resp_write_permissions_when_dptbypass


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::tbu_trans_rng_when_bp_type_is_dptbypass


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::tok_trans_gnt_in_connected_state_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::tok_trans_req_when_disconnect_requested_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_CONDIS_REQ&DTI_ATS_CONDIS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::translation_id_check


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_REQ&DTI_TBU_TRANS_RESP&DTI_TBU_TRANS_FAULT&DTI_ATS_TRANS_REQ&DTI_ATS_TRANS_RESP&DTI_ATS_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::translation_id_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ&DTI_TBU_TRANS_RESP&DTI_TBU_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::translation_scope_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::translation_shareability_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 bit [SVT_DTI_MAX_TRL_TOKEN_WIDTH-1:0]  attribute
 svt_dti_checker::translation_token_requested = 0


Used to store TOK_TRANS_REQ from DTI_TBU_CONDIS_REQ message

 svt_err_check_stats  attribute
 svt_dti_checker::valid_asid_attr_over_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::valid_asid_check


Check grouping: DTI-TBU,DTI_TBU_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_fault_type


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_FAULT&DTI_ATS_TRANS_FAULT Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::valid_inc_aset1_field


Check grouping: DTI-TBU,DTI_TBU_INV_REQ Check description: Checks that
  • In the svt_dti_transaction :: DTI_TBU_INV_REQ message, svt_dti_transaction :: inc_aset1 is ZERO when Invalidation operation is not using this field for DTI-TBU protocol
  • In the svt_dti_transaction :: DTI_TBU_INV_REQ message, svt_dti_transaction :: inc_aset1 is ONE for the following TLBI invalidation operations for DTI-TBU protocol
    • TLBI_S_EL1_ALL, TLBI_S_EL1_VAA, TLBI_NS_EL1_ALL, TLBI_NS_EL1_S1_VMID, TLBI_NS_EL1_S12_VMID, TLBI_NS_EL1_VAA, TLBI_NS_EL1_S2_IPA,TLBI_NS_EL2_ALL, TLBI_NS_EL2_VAA, TLBI_S_EL3_ALL, TLBI_S_EL1_S1_VMID, TLBI_S_EL1_S12_VMID, TLBI_S_EL1_S2_S_IPA, TLBI_S_EL1_S2_NS_IPA,TLBI_S_EL2_ALL, TLBI_S_EL2_VAA, TLBI_RL_EL1_ALL, TLBI_RL_EL1_S1_VMID, TLBI_RL_EL1_S12_VMID, TLBI_RL_EL1_VAA, TLBI_RL_EL1_S2_IPA,TLBI_RL_EL2_ALL, TLBI_RL_EL2_VAA

Pass condition:

  • In the svt_dti_transaction :: DTI_TBU_INV_REQ message, svt_dti_transaction :: inc_aset1 is ZERO when Invalidation operation is not using this field for DTI-TBU protocol
  • In the svt_dti_transaction :: DTI_TBU_INV_REQ message, svt_dti_transaction :: inc_aset1 is ONE for the following TLBI invalidation operations for DTI-TBU protocol
    • TLBI_S_EL1_ALL, TLBI_S_EL1_VAA, TLBI_NS_EL1_ALL, TLBI_NS_EL1_S1_VMID, TLBI_NS_EL1_S12_VMID, TLBI_NS_EL1_VAA, TLBI_NS_EL1_S2_IPA,TLBI_NS_EL2_ALL, TLBI_NS_EL2_VAA, TLBI_S_EL3_ALL, TLBI_S_EL1_S1_VMID, TLBI_S_EL1_S12_VMID, TLBI_S_EL1_S2_S_IPA, TLBI_S_EL1_S2_NS_IPA,TLBI_S_EL2_ALL, TLBI_S_EL2_VAA, TLBI_RL_EL1_ALL, TLBI_RL_EL1_S1_VMID, TLBI_RL_EL1_S12_VMID, TLBI_RL_EL1_VAA, TLBI_RL_EL1_S2_IPA,TLBI_RL_EL2_ALL, TLBI_RL_EL2_VAA

Fail condition:

  • In the svt_dti_transaction :: DTI_TBU_INV_REQ message, svt_dti_transaction :: inc_aset1 is not ZERO when Invalidation operation is not using this field for DTI-TBU protocol
  • In the svt_dti_transaction :: DTI_TBU_INV_REQ message, svt_dti_transaction :: inc_aset1 is not ONE for one of the following TLBI invalidation operations for DTI-TBU protocol
    • TLBI_S_EL1_ALL, TLBI_S_EL1_VAA, TLBI_NS_EL1_ALL, TLBI_NS_EL1_S1_VMID, TLBI_NS_EL1_S12_VMID, TLBI_NS_EL1_VAA, TLBI_NS_EL1_S2_IPA,TLBI_NS_EL2_ALL, TLBI_NS_EL2_VAA, TLBI_S_EL3_ALL, TLBI_S_EL1_S1_VMID, TLBI_S_EL1_S12_VMID, TLBI_S_EL1_S2_S_IPA, TLBI_S_EL1_S2_NS_IPA,TLBI_S_EL2_ALL, TLBI_S_EL2_VAA, TLBI_RL_EL1_ALL, TLBI_RL_EL1_S1_VMID, TLBI_RL_EL1_S12_VMID, TLBI_RL_EL1_VAA, TLBI_RL_EL1_S2_IPA,TLBI_RL_EL2_ALL, TLBI_RL_EL2_VAA

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_inst_data_cfg


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_mpamns_value_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::valid_nsovr_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid svt_dti_env_configuration :: dti_spec_version's when svt_dti_port_configuration :: dti_version is svt_dti_port_configuration :: DTI1_0 or svt_dti_port_configuration :: DTI2_0 .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_output_address


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_output_address_wrt_oas


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::valid_output_address_wrt_trans_range


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_priv_unpriv_cfg


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_state_transition_check


Check grouping: DTI-TBU&DTI-ATS,State_Transition Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU&Active DTI_SLAVE_ATS&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_stream_id_check


Check grouping: DTI-TBU,DTI_TBU_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_substream_id_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information:

.

 svt_err_check_stats  attribute
 svt_dti_checker::valid_tbu_dpt_invalidation_operation


Check grouping: DTI-TBU,DTI_TBU_INV_REQ Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Passive DTI_MASTER_TBU&Active DTI_SLAVE_TCU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable only when:

.

 svt_err_check_stats  attribute
 svt_dti_checker::valid_translation_attribute


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_translation_range


Check grouping: DTI-TBU&DTI-ATS,DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Active DTI_MASTER_ATS&Passive DTI_MASTER_ATS&Passive DTI_SLAVE_TCU&Passive DTI_SLAVE_ATS

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .

 svt_err_check_stats  attribute
 svt_dti_checker::valid_vmid_check


Check grouping: DTI-TBU,DTI_TBU_TRANS_RESP Check description: Checks that

Pass condition:

Fail condition:

Applicable device type: Active DTI_MASTER_TBU&Passive DTI_MASTER_TBU&Passive DTI_SLAVE_TCU

Additional information: This check is applicable for all valid combinations of svt_dti_env_configuration :: dti_spec_version and svt_dti_port_configuration :: dti_version .