VIP Smartsearch

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

  • How to download VIP smartsearch?

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

  • How to install VIP Smartsearch?

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

  • Customer Support

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

DTI SVT UVM Documentation - Protocol Checks Defined in VIP

Summary of Protocol Checks defined in DTI SVT UVM Documentation:

Product Base Group Protocol Check Class
amba_svt DTI-ATS svt_dti_checker
DTI-TBU svt_dti_checker
Default svt_dti_checker

Product: amba_svt - Protocol Checks Details:

Group SubGroup1 Protocol Check Instance name Reference ▲▼ Description
DTI-TBU&DTI-ATS DTI_TBU_SYNC_ACK&DTI_ATS_SYNC_ACK sync_req_exists AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.4 DTI_TBU_SYNC_ACK,4.3.5 DTI_ATS_SYNC_ACK Synchronization Acknowledgment message must be issued only when Unacknowledged Synchronization Request message is present for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_SYNC_REQ&DTI_ATS_SYNC_REQ no_outstanding_sync_req_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.3 DTI_TBU_SYNC_REQ,4.3.4 DTI_ATS_SYNC_REQ Synchronization Request message must issued only when no Unacknowledged Synchronization Request message is present for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_INV_ACK&DTI_ATS_INV_ACK pending_inv_req_exists AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.2 DTI_TBU_INV_ACK,4.3.2 DTI_ATS_INV_ACK Invalidation Acknowledgment message should be issued only when atleast one Unacknowledged Invalidation Request message is present for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_INV_REQ&DTI_ATS_INV_REQ check_for_invalidation_token AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.1 DTI_TBU_INV_REQ,4.3.1 DTI_ATS_INV_REQ TCU must have atleast one invalidation token to issue Invalidation Request messages for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_CONDIS_REQ&DTI_ATS_CONDIS_REQ no_outstanding_trans_req_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.1.1 DTI_TBU_CONDIS_REQ,4.1.1 DTI_ATS_CONDIS_REQ DISCONNECT Request should be sent only when there are no outstanding translation Request messages for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_INV_REQ&DTI_ATS_INV_REQ inv_substream_id_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.1 DTI_TBU_INV_REQ,4.3.1 DTI_ATS_INV_REQ SSID Field is Reserved and SBZ when Invalidation operation is not using this field for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU IMPLEMENTATION DEFINED dti_tbu_imp_msg_type2_msg_type_field_encoding_check SYNOPSYS DEFINED DTI_TBU_MASTER_IMP_DEF_TYPE2_REQ.M_MSG_TYPE or DTI_TBU_SLAVE_IMP_DEF_TYPE2_RESP.S_MSG_TYPE field is 0xF for DTI-TBU protocol svt_dti_checker
DTI-TBU IMPLEMENTATION DEFINED dti_tbu_imp_msg_type1_msg_type_field_encoding_check SYNOPSYS DEFINED DTI_TBU_MASTER_IMP_DEF_TYPE1_REQ.M_MSG_TYPE or DTI_TBU_SLAVE_IMP_DEF_TYPE1_RESP.S_MSG_TYPE field is 0xE for DTI-TBU protocol svt_dti_checker
DTI-TBU IMPLEMENTATION DEFINED available_imp_type2_req_for_imp_type2_response_check SYNOPSYS DEFINED DTI_TBU_SLAVE_IMP_DEF_TYPE2_RESP message must be issued only when atleast outstanding DTI_TBU_MASTER_IMP_DEF_TYPE2_REQ Request message is present for DTI-TBU protocol svt_dti_checker
DTI-TBU IMPLEMENTATION DEFINED available_imp_type1_req_for_imp_type1_response_check SYNOPSYS DEFINED DTI_TBU_SLAVE_IMP_DEF_TYPE1_RESP message must be issued only when atleast outstanding DTI_TBU_MASTER_IMP_DEF_TYPE1_REQ Request message is present for DTI-TBU protocol svt_dti_checker
DTI-TBU&DTI-ATS Message Validity invalid_msg_in_req_connect_state AMBA DTI Protocol Specification ARM IHI 0088F ID092723:2.2.2 Handshaking CONNECT Acknowledment messageConnect Accept or Connect Deny is only permitted when channel is in REQ_CONNECT state for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS Message Validity invalid_msg_in_req_disconnect_state AMBA DTI Protocol Specification ARM IHI 0088F ID092723:2.2.2 Handshaking Downstream messages are not permitted when channel is in REQ_DISCONNECT state for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS Message Validity invalid_msg_in_connected_state AMBA DTI Protocol Specification ARM IHI 0088F ID092723:2.2.2 Handshaking CONNECT Request, CONNECT Acknowledgment and DICONNECT Acknowledgment messages are not permitted when channel is in CONNECTED state for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS Message Validity invalid_msg_in_disconnected_state AMBA DTI Protocol Specification ARM IHI 0088F ID092723:2.2.2 Handshaking CONNECT Request message is only permitted when channel is in DISCONNECTED state for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK tok_trans_gnt_in_connected_state_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.1.2 DTI_TBU_CONDIS_ACK,4.1.2 DTI_ATS_CONDIS_ACK TOK_TRANS_GNT field present in the CONNECT Acknowledgement message must not be greater than TOK_TRANS_REQ field present in the CONNECT Request message for DTI-TBUv1, DTI-TBU-v2, DTI-ATSv1 or DTI-ATSv2 protocol,and It must be equal to the TOK_TRANS_REQ field present in the CONNECT Request message for DTI-TBUv3 or DTI-ATSv3 protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_CONDIS_REQ&DTI_ATS_CONDIS_REQ tok_trans_req_when_disconnect_requested_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.1.1 DTI_TBU_CONDIS_REQ,4.1.1 DTI_ATS_CONDIS_REQ TOK_TRANS_REQ field present in the DISCONNECT Request message must be equal to the value of the TOK_TRANS_GNT field present in the CONNECT Acknowledgement message that acknowledged the connection of the channel svt_dti_checker
DTI-TBU&DTI-ATS State Transition valid_state_transition_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:2.2.2 Handshaking DISCONNECTED to REQ_CONNECT, REQ_CONNECT to CONNECTED, REQ_CONNECT to DISCONNECTED, CONNECTED to REQ_DISCONNECT and REQ_DISCONNET to DISCONNECTED are only permitted Channel state transitions for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK&Message Validity dti_tbu_condis_ack_valid_state_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.1.2 DTI_TBU_CONDIS_ACK,4.1.2 DTI_ATS_CONDIS_ACK CONNECT/DISCONNECT Acknowledgement message should be sent only when the channel is in the corresponding REQ_CONNECT/REQ_DISCONNECT state respectively svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_CONDIS_REQ&DTI_ATS_CONDIS_REQ&Message Validity dti_tbu_condis_req_valid_state_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.1.1 DTI_TBU_CONDIS_REQ,4.1.1 DTI_ATS_CONDIS_REQ CONNECT/DISCONNECT Request message should be sent only when the channel is in corresponding DISCONNECTED/CONNECTED state respectively svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK output_address_size_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.1.2 DTI_TBU_CONDIS_ACK,4.1.2 DTI_ATS_CONDIS_ACK DTI_TBU_CONDIS_ACK.OAS/DTI_ATS_CONDIS_ACK.OAS must be within the range of 0 to 6 and all other values are reserved for DTI-TBU or DTI-ATSv1 protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK condis_ack_state_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.1.2 DTI_TBU_CONDIS_ACK,4.1.2 DTI_ATS_CONDIS_ACK STATE field in the CONNECT Acknowledgement message must be ZERO when the STATE field in the CONNECT Request message is ZERO for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_CONDIS_REQ&DTI_ATS_CONDIS_REQ&DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK protocol_version_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.1.1 DTI_TBU_CONDIS_REQ,3.1.2 DTI_TBU_CONDIS_ACK,4.1.1 DTI_ATS_CONDIS_REQ,4.1.2 DTI_ATS_CONDIS_ACK VERSION field in the CONNECT Request and Acknowledgement messages must not be Reserved value for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_CONDIS_ACK&DTI_ATS_CONDIS_ACK protocol_version_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.1.2 DTI_TBU_CONDIS_ACK,4.1.2 DTI_ATS_CONDIS_ACK VERSION field in the CONNECT Acknowledgement message must not be greater than the VERSION field in the CONNECT Request message for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_CONDIS_REQ&DTI_ATS_CONDIS_REQ&DTI_TBU_TRANS_REQ&DTI_ATS_TRANS_REQ protocol_bit_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.1.1 DTI_TBU_CONDIS_REQ,3.2.1 DTI_TBU_TRANS_REQ,4.1.1 DTI_ATS_CONDIS_REQ,4.2.1 DTI_ATS_TRANS_REQ DTI_TBU_CONDIS_REQ.PROTOCOL and DTI_TBU_TRANS_REQ.PROTOCOL must be 0 for DTI-TBU protocol and DTI_ATS_CONDIS_REQ.PROTOCOL and DTI_ATS_TRANS_REQ.PROTOCOL must be 1 for DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_REQ&DTI_ATS_TRANS_REQ substream_id_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ,4.2.1 DTI_ATS_TRANS_REQ SSID field in the Translation Request message is Reserved and SBZ when SSV field in the Translation Request message is 0 for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP valid_translation_range AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP,4.2.2 DTI_ATS_TRANS_RESP TRANS_RNG field present in the Translation Response message must not be Reserved value for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_REQ&DTI_ATS_TRANS_REQ privileged_access_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ,4.2.1 DTI_ATS_TRANS_REQ DTI_TBU_TRANS_REQ.PnU must be 0 when DTI_TBU_TRANS_REQ.PERM is SPEC for DTI-TBU protocol, it must be 0 when DTI_TBU_TRANS_REQ.FLOW is ATST for DTI-TBUv2 or DTI-TBUv3 protocol and DTI_ATS_TRANS_REQ.PnU must be 0 when DTI_ATS_TRANS_REQ.SSV is 0 for DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_REQ&DTI_ATS_TRANS_REQ instruction_access_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ,4.2.1 DTI_ATS_TRANS_REQ DTI_TBU_TRANS_REQ.InD must be 0 When DTI_TBU_TRANS_REQ.PERM is W, RW, or SPEC for DTI-TBU protocol, it must be 0 when DTI_TBU_TRANS_REQ.FLOW is ATST for DTI-TBUv2 or DTI-TBUv3 protocol and DTI_ATS_TRANS_REQ.InD must be 0 when DTI_ATS_TRANS_REQ.SSV is 0 for DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP valid_output_address_wrt_trans_range AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP,4.2.2 DTI_ATS_TRANS_RESP Translation Response OA field Bits within the range given by the TRANS_RNG field must match Translation Request IA for DTI-TBUv2,DTI-TBUv3, DTI-ATSv2 or DTI-ATSv3 protocol, Translarion Response OA field must be the first byte in a region of size that is given by the TRANS_RNG for DTI-TBUv1 or DTI-ATSv1 protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP valid_output_address AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP,4.2.2 DTI_ATS_TRANS_RESP Transaltion Response OA field must be 0 when BYPASS is 1 for DTI-TBUv1 or DTI-ATSv1 protocol, it must be equal to Translation Request IA field when BYPASS is 1 for DTI-TBUv2, DTI-TBUv3, DTI-ATSv2, or DTI-ATSv3 protocol and DTI_ATS_TRANS_RESP.OA is Reserved and SBZ when DTI_ATS_TRANS_RESP.UNTRANSLATED is 1 for DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP invalid_trans_range_when_byapss_zero AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP,4.2.2 DTI_ATS_TRANS_RESP Translation Response TRANS_RNG field must not be greater than the size indicated by the OAS field of the Connect Acknowledgement message when BYPASS is 0 for DTI-TBUv1,DTI-TBUv2 or DTI-ATSv1 protocol, it must not be greater than the size indicated by the OAS field of the Connect Acknowledgement message independent of BYPASS for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP valid_output_address_wrt_oas AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.OA must be within the range indicated by the DTI_TBU_CONDIS_ACK.OAS for DTI-TBU protocol, DTI_ATS_TRANS_RESP.OA must be within the larger of address sizes DTI_ATS_CONDIS_ACK.OAS and 40bits for DTI-ATSv1 protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP bypass_field_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP,4.2.2 DTI_ATS_TRANS_RESP BYPASS field present in the Translation Response message must be 0 when the value of IA in the Translation Request message is greater than the address range indicated by OAS field of Connect Acknowledgement message for DTI-TBU or DTI-ATSv1 protocol, it must be 1 when DTI_TBU_TRANS_REQ.IDENT is 1 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_RESP&DTI_ATS_TRANS_RESP invalid_trans_range_when_byapss_one AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP,4.2.2 DTI_ATS_TRANS_RESP Translation Response TRANS_RNG field must be equal to the OAS field of the Connect Acknowledgement message when BYPASS is 1 for DTI-TBUv1,DTI-TBUv2 or DTI_ATSv1 protocol, it must be 0 when BYPASS is 1 for DTI-ATSv2 or DTI-ATSv3 protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_FAULT&DTI_ATS_TRANS_FAULT valid_fault_type AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.4 DTI_TBU_TRANS_FAULT,4.2.3 DTI_ATS_TRANS_FAULT FAULT_TYPE field present in the Translation fault message must not be Reserved value for DTI-TBU or DTI-ATS protocol svt_dti_checker
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 translation_id_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ,3.2.2 DTI_TBU_TRANS_RESP,3.2.4 DTI_TBU_TRANS_FAULT,4.2.1 DTI_ATS_TRANS_REQ,4.2.2 DTI_ATS_TRANS_RESP,4.2.3 DTI_ATS_TRANS_FAULT There should exist only one outstanding Translation Request message with the same TRANSLATION_ID and For every Translation Response or Translation Fault message there should exist only one outstanding Translation Request message with the same TRANSLATION_ID for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-TBU&DTI-ATS DTI_TBU_TRANS_REQ&DTI_ATS_TRANS_REQ check_for_translation_token AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ,4.2.1 DTI_ATS_TRANS_REQ Translation Request must be issued only when atleast one translation token is available for DTI-TBU or DTI-ATS protocol svt_dti_checker
DTI-ATS DTI_ATS_INV_REQ check_for_valid_ats_va_ipa_range AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.3.1 DTI_ATS_INV_REQ DTI_ATS_INV_REQ.RANGE value should not be greater than d'52 for DTI-ATS protocol svt_dti_checker
DTI-ATS DTI_ATS_PAGE_REQ&DTI_ATS_PAGE_RESP ats_pri_msgs_supported_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.4.1 DTI_ATS_PAGE_REQ,4.4.3 DTI_ATS_PAGE_RESP DTI_ATS_PAGE_REQ messages must not be issued when DTI_ATS_CONDIS_ACK.SUP_PRI is 0 for DTI-ATS protocol and DTI_ATS_PAGE_RESP must not be issued when DTI_ATS_CONDIS_ACK.SUP_PRI is 0 for DTI-ATSv2 or DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_PAGE_ACK available_page_req_ack_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.4.2 DTI_ATS_PAGE_ACK DTI_ATS_PAGE_ACK message must be issued only when Unacknowledged DTI_ATS_PAGE_REQ message is present for DTI-ATS protocol svt_dti_checker
DTI-ATS DTI_ATS_PAGE_REQ no_outstanding_page_req_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.4.1 DTI_ATS_PAGE_REQ DTI_ATS_PAGE_REQ message must be issued only when no Unacknowledged DTI_ATS_PAGE_REQ message is present for DTI-ATS protocol svt_dti_checker
DTI-ATS DTI_ATS_CONDIS_REQ num_outstanding_page_req_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.1.1 DTI_ATS_CONDIS_REQ DISCONNECT Request should be sent only when there are no outstanding page Request messages for DTI-ATS protocol svt_dti_checker
DTI-ATS DTI_ATS_TRANS_RESP data_read_permitted_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.2.2 DTI_ATS_TRANS_RESP DTI_ATS_TRANS_RESP.ALLOW_R must be 1 when DTI_ATS_TRANS_RESP.ALLOW_W is 0 for DTI-ATS protocol svt_dti_checker
DTI-ATS DTI_ATS_TRANS_RESP instruction_reads_permitted_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.2.2 DTI_ATS_TRANS_RESP DTI_ATS_TRANS_RESP.ALLOW_X must be 0 when DTI_ATS_TRANS_RESP.ALLOW_R is 0 or corresponding DTI_ATS_TRANS_REQ.InD is 0 for DTI-ATS protocol svt_dti_checker
DTI-ATS DTI_ATS_TRANS_RESP ats_translation_scope_check AMBA DTI Protocol Specification Edition 3 100225_0000_03_en:5.2.2 DTI_ATS_TRANS_RESP DTI_ATS_TRANS_RESP.GLOBAL must be 0 when DTI_ATS_TRANS_REQ.SSV is 0 and it must be 1 when DTI_ATS_TRANS_RES.SSV is 1 and DTI_ATS_TRANS_RESP.BYPASS is 1 for DTI-ATSv1 protocol svt_dti_checker
DTI-ATS DTI_ATS_CONDIS_REQ dti_ats_no_translation_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.1.1 DTI_ATS_CONDIS_REQ DTI_ATS_CONDIS_REQ.NO_TRANS is always Reserved and SBZ in both CONNECT and DISCONNECT Requests for DTI-ATSv1 protocol, and In the DISCONNECT Request it must be equal to the value of NO_TRANS in the previous CONNECT Request for DTI-ATSv2 or DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_TRANS_RESP ats_cxl_io_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.2.2 DTI_ATS_TRANS_RESP DTI_ATS_TRANS_RESP.CXL_IO is always Reserved and SBZ for DTI-ATSv1 protocol, and it is Reserved and SBZ only when DTI_ATS_TRANS_REQ.CXL is 0 for DTI-ATSv3 protocol svt_dti_checker
DTI-ATS Message Validity dti_ats_no_translation_msg_type_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.1.1 DTI_ATS_CONDIS_REQ Sending Translation, Invalidation and Synchronization group messages are not permitted when DTI_ATS_CONDIS_REQ.NO_TRANS is 1 for DTI-ATSv2 or DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_PAGE_RESPACK available_page_resp_respack_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.4.4 DTI_ATS_PAGE_RESPACK DTI_ATS_PAGE_RESPACK message must be issued only when atleast one unacknowledged DTI_ATS_PAGE_RESP message is present for DTI-ATSv2 or higher protocol svt_dti_checker
DTI-ATS DTI_ATS_CONDIS_REQ dti_ats_no_translation_trl_req_token_zero_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.1.1 DTI_ATS_CONDIS_REQ DTI_ATS_CONDIS_REQ.TOK_TRANS_REQ is Reserved and SBZ when DTI_ATS_CONDIS_REQ.NO_TRANS is 1 for DTI-ATSv2 or DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_CONDIS_ACK dti_ats_no_translation_trl_gnt_token_zero_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.1.2 DTI_ATS_CONDIS_ACK DTI_ATS_CONDIS_ACK.TOK_TRANS_GNT is Reserved and SBZ when DTI_ATS_CONDIS_REQ.NO_TRANS is 1 for DTI-ATSv2 or DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_CONDIS_REQ dti_ats_no_translation_invalidation_token_zero_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.1.1 DTI_ATS_CONDIS_REQ DTI_ATS_CONDIS_REQ.TOK_INV_GNT is Reserved and SBZ when DTI_ATS_CONDIS_REQ.NO_TRANS is 1 for DTI-ATSv2 or DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_PAGE_RESP no_outstanding_page_resp_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.4.3 DTI_ATS_PAGE_RESP DTI_ATS_PAGE_RESP message must be issued only when no Unacknowledged DTI_ATS_PAGE_RESP message is present for DTI-ATSv2 or DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_TRANS_RESP ats_memory_type_value_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_ATS_TRANS_RESP.AMA is Reserved and SBZ for DTI-ATSv1 protocol svt_dti_checker
DTI-ATS DTI_ATS_INV_COMP ats_inv_trusted_entity_bit_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.3.3 DTI_ATS_INV_COMP DTI_ATS_INV_COMP.T value must match the corresponding DTI_ATS_INV_REQ.T for DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_INV_REQ multiple_ats_inv_reqs_with_same_sid_and_itag AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.3.1 DTI_ATS_INV_REQ There should exist only one outstanding DTI_ATS_INV_REQ message with the same SID and ITAG value for DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_INV_COMP pending_ats_inv_req_exists_for_inv_comp AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.3.3 DTI_ATS_INV_COMP For every DTI_ATS_INV_COMP message there should exist only one outstanding DTI_ATS_INV_REQ with the same SID and ITAG for DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_PAGE_RESP ats_page_resp_trusted_entity_bit_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.4.3 DTI_ATS_PAGE_RESP DTI_ATS_PAGE_RESP.T field must be 0 when DTI_ATS_CONDIS_REQ.SUP_T and DTI_ATS_CONDIS_ACK.SUP_T are not both 1 during the connection sequence for DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_PAGE_REQ ats_page_req_trusted_entity_bit_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.4.1 DTI_ATS_PAGE_REQ DTI_ATS_PAGE_REQ.T field must be 0 when DTI_ATS_CONDIS_REQ.SUP_T and DTI_ATS_CONDIS_ACK.SUP_T are not both 1 during the connection sequence for DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_TRANS_REQ ats_cxl_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.2.1 DTI_ATS_TRANS_REQ DTI_ATS_TRANS_REQ.CXL is Reserved and SBZ for DTI-ATSv1 or DTI-ATSv2 protocol svt_dti_checker
DTI-ATS DTI_ATS_CONDIS_REQ&DTI_ATS_CONDIS_ACK ats_condis_sup_t_value_on_connect_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.1.1 DTI_ATS_CONDIS_REQ,4.1.2 DTI_ATS_CONDIS_ACK DTI_ATS_CONDIS_REQ.SUP_T/DTI_ATS_CONDIS_ACK.SUP_T is always Reserved and SBZ for DTI-ATSv1 or DTI-ATSv2 protocol, and DTI_ATS_CONDIS_ACK.SUP_T is Reserved and SBZ only when DTI_ATS_CONDIS_ACK.STATE is 0 or DTI_ATS_CONDIS_ACK.STATE is 1 and DTI_ATS_CONDIS_REQ.SUP_T is 0 for DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_TRANS_RESP ats_trans_resp_te_oa_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.2.2 DTI_ATS_TRANS_RESP DTI_ATS_TRANS_RESP.TE is always Reserved and SBZ for DTI-ATSv1 or DTI_ATSv2 protocol, and it is Reserved and SBZ only when DTI_ATS_TRANS_REQ.T is 0 for DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_TRANS_REQ ats_trusted_entity_bit_in_trans_msg_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.2.1 DTI_ATS_TRANS_REQ DTI_ATS_TRANS_REQ.T is always Reserved and SBZ for DTI-ATSv1 and DTI_ATSv2 protocol,and it is Reserved and SBZ only when both DTI_ATS_CONDIS_REQ.SUP_T and DTI_ATS_CONDIS_ACK.SUP_T are not 1 during the connection sequence for DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_SYNC_REQ no_outstanding_inv_req_for_sync_req_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:4.3.4 DTI_ATS_SYNC_REQ Synchronization Request message must issued only when no Unacknowledged Invalidation Request message is present for DTI-ATSv1 or DTI-ATSv2 protocol svt_dti_checker
DTI-ATS DTI_ATS_CONDIS_REQ&DTI_ATS_CONDIS_ACK ats_token_translation_value_check AMBA DTI Protocol Specification ARM IHI 0088G ID062824:4.1.1 DTI_ATS_CONDIS_REQ,4.1.2 DTI_ATS_CONDIS_ACK DTI_ATS_CONDIS_REQ.TOK_TRANS_REQ[11:8] and DTI_ATS_CONDIS_ACK.TOK_TRANS_GNT[11:8] are Reserved and SBZ for DTI-ATSv1, DTI-ATSv2 or DTI-ATSv3 protocol svt_dti_checker
DTI-ATS DTI_ATS_TRANS_REQ&DTI_ATS_TRANS_RESP&DTI_ATS_TRANS_FAULT ats_translation_id_value_check AMBA DTI Protocol Specification ARM IHI 0088G ID062824:4.2.1 DTI_ATS_TRANS_REQ,4.2.2 DTI_ATS_TRANS_RESP,4.2.3 DTI_ATS_TRANS_FAULT DTI_ATS_TRANS_REQ.TRANSLATION_ID[11:8], DTI_ATS_TRANS_RESP.TRANSLATION_ID[11:8] and DTI_ATS_TRANS_FAULT.TRANSLATION_ID[11:8] are Reserved and SBZ for DTI-ATSv1, DTI-ATSv2 or DTI-ATSv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP invalidation_range_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.INVAL_RNG field must not be Reserved value for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP invalidation_range_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.INVAL_RNG field is reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 for DTI-TBU protocol, and Range given by this field must not be greater than the size indicated by the OAS field of the DTI_TBU_CONDIS_ACK message for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_FAULT invalid_fault_type_abort AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.4 DTI_TBU_TRANS_FAULT DTI_TBU_TRANS_FAULT.FAULT_TYPE must not be Abort when DTI_TBU_TRANS_REQ.PERM is SPEC for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_FAULT invalid_fault_type_global_disabled AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.4 DTI_TBU_TRANS_FAULT DTI_TBU_TRANSFAULT.FAULT_TYPE must not be GlobalDisabled when DTI_TBU_TRANS_REQ.FLOW is ATST for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP smmu_stream_world_and_bypass_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.STRW must be EL1-S2 when DTI_TBU_TRANS_REQ.FLOW is ATST for DTI-TBU protocol, it is not permitted to be EL3 when DTI_TBU_TRANS_REQ.SEC_SID is Non-secure for DTI-TBU protocol or DTI_TBU_TRANS_RESP.SEC_SID is Realm for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP translation_scope_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.GLOBAL is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 and it must be 1 when DTI_TBU_TRANS_RESP.STRW is EL3 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_FAULT do_not_cache_field_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.4 DTI_TBU_TRANS_FAULT TI_TBU_TRANS_FAULT.DO_NOT_CACHE must be 1 when DTI_TBU_TRANS_FAULT.FAULT_TYPE is not StreamDisabled or not GlobalDisabled for the DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP valid_vmid_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.VMID is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 or DTI_TBU_TRANS_RESP.BYPASS is 0 and DTI_TBU_TRANS_RESP.STRW is either EL2 or EL3 for DTI-TBU protocol and it must be 0 when DTI_TBU_TRANS_RESP.BYPASS is 0 and DTI_TBU_TRANS_REQ.SEC_SID is 1 for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP&DTI_TBU_TRANS_FAULT contiguous_streamid_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP,3.2.4 DTI_TBU_TRANS_FAULT DTI_TBU_TRANS_RESP.CONT is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 and DTI_TBU_TRANS_RESP.BP_TYPE is GlobalBypass, and DTI_TBU_TRANS_FAULT.CONT is Reserved and SBZ when DTI_TBU_TRANS_FAUT.FAULT_TYPE is StreamDisabled for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP translation_shareability_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.SH is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 and it must not be 2'b01 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP valid_translation_attribute AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ATTR is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP tbi_field_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.TBI is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP priv_read_access_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ALLOW_PR is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP allow_unpriv_inst_read_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ALLOW_UX must be Reserved and SBZ when BYPASS is 1 and it must be equal to DTI_TBU_TRANS_RESP.ALLOW_PX when DTI_TBU_TRANS_RESP.STRW is EL3 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP allow_unpriv_read_access_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ALLOW_UR is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1, and it must be equal to DTI_TBU_TRANS_RESP.ALLOW_PR when DTI_TBU_TRANS_RESP.STRW is EL3 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP&DTI_TBU_TRANS_RESPEX part_id_rsvd_v3_check AMBA DTI Protocol Specification ARM IHI 0088G ID062824:3.2.2 DTI_TBU_TRANS_RESP, 3.2.3 DTI_TBU_TRANS_RESPEX DTI_TBU_TRANS_RESP.PARTID[9] and DTI_TBU_TRANS_RESPEX.PARTID[11:9] are Reserved and SBZ for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP directed_cache_prefetch_v4_check AMBA DTI Protocol Specification ARM IHI 0088G ID062824:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.DCP is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 and DTI_TBU_TRANS_RESP.BP_TYPE is GlobalBypass or DTI_TBU_TRANS_RESP.BP_TYPE is StreamBypass and DTI_TBU_TRANS_REQ.FLOW is not ATST for DTI-TBUv4 protocol svt_dti_checker
Default destructive_read_permitted_v4_check AMBA DTI Protocol Specification ARM IHI 0088G ID062824:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.DRE is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 and DTI_TBU_TRANS_RESP.BP_TYPE is GlobalBypass or DTI_TBU_TRANS_RESP.BP_TYPE is StreamBypass and DTI_TBU_TRANS_REQ.FLOW is not ATST for DTI-TBUv4 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP tbu_trans_resp_write_permissions_when_dptbypass AMBA DTI Protocol Specification ARM IHI 0088G ID062824:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ALLOW_UW must be equal to the value of DTI_TBU_TRANS_RESP.ALLOW_PW when DTI_TBU_TRANS_RESP.BYPASS is 1 and DTI_TBU_TRANS_RESP.BP_TYPE is DPTBypass for DTI-TBUv4 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP tbu_trans_resp_dptbypass_permitted_check AMBA DTI Protocol Specification ARM IHI 0088G ID062824:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.BP_TYPE equal to DPTBypass is permitted only when DTI_TBU_TRANS_REQ.SEC_SID is Realm and DTI_TBU_TRANS_REQ.FLOW is ATST for DTI-TBUv4 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP tbu_trans_rng_when_bp_type_is_dptbypass AMBA DTI Protocol Specification ARM IHI 0088G ID062824:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.TRANS_RNG must not be 4'b1111 when DTI_TBU_TRANS_RESP.BYPASS is 1 and DTI_TBU_TRANS_RESP.BP_TYPE is DTPBypass for DTI-TBUv4 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP tbu_nscfg_rsvd_when_bp_type_is_dptbypass AMBA DTI Protocol Specification ARM IHI 0088G ID062824:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ATTR_OVR.NSCFG is Reserved and SBZ when DTI_TBU_TRANS_REQ.MMUV is 1, DTI_TBU_TRANS_REQ.SEC_SID is Realm, DTI_TBU_TRANS_RESP.BYPASS is 1 and DTI_TBU_TRANS_RESP.BP_TYPE is DPTBypass for DTI-TBUv4 protocol svt_dti_checker
DTI-TBU DTI_TBU_INV_REQ valid_tbu_dpt_invalidation_operation AMBA DTI Protocol Specification ARM IHI 0088G ID062824:3.3.6 DTI-TBU invalidation operations DTI_TBU_INV_REQ.OPERATION is DPTI_RL_PA or DPTI_RL_ALL only when DTI_TBU_CONDIS_REQ.STAGES is MG for DTI-TBUv4 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP directed_cache_prefetch_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.DCP is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP destructive_read_permitted_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.DRE is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP priv_write_access_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ALLOW_PW is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP allow_unpriv_write_access_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ALLOW_UW is Reserved and SBZ when DTI_TBU_TRANS_RESP.BYPASS is 1, and it must be equal to DTI_TBU_TRANS_RESP.ALLOW_PW when DTI_TBU_TRANS_RESP.STRW is EL3 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_trans_bp_type_reserved_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.BP_TYPE field must not be 2'b11 for DTI-TBU protocol and it must not be 2'b00 for DTI-TBUv1, DTI-TBUv2 or DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP valid_priv_unpriv_cfg AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.PRIVCFG must not be 2'b01 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP valid_inst_data_cfg AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.INSTCFG must not be 2'b01 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_trans_bp_type_permitted_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.BP_TYPE must not be StreamBypass when DTI_TBU_TRANS_REQ.SSV is 1 for DTI-TBU protocol and it must not be GlobalBypass when DTI_TBU_TRANS_REQ.SEC_SID is Realm for DTI-TBUv3 Protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP attr_over_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ATTR_OVER[15:7] is Reserved and SBZ for DTI-TBUv1 protocol and DTI_TBU_TRANS_RESP.ATTR_OVER[15:9] is Reserved and SBZ for DTI-TBUv2 or DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP valid_asid_attr_over_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ASID must be 0 When DTI_TBU_TRANS_RESP.STRW is EL3 for DTI-TBU protocol, DTI_TBU_TRANS_RESP.ATTR_OVR must be 0x0020 When DTI_TBU_TRANS_REQ.FLOW is ATST for DTI-TBUv1 or DTI-TBUv2 protocol and DTI_TBU_TRANS_RESP.ATTR_OVR[6:4] must be 3'b010 when DTI_TBU_TRANS_REQ.FLOW is ATST for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP allow_non_secure_inst_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ALLOW_NSX is Reserved and SBZ when DTI_TBU_TRANS_REQ.SEC_SID is Non-secure for DTI-TBU protocol and DTI_TBU_TRANS_REQ.SEC_SID is Realm for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ secure_stream_id_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.SEC_SID must be Non-secure when DTI_TBU_TRANS_REQ.FLOW is ATST for DTI-TBUv1 or DTI-TBUv2 protocol and It must be Non-secure or Realm when DTI_TBU_TRANS_REQ.FLOW is ATST for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_INV_REQ valid_stream_id_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.1 DTI_TBU_INV_REQ DTI_TBU_INV_REQ.SID is Reserved and SBZ when Invalidation operation is not using this field for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_INV_REQ valid_asid_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.1 DTI_TBU_INV_REQ DTI_TBU_INV_REQ.ASID is Reserved and SBZ when Invalidation operation is not using this field for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_INV_REQ check_for_valid_sid_vmid_range AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.1 DTI_TBU_INV_REQ DTI_TBU_INV_REQ.RANGE is Reserved and SBZ when Invalidation operation is not using this field for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_INV_REQ valid_inc_aset1_field AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.1 DTI_TBU_INV_REQ DTI_TBU_INV_REQ.INC_ASET1 is Reserved and SBZ when Invalidation operation is not using this field and it must be 1 for few TLBI invalidation operations for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_INV_REQ check_for_valid_va_ipa AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.1 DTI_TBU_INV_REQ DTI_TBU_INV_REQ.ADDR is Reserved and SBZ when Invalidation operation is not using this field for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ valid_substream_id_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.SSV must be 0 when DTI_TBU_TRANS_REQ.FLOW is ATST for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_REG_WRITE&DTI_TBU_REG_READ register_access_supported_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.4.1 DTI_TBU_REG_WRITE,3.4.3 DTI_TBU_REG_READ DTI_TBU_REG_WRITE or DTI_TBU_REG_READ message must be issued only when DTI_TBU_CONDIS_REQ.SUP_REG was 1 during the connect sequence for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP ns_in_trans_resp_when_nsovr_zero AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.NS is Reserved and SBO when DTI_TBU_TRANS_RESP.BYPASS is 1 and DTI_TBU_TRANS_RESP.NSOVR is 0 for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP strw_is_el1_or_el2_when_sec_sid_one AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.STRW must be EL1 or EL3 when DTI_TBU_TRANS_REQ.SEC_SID is 'b1 for DTI-TBuv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP s2_hw_attribute_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.S2HWATTR must be 0 when DTI_TBU_TRANS_RESP.BYPASS is 1 or DTI_TBU_TRANS_RESP.BYPASS is 0 and DTI_TBU_TRANS_REQ.SEC_SID is 1 or DTI_TBU_TRANS_RESP.STRW is either EL2 or EL3 for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ&DTI_TBU_TRANS_RESP non_secure_access_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.1 DTI_TBU_TRANS_REQ,3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_REQ.NS must be 1 when DTI_TBU_TRANS_REQ.SEC_SID is 0 for DTI-TBUv1 or DTI-TBUv2 protocol and DTI_TBU_TRANS_RESP.NS must be 1 when DTI_TBU_TRANS_REQ.FLOW is ATST or DTI_TBU_TRANS_REQ.SEC_SID is 0 for DTI-TBUv1 or DTI-TBUv2 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP s1_hw_attribute_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.S1HWATTR is always Reserved and SBZ for DTI-TBUv2 protocol and it must be 0 only when DTI_TBU_TRANS_RESP.BYPASS is 1 or DTI_TBU_TRANS_RESP.BYPASS is 0 and DTI_TBU_TRANS_RESP.STRW is EL1-S2 for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP valid_nsovr_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.NSOVR must be 1 when DTI_TBU_TRANS_REQ.SEC_SID is 0 for DTI-TBUv1 or DTI-TBUv2 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_one_nse_ns_in_trans_resp_when_sec_sid_realm AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP When DTI_TBU_TRANS_REQ.SEC_SID is 'b10, DTI_TBU_TRANS_RESP.BYPASS is 1 and DTI_TBU_TRANS_RESP.BP_TYPE is StreamBypass, DTI_TBU_TRANS_RESP.NSE,NS must be 2'b01 if DTI_TBU_TRANS_RESP.ATTR_OVER.NSCFG is Non-secure, DTI_TBU_TRANS_RESP.NSE,NS must be 2'b11 if DTI_TBU_TRANS_RESP.ATTR_OVER.NSCFG is Realm, DTI_TBU_TRANS_RESP.NSE,NS must be equal to DTI_TBU_TRANS_REQ.NS if DTI_TBU_TRANS_RESP.ATTR_OVER.NSCFG is Use incoming for DTI-TBUv3 or DTI-TBUv4 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_one_nse_ns_in_trans_resp_when_sec_sid_secure AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP When DTI_TBU_TRANS_REQ.SEC_SID is 'b01 and DTI_TBU_TRANS_RESP.BYPASS is 1, DTI_TBU_TRANS_RESP.NSE,NS must be 2'b01 if DTI_TBU_TRANS_RESP.ATTR_OVER.NSCFG is Non-secure, DTI_TBU_TRANS_RESP.NSE,NS must be 2'b0 if DTI_TBU_TRANS_RESP.ATTR_OVER.NSCFG is Secure, DTI_TBU_TRANS_RESP.NSE,NS must be equal to DTI_TBU_TRANS_REQ.NSE,NS if DTI_TBU_TRANS_RESP.ATTR_OVER.NSCFG is Use incoming for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_trans_resp_trans_rng_value_v3_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.TRANS_RNG must not be 4'b1111 when DTI_TBU_TRANS_RESP.BYPASS is 0, it must be 4'b1111 when DTI_TBU_CONDIS_REQ.STAGES is M and DTI_TBU_TRANS_RESP.BYPASS is 1 for DTI-TBuv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_trans_resp_aset_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ASET must be 0 when DTI_TBU_TRANS_RESP.BYPASS is 1 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_trans_ident_output_address_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.OA must always be equal to DTI_TBU_TRANS_REQ.IA when DTI_TBU_TRANS_REQ.IDENT is 1 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_trans_nscfg_use_incoming_when_sec_sid_ns_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ATTR_OVR.NSCFG is Reserved and SBZ when DTI_TBU_TRANS_REQ.MMUV is 1 and DTI_TBU_TRANS_REQ.SEC_SID is Non-secure for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_trans_stream_world_el3_v3_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.STRW must not be EL3 when DTI_TBU_CONDIS_REQ.STAGES is MG for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESPEX dti_trans_respex_mecid_zero_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.3 DTI_TBU_TRANS_RESPEX DTI_TBU_TRANS_RESPEX.MECID must be 0 When DTI_TBU_TRANS_REQ.SEC_SID is not Realm or DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 or DTI-TBUv4 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESPEX dti_reqex_zero_permitted_trans_resp_msg_type_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.3 DTI_TBU_TRANS_RESPEX Translation Response cannot be DTI_TBU_TRANS_RESPEX when DTI_TBU_TRANS_REQ.REQEX is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_FAULT dti_mmuv_zero_fault_response_type_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.4 DTI_TBU_TRANS_FAULT DTI_TBU_TRANS_FAULT.FAULT_TYPE must be NonAbort if DTI_TBU_TRANS_REQ.PERM is SPEC and it must be Abort if DTI_TBU_TRANS_REQ.PERM is not SPEC When DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_FAULT dti_mmuv_zero_fault_response_msg_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.4 DTI_TBU_TRANS_FAULT TCU must return a DTI_TBU_TRANS_FAULT message When DTI_TBU_TRANS_REQ.MMUV is 0 and DTI_TBU_TRANS_REQ.IA exceeds DTI_TBU_CONDIS_ACK.OAS for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_zero_priv_cfg_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.PRIVCFG is Reserved and SBZ when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_zero_inst_cfg_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.INSTCFG is Reserved and SBZ when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_zero_alloc_cfg_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ALLOCCFG is Reserved and SBZ when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_zero_attr_ovr_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ATTR_OVR is Reserved and SBZ when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_zero_nsx_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ALLOW_NSX is Reserved and SBZ when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_zero_nse_ns_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP TI_TBU_TRANS_RESP.NSE,NS must match DTI_TBU_TRANS_REQ.NSE,NS when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_zero_bypass_type_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.BP_TYPE must be GlobalBypass when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_zero_partid_pmg_hwattr_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.PARTID, DTI_TBU_TRANS_RESP.PMG and DTI_TBU_TRANS_RESP.HWATTR are Reserved and SBZ when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_zero_bypass_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.BYPASS must be 1 when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_one_sec_sid_realm_mpam_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.NSE,NS must be Non-secure or Realm when DTI_TBU_TRANS_REQ.MMUV is 1 and DTI_TBU_TRANS_REQ.SEC_SID is Realm for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_one_sec_sid_secure_mpam_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.MPAMNSE,MPAMNS must be Non-Secure or Secure when DTI_TBU_TRANS_REQ.MMUV is 1 and DTI_TBU_TRANS_REQ.SEC_SID is Secure for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_one_sec_sid_non_secure_mpam_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.MPAMNSE,MPAMNS must be Non-Secure when DTI_TBU_TRANS_REQ.MMUV is 1 and DTI_TBU_TRANS_REQ.SEC_SID is Non-Secure for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_one_sec_sid_realm_trans_resp_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP Check for NSE,NS in DTI_TBU_TRANS_RESP message when SEC_SID is Realm and MMUV is '1' in DTI_TBU_TRANS_REQ. svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_one_sec_sid_secure_trans_resp_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.NSE,NS must be Non-secure or Secure when DTI_TBU_TRANS_REQ.MMUV is 1 and DTI_TBU_TRANS_REQ.SEC_SID is Secure for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP dti_mmuv_one_sec_sid_non_secure_trans_resp_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.NSE,NS must be Non-secure when DTI_TBU_TRANS_REQ.MMUV is 1 and DTI_TBU_TRANS_REQ.SEC_SID is Non-secure for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ dti_mmuv_zero_ind_pnu_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.InD and DTI_TBU_TRANS_REQ.PnU are Reserved and SBZ when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ dti_mmuv_zero_sid_ssid_ssv_sec_sid_flow_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.SID, DTI_TBU_TRANS_REQ.SSID, DTI_TBU_TRANS_REQ.SSV, DTI_TBU_TRANS_REQ.SEC_SID and DTI_TBU_TRANS_REQ.FLOW are Reserved and SBZ when DTI_TBU_TRANS_REQ.MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ dti_mmuv_one_sec_sid_realm_trans_req_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.NSE,NS must be Non-secure or Realm when DTI_TBU_TRANS_REQ.MMUV is 1 and DTI_TBU_TRANS_REQ.SEC_SID is Realm for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ dti_mmuv_one_sec_sid_secure_trans_req_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.NSE,NS must be Non-secure or Secure when DTI_TBU_TRANS_REQ.MMUV is 1 and DTI_TBU_TRANS_REQ.SEC_SID is Secure for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ dti_mmuv_one_sec_sid_non_secure_trans_req_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.NSE,NS must be Non-secure when DTI_TBU_TRANS_REQ.MMUV is 1 and DTI_TBU_TRANS_REQ.SEC_SID is Non-secure for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ dti_mmuv_zero_ident_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.IDENT is Reserved and SBZ when MMUV is 0 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ dti_trans_mmuv_one_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.MMUV must be 1 when DTI_TBU_CONDIS_REQ.STAGES is M for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ dti_trans_mmuv_zero_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.MMUV must be 0 when DTI_TBU_CONDIS_REQ.STAGES is G for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ dti_ident_one_flow_atst_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.FLOW must be ATST when DTI_TBU_TRANS_REQ.IDENT is 1 for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ invalid_sec_sid_for_v3_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.SEC_SID must not be 2'b11 for DTI-TBUv3 protocol, it must be Secure or Non-secure when DTI_TBU_CONDIS_REQ.STAGES is M for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP strw_is_el1_s2_when_ssv_one AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.STRW must not be EL1_S2 when DTI_TBU_TRANS_REQ.SSV is 1 for DTI-TBU protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ read_write_access_check AMBA DTI Protocol Specification Edition 2 100225_0000_02_en:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.RnW must be 1 when DTI_TBU_TRANS_REQ.SPECULATIVE is 1 for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP memattr_zero_when_mtcfg_zero AMBA DTI Protocol Specification Edition 3 100225_0000_03_en:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ATTR_OVER[3:0] is Reserved and SBZ when DTI_TBU_TRANS_RESP.ATTR_OVER[4] is 1'b0 for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP ns_in_trans_resp_when_sec_sid_secure AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP When DTI_TBU_TRANS_REQ.SEC_SID is 1 and DTI_TBU_TRANS_RESP.BYPASS is 1, DTI_TBU_TRANS_RESP.NS must be 1 if DTI_TBU_TRANS_RESP.ATTR_OVER.NSCFG is Non-secure, DTI_TBU_TRANS_RESP.NS must be 0 if DTI_TBU_TRANS_RESP.ATTR_OVER.NSCFG is Secure, DTI_TBU_TRANS_RESP.NS must be equal to DTI_TBU_TRANS_REQ.NS if DTI_TBU_TRANS_RESP.ATTR_OVER.NSCFG is Use incoming for DTI-TBUv2 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP override_non_secure_access_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.NSOVR must be 0 when DTI_TBU_TRANS_REQ.SEC_SID is 1 and DTI_TBU_TRANS_RESP.ATTR_OVR.NSCFG is Use incoming and it must be 1 when DTI_TBU_TRANS_REQ.SEC_SID is 1 and DTI_TBU_TRANS_RESP.ATTR_OVR.NSCFG is Secure or Non-secure for DTI-TBUv2 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP valid_mpamns_value_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.MPAMNS must be 1 when DTI_TBU_TRANS_REQ.SEC_SID is 0 for DTI-TBUv2 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_FAULT invalid_fault_type_translation_stall AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.4 DTI_TBU_TRANS_FAULT DTI_TBU_TRANS_FAULT.FAULT_TYPE equal to TranslationStall is permitted only when DTI_TBU_TRANS_REQ.FLOW is Stall for DTI-TBUv2 protocol, it is permitted only when DTI_TBU_TRANS_REQ.FLOW is Stall and DTI_TBU_TRANS_REQ.PERM is not SPEC for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_FAULT invalid_fault_type_translation_pri AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.4 DTI_TBU_TRANS_FAULT DTI_TBU_TRANS_FAULT.FAULT_TYPE equal to TranslationPRI is permitted only when DTI_TBU_TRANS_REQ.FLOW is PRI for DTI-TBUv2 protocol, it is permitted only when DTI_TBU_TRANS_REQ.FLOW is PRI and DTI_TBU_TRANS_REQ.PERM is not SPEC for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP comb_alloc_attribute_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.COMB_ALLOC must be 0 when DTI_TBU_TRANS_RESP.BYPASS is 1 and it must be 1 when DTI_TBU_TRANS_RESP.BYPASS is 0 and DTI_TBU_TRANS_RESP.STRW is EL1_S2 for DTI-TBUv2 or DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP comb_sh_attribute_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.COMB_SH must be 0 when DTI_TBU_TRANS_RESP.BYPASS is 1 or DTI_TBU_TRANS_RESP.BYPASS is 0 and DTI_TBU_TRANS_RESP.STRW is EL1, EL2 or EL3, and it must be 1 when DTI_TBU_TRANS_RESP.BYPASS is 0 and DTI_TBU_TRANS_RESP.STRW is EL1_S2 for DTI-TBUv2 or DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP comb_mt_attribute_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.COMB_MT must be 0 when DTI_TBU_TRANS_RESP.BYPASS is 1 or DTI_TBU_TRANS_RESP.BYPASS is 0 and DTI_TBU_TRANS_RESP.STRW is EL1, EL2 or EL3 for DTI-TBUv2 or DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP attr_over_nscfg_value_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.ATTR_OVER[8:7] NSCFG must not be 2'b01 for DTI-TBUv2 or DTI-TBUv3 protocol and it must be 2'b00 when DTI_TBU_TRANS_REQ.SEC_SID is 0 for DTI-TBUv2 protocol svt_dti_checker
DTI-TBU DTI_TBU_INV_REQ check_for_scale_num_tg_ttl AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.3.1 DTI_TBU_INV_REQ DTI_TBU_INV_REQ.SCALE, DTI_TBU_INV_REQ.NUM, DTI_TBU_INV_REQ.TG or DTI_TBU_INV_REQ.TTL is Reserved and SBZ when Invalidation operation is not using this field for DTI-TBUv2 or DTI-TBUv3 protocol and DTI_TBU_INV_REQ.SIZE is Reserved and SBZ when Invalidation operation is not using this field for DTI-TBUv3 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ dti_tbu_trans_req_flow_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.1 DTI_TBU_TRANS_REQ DTI_TBU_TRANS_REQ.FLOW must not be NoStall or PRI for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP comb_alloc_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.COMB_ALLOC is always Reserved and SBZ for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP comb_sh_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.COMB_SH is always Reserved and SBZ for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP comb_mt_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088F ID092723:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.COMB_MT is always Reserved and SBZ for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP part_id_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.PARTID is Reserved and SBZ for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP pmg_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.PMG is Reserved and SBZ for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_RESP mpamns_rsvd_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.2 DTI_TBU_TRANS_RESP DTI_TBU_TRANS_RESP.MPAMNS is Reserved and SBZ for DTI-TBUv1 protocol svt_dti_checker
DTI-TBU DTI_TBU_TRANS_REQ&DTI_TBU_TRANS_RESP&DTI_TBU_TRANS_FAULT translation_id_value_check AMBA DTI Protocol Specification ARM IHI 0088E.b ID061721:3.2.1 DTI_TBU_TRANS_REQ,3.2.2 DTI_TBU_TRANS_RESP,3.2.4 DTI_TBU_TRANS_FAULT DTI_TBU_TRANS_REQ.TRANSLATION_ID[11:8], DTI_TBU_TRANS_RESP.TRANSLATION_ID[11:8] and DTI_TBU_TRANS_FAULT.TRANSLATION_ID[11:8] are Reserved and SBZ for DTI-TBUv1 protocol svt_dti_checker
13 August 2024, Copyright © 2024 Synopsys, Inc.