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

AXI SVT OVM Documentation - Protocol Checks Defined in VIP

Summary of Protocol Checks defined in AXI SVT OVM Documentation:

Product Base Group Protocol Check Class
amba_svt SYSTEM: ACE svt_axi_system_checker
SYSTEM: AXI3 Onwards svt_axi_system_checker
PORT: AXI_LP svt_axi_lp_checker
ACE svt_axi_checker
AXI3 svt_axi_checker
ACE,ACE_Lite svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM svt_axi_checker
ACE,ACE5 svt_axi_checker
ACE,ACE5,ACE5_LiteDVM svt_axi_checker
ACE5_LiteDVM svt_axi_checker
AXI4,AXI5 svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM svt_axi_checker
ACE5_Lite,ACE5_LiteDVM svt_axi_checker
ACE5 svt_axi_checker
ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM svt_axi_checker
AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM svt_axi_checker
AXI3 Onwards svt_axi_checker
AXI3,AXI4,AXI5,ACE5_Lite svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM svt_axi_checker
AXI4_STREAM,AXI5_STREAM svt_axi_checker

Product: amba_svt - Protocol Checks Details:

Group Sub Group Protocol Check Instance name Reference Description
SYSTEM: ACE CMO forward_cmos_to_slave_check Synopsys Defined Monitor check that cache maintenance transactions are forwarded to slaves if forward_cmos_to_slaves_check_enable is set in the slave configuration svt_axi_system_checker
SYSTEM: ACE Exclusive Access exclusive_snoop_propagation_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D9.3.1 Minimum PoS Exclusive Monitor Monitor Checks that if interconnect stopped snoop propagation for exclusive transaction that was not successful svt_axi_system_checker
SYSTEM: ACE Exclusive Access exclusive_store_from_valid_state_sys_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D9.2.3 Exclusive Store Monitor Checks that if cacheline is in invalid state then exclusive store transaction is not issued svt_axi_system_checker
SYSTEM: ACE Exclusive Access exclusive_load_from_valid_state_sys_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D9.2.1 Exclusive Load Monitor Checks that if cacheline is in invalid state then exclusive load transaction is issued only as READCLEAN or READSHARED svt_axi_system_checker
SYSTEM: ACE Exclusive Access restart_exclusive_seq_post_cache_line_invalidation_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D9.2.3 Exclusive Store Monitor Check that an exclusive sequence is reset after a cacheline is invalidated by a snoop. After a snoop invalidates a cacheline, an exclusive load must always be sent prior to sending the exclusive store svt_axi_system_checker
SYSTEM: ACE Barrier outstanding_master_barrier_transaction_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D8.4.1 Manager requirements Monitor Check that an ACE master interface must not issue more than 256 outstanding barrier transactions svt_axi_system_checker
SYSTEM: ACE Routing no_slave_respond_with_decerr_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A3.4.5 Read and write response structure Monitor Check that each slave responds with DECERR if any transaction is routed to it with an address range that is not visible to it svt_axi_system_checker
SYSTEM: ACE DVM master_dvm_no_data_transfer_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D4.1.1 Transaction groups Monitor Check that no data is transferred for a DVM transaction svt_axi_system_checker
SYSTEM: ACE DVM interconnect_dvm_response_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D13.2.5 DVM responses Monitor Check that the interconnect sets RRESP value of a DVM transaction correctly svt_axi_system_checker
SYSTEM: ACE DVM interconnect_dvm_complete_issue_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D13.2.2 DVM Synchronization and DVM Complete transactions Monitor Check that the interconnect issues a DVM complete to the master that issued the DVM Sync only after it receives a DVM Complete from each participating master svt_axi_system_checker
SYSTEM: ACE DVM master_dvm_complete_issue_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D13.2.2 DVM Synchronization and DVM Complete transactions Monitor Check that a DVM Complete on the read address channel is issued after the handshake of the associated DVM Sync on the snoop address channel of the same master. svt_axi_system_checker
SYSTEM: ACE DVM interconnect_dvm_response_timing_check Synopsys Defined Monitor Check that the interconnect collects the acknowledgements to DVM sent on snoop channel and responds to original DVM Sync after all snoop responses are received. svt_axi_system_checker
SYSTEM: ACE DVM interconnect_dvm_sync_snoop_transaction_association_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D13.2.2 DVM Synchronization and DVM Complete transactions Monitor Check that interconnect sends a dvm sync on the snoop address channel of all participating components when it receives a dvm sync transaction from a component. svt_axi_system_checker
SYSTEM: ACE DVM interconnect_dvm_operation_snoop_transaction_association_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D13.3.1 DVM message transactions Monitor Check that interconnect sends a dvm operation on the snoop address channel of all participating components when it receives a dvm operation transaction from a component. svt_axi_system_checker
SYSTEM: ACE DVM interconnect_dvm_complete_dvm_sync_association_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D13.2.2 DVM Synchronization and DVM Complete transactions Monitor Check that a DVM Complete is received on the snoop channel only if the port has sent a DVM Sync on the read channel svt_axi_system_checker
SYSTEM: ACE DVM master_outstanding_snoop_dvm_sync_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D13.4 DVM Complete Monitor checks that maximum number of outstanding DVM Sync messages that a master must be able to accept is 256. The number of outstanding DVM Sync messages accepted by master exceeds 256. svt_axi_system_checker
SYSTEM: ACE DVM master_outstanding_dvm_sync_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D13.2.2 DVM Synchronization and DVM Complete transactions Monitor Check that a component must have only one outstanding DVM Sync transaction. A component must receive a DVM Complete transaction before it issues another DVM Sync transaction svt_axi_system_checker
SYSTEM: ACE Data Integrity data_integrity_with_outstanding_coherent_write_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D6.5.1 Interconnect read from main memory or peripheral device Monitor Check that data returned in a coherent read transaction matches that of a WRITEBACK/WRITECLEAN transaction that was in progress when the read was initiated svt_axi_system_checker
SYSTEM: ACE Routing slave_read_xact_timing_relative_to_last_posted_write_xact_check Synopsys Defined Monitor Check that a read transaction is routed to the slave only after the last posted write transaction with overlapping address from the same port has completed at the slave svt_axi_system_checker
SYSTEM: ACE Cache Coherency cacheline_and_memory_coherency_check_per_xact Synopsys Defined Monitor Check that if cachelines of all masters of a particular address are clean, the data in cache should be consistent with data in memory. This check may not pass if a transaction to the slave is in the interconnect's buffer by the time a coherent transaction completes. svt_axi_system_checker
SYSTEM: ACE Cache Coherency interconnect_generated_write_xact_to_update_main_memory_check Synopsys Defined Monitor Check that if a snoop response has the PassDirty response asserted, and the interconnect does not assert the PassDirty transaction response for the initiating master, the interconnect must generate a write transaction to update main memory. svt_axi_system_checker
SYSTEM: ACE Cache Coherency cacheline_and_memory_coherency_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D1.2.3 Cache state model Monitor Check that if cachelines of all masters of a particular address are clean, the data in cache should be consistent with data in memory svt_axi_system_checker
SYSTEM: ACE Cache Coherency no_two_cachelines_in_dirty_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D1.2.3 Cache state model Monitor Check that no two masters have the same cacheline in the dirty state svt_axi_system_checker
SYSTEM: ACE Cache Coherency no_two_cachelines_in_unique_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D1.2.3 Cache state model Monitor Check that no two masters have the same cacheline in the unique state svt_axi_system_checker
SYSTEM: ACE Cache Coherency overlapping_addr_sequencing_check Synopsys Defined Monitor Check that if two masters access the same cache line, one master is sequenced after the other svt_axi_system_checker
SYSTEM: ACE Coherent And Snoop coherent_and_snoop_data_match_check Synopsys Defined Monitor Check that data returned to initiating master matches the data received from snoop transaction svt_axi_system_checker
SYSTEM: ACE Snoop Response snoop_data_consistency_check Synopsys Defined Monitor Check that data returned from all snoop transactions are consistent svt_axi_system_checker
SYSTEM: ACE Snoop Response snoop_resp_passdirty_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D3.7 Snoop response channel signaling Monitor Check that no two responses to a snoop transaction have the PassDirtyCRRESP[2] bit asserted svt_axi_system_checker
SYSTEM: ACE Snoop Response snoop_resp_wasunique_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D3.7 Snoop response channel signaling Monitor Check that no two responses to a snoop transaction have the WasUniqueCRRESP[4] bit asserted svt_axi_system_checker
SYSTEM: ACE Coherent Response coherent_resp_passdirty_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D6.4 Transaction responses from the interconnect Monitor Check that the PassDirty response to initiating master is correct svt_axi_system_checker
SYSTEM: ACE Coherent Response coherent_resp_isshared_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D6.4 Transaction responses from the interconnect Monitor Check that the IsShared response to initiating master is correct svt_axi_system_checker
SYSTEM: ACE Coherent Response coherent_resp_start_conditions_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D3.7 Snoop response channel signaling Monitor Check that the response to a coherent transaction is not started before sufficient information from snooped masters are obtained svt_axi_system_checker
SYSTEM: ACE Coherent And Snoop coherent_xact_with_no_snoop_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D6.3 Issuing snoop transactions Monitor Check that READNOSNOOP,WRITENOSNOOP,WRITEBACK,WRITECLEAN and EVICT do not cause a snoop of cached masters svt_axi_system_checker
SYSTEM: ACE Coherent And Snoop snoop_not_sent_to_initiating_master_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D6.3 Issuing snoop transactions Monitor Check that a snoop is not sent to the initiating master svt_axi_system_checker
SYSTEM: ACE Coherent And Snoop coherent_snoop_prot_type_match_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D3.6.2 Snoop address channel signaling Monitor Check that the security level determined by signal ACPROT[1] of the snoop transaction matches the security level of corresponding coherent transaction determined by signal AxPROT[1] svt_axi_system_checker
SYSTEM: ACE Coherent And Snoop coherent_snoop_domain_match_check Synopsys Defined Monitor Check that the port on which snoop transaction is received corresponds to the domain indicated in coherent transaction of initiating master svt_axi_system_checker
SYSTEM: ACE Coherent And Snoop coherent_snoop_type_match_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section D5.1 Mapping coherency operations to snoop operations Monitor Check that the snoop transaction type corresponds to the coherent transaction type of initiating master svt_axi_system_checker
SYSTEM: ACE Coherent And Snoop snoop_addr_matches_coherent_addr_check Synopsys Defined Monitor Check that the address of a snoop transaction must match one of the outstanding coherent transactions svt_axi_system_checker
SYSTEM: AXI3 Onwards Data Integrity write_byte_count_match_across_interconnect Synopsys Defined Monitor check that the effective number of bytes bytes for which strobe is asserted of write transactions sent by masters match the effective number of bytes for write transactions sent by interconnect to slave svt_axi_system_checker
SYSTEM: AXI3 Onwards M2S Correlation eos_unmapped_master_xact Synopsys Defined Monitor check that all master transactions are correlated to corresponding slave transactions svt_axi_system_checker
SYSTEM: AXI3 Onwards Memory Type eos_unmapped_non_modifiable_xact AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A4.4.1 Memory type requirements Monitor check that all non-modifiable transactions are made visible to the final destination in a timely manner svt_axi_system_checker
SYSTEM: AXI3 Onwards Memory Type device_non_bufferable_response_match_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A4.4.1 Memory type requirements Monitor check that for device non-bufferable transactions, responses are obtained from the final destination svt_axi_system_checker
SYSTEM: AXI3 Onwards Ordering ordering_for_non_modifiable_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A4.3.1 AxCACHE[1], Modifiable Monitor check that for non-modifiable transactions, transactions with the same ID to the same slave must be ordered svt_axi_system_checker
SYSTEM: AXI3 Onwards Attributes Propagation cache_type_match_for_non_modifiable_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A4.3.1 AxCACHE[1], Modifiable Monitor check that for non-modifiable transactions, cache_type matches between master transaction and corresponding slave transaction for all bits except the bufferable bit cache_type[0] svt_axi_system_checker
SYSTEM: AXI3 Onwards Attributes Propagation burst_size_match_for_non_modifiable_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A4.3.1 AxCACHE[1], Modifiable Monitor check that for non-modifiable transactions, burst_size matches between master transaction and corresponding slave transaction svt_axi_system_checker
SYSTEM: AXI3 Onwards Attributes Propagation burst_type_match_for_non_modifiable_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A4.3.1 AxCACHE[1], Modifiable Monitor check that for non-modifiable transactions, burst_type matches between master transaction and corresponding slave transaction svt_axi_system_checker
SYSTEM: AXI3 Onwards Attributes Propagation burst_length_match_for_non_modifiable_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A4.3.1 AxCACHE[1], Modifiable Monitor check that for non-modifiable transactions, burst_length matches between master transaction and corresponding slave transaction svt_axi_system_checker
SYSTEM: AXI3 Onwards Attributes Propagation region_match_for_non_modifiable_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A4.3.1 AxCACHE[1], Modifiable Monitor check that for non-modifiable transactions, region matches between master transaction and corresponding slave transaction svt_axi_system_checker
SYSTEM: AXI3 Onwards Attributes Propagation prot_type_match_for_non_modifiable_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A4.3.1 AxCACHE[1], Modifiable Monitor check that for non-modifiable transactions, prot_type matches between master transaction and corresponding slave transaction svt_axi_system_checker
SYSTEM: AXI3 Onwards Attributes Propagation atomic_type_match_for_non_modifiable_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621: Section A4.3.1 AxCACHE[1], Modifiable Monitor check that for non-modifiable transactions, atomic_type matches between master transaction and corresponding slave transaction svt_axi_system_checker
SYSTEM: AXI3 Onwards Data Integrity master_slave_xact_data_integrity_check Synopsys Defined Monitor Check that data in slave transaction matches that in the master transaction svt_axi_system_checker
SYSTEM: AXI3 Onwards Data Integrity data_integrity_check Synopsys Defined Monitor Check that data is fetched and routed correctly by the interconnect svt_axi_system_checker
SYSTEM: AXI3 Onwards Routing slave_transaction_routing_check Synopsys Defined Monitor Check that transaction is routed to the correct slave based on address svt_axi_system_checker
PORT: AXI_LP Exit From LP exit_from_lp_ctrl_csysreq_stable_till_csysack_check AXI low-power interface while exiting from low power state, csysreq has gone low before the cactive, csysack have gone high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_ctrl_csysack_timeout_after_cactive_check AXI low-power interface after cactive, csysreq have gone high, timedout waiting for csysack to go high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_ctrl_cactive_stable_till_csysreq_csysack_check AXI low-power interface while exiting from low power state, cactive has gone low before the csysack has gone high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_ctrl_csysack_before_cactive_check AXI low-power interface while exiting from low power state, csysack has gone high before the cactive has gone high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_ctrl_cactive_timeout_after_csysreq_check AXI low-power interface after csysreq has gone high, timedout waiting for cactive to go high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_ctrl_csysreq_stable_till_cactive_check AXI low-power interface while exiting from low power state, csysreq has gone low before the cactive has gone high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_prp_csysreq_stable_till_csysack_check AXI low-power interface while exiting from low power state, csysreq has gone low before the csysack has gone high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_prp_csysack_timeout_after_csysreq_check AXI low-power interface after cactive, csysreq have gone high, timedout waiting for csysack to go high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_prp_cactive_stable_till_csysreq_csysack_check AXI low-power interface while exiting from low power state, cactive has gone low before the csysreq, csysack have gone high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_prp_csysack_before_csysreq_check AXI low-power interface while exiting from low power state, csysack has gone high before the csysreq has gone high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_prp_csysreq_timeout_after_cactive_check AXI low-power interface after cactive has gone high, timedout waiting for csysreq to go high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_prp_cactive_stable_till_csysreq_check AXI low-power interface while exiting from low power state, cactive has gone low before the csysreq has gone high svt_axi_lp_checker
PORT: AXI_LP Exit From LP exit_from_lp_csysack_before_cactive_csysreq_check AXI low-power interface while exiting from low power state, csysack has gone high before cactive/csysreq going high svt_axi_lp_checker
PORT: AXI_LP Entry To LP entry_to_lp_csysreq_stable_till_csysack_check AXI low-power interface csysreq has gone high without waiting for csysack to go low svt_axi_lp_checker
PORT: AXI_LP Entry To LP entry_to_lp_csysack_timeout_after_csysreq_check AXI low-power interface after csysreq has gone low, timedout waiting for csysack to go low svt_axi_lp_checker
PORT: AXI_LP Entry To LP entry_to_lp_cactive_stable_till_csysreq_csysack_check AXI low-power interface while entering into low power state, cactive has gone high without waiting for csysreq and csysack to go low svt_axi_lp_checker
PORT: AXI_LP Entry To LP entry_to_lp_csysack_before_csysreq_check AXI low-power interface after cactive has gone low, csysack has gone low before csysreq going low svt_axi_lp_checker
PORT: AXI_LP Entry To LP entry_to_lp_csysreq_timeout_after_cactive_check AXI low-power interface after cactive has gone low, timedout waiting for csysreq to go low svt_axi_lp_checker
PORT: AXI_LP Entry To LP entry_to_lp_cactive_stable_till_csysreq_check AXI low-power interface while entering into low power state, cactive has gone high without waiting for csysreq to go low svt_axi_lp_checker
PORT: AXI_LP Entry To LP entry_to_lp_csysack_before_cactive_check AXI low-power interface while entering into low power state, csysack has gone low before cactive going low svt_axi_lp_checker
PORT: AXI_LP Entry To LP entry_to_lp_csysreq_before_cactive_check AXI low-power interface while entering into low power state, csysreq has gone low before cactive going low svt_axi_lp_checker
PORT: AXI_LP Signal Validity signal_valid_csysack_check AXI low-power interface X/Z on the csysack signal svt_axi_lp_checker
PORT: AXI_LP Signal Validity signal_valid_csysreq_check AXI low-power interface X/Z on the csysreq signal svt_axi_lp_checker
PORT: AXI_LP Signal Validity signal_valid_cactive_check AXI low-power interface X/Z on the cactive signal svt_axi_lp_checker
ACE Outstanding no_outstanding_write_transaction_with_same_awid Synopsys Defined:Synopsys Defined Monitor checks that master must not drive same AWID transaction when there is a write request or ongoing write outstanding transaction with same AWID svt_axi_checker
ACE Outstanding no_outstanding_read_transaction_with_same_arid Synopsys Defined:Synopsys Defined Monitor checks that master must not drive same ARID transaction when there is a read request or ongoing read outstanding transaction with same ARID svt_axi_checker
ACE Performance Metrics perf_min_write_bandwidth_check Synopsys Defined:Synopsys Defined Monitor Check that the bandwidth of write transactions in a given interval is more than or equal to the configured min value svt_axi_checker
ACE Performance Metrics perf_max_write_bandwidth_check Synopsys Defined:Synopsys Defined Monitor Check that the bandwidth of write transactions in a given interval is less than or equal to the configured max value svt_axi_checker
ACE Performance Metrics perf_min_read_bandwidth_check Synopsys Defined:Synopsys Defined Monitor Check that the bandwidth of read transactions in a given interval is more than or equal to the configured min value svt_axi_checker
ACE Performance Metrics perf_max_read_bandwidth_check Synopsys Defined:Synopsys Defined Monitor Check that the bandwidth of read transactions in a given interval is less than or equal to the configured max value svt_axi_checker
ACE Performance Metrics perf_min_write_throughput_check Synopsys Defined:Synopsys Defined Monitor Check that the throughput of write transactions in a given interval is more than or equal to the configured min value svt_axi_checker
ACE Performance Metrics perf_max_write_throughput_check Synopsys Defined:Synopsys Defined Monitor Check that the throughput of write transactions in a given interval is less than or equal to the configured max value svt_axi_checker
ACE Performance Metrics perf_min_read_throughput_check Synopsys Defined:Synopsys Defined Monitor Check that the throughput of read transactions in a given interval is more than or equal to the configured min value svt_axi_checker
ACE Performance Metrics perf_max_read_throughput_check Synopsys Defined:Synopsys Defined Monitor Check that the throughput of read transactions in a given interval is less than or equal to the configured max value svt_axi_checker
ACE Performance Metrics perf_avg_min_read_xact_latency_check Synopsys Defined:Synopsys Defined Monitor Check that the average latency of read transactions in a given interval is more than or equal to the configured min value svt_axi_checker
ACE Performance Metrics perf_avg_max_read_xact_latency_check Synopsys Defined:Synopsys Defined Monitor Check that the average latency of read transactions in a given interval is less than or equal to the configured max value svt_axi_checker
ACE Performance Metrics perf_min_read_xact_latency_check Synopsys Defined:Synopsys Defined Monitor Check that the latency of a read transaction is more than or equal to the configured min value svt_axi_checker
ACE Performance Metrics perf_max_read_xact_latency_check Synopsys Defined:Synopsys Defined Monitor Check that the latency of a read transaction is less than or equal to the configured max value svt_axi_checker
ACE Performance Metrics perf_avg_min_write_xact_latency_check Synopsys Defined:Synopsys Defined Monitor Check that the average latency of write transactions in a given interval is more than or equal to the configured min value svt_axi_checker
ACE Performance Metrics perf_avg_max_write_xact_latency_check Synopsys Defined:Synopsys Defined Monitor Check that the average latency of write transactions in a given interval is less than or equal to the configured max value svt_axi_checker
ACE Performance Metrics perf_min_write_xact_latency_check Synopsys Defined:Synopsys Defined Monitor Check that the latency of a write transaction is more than or equal to the configured min value svt_axi_checker
ACE Performance Metrics perf_max_write_xact_latency_check Synopsys Defined:Synopsys Defined Monitor Check that the latency of a write transaction is less than or equal to the configured max value svt_axi_checker
ACE Non DVM Non Device write_non_dvm_non_device_xact_id_overlap_check Synopsys Defined:Synopsys Defined Monitor Check for the AWID overlap of Non-DVM or Non-device transactions with another active transaction svt_axi_checker
ACE Non DVM Non Device read_non_dvm_non_device_xact_id_overlap_check Synopsys Defined:Synopsys Defined Monitor Check for the ARID overlap of Non-DVM or Non-device transactions with another active transaction svt_axi_checker
AXI3 Port Interleaving port_interleaving_check Synopsys Defined:Synopsys Defined Monitor checks that if interleaved port is expected port for the given transaction svt_axi_checker
AXI3 Locked Accesses locked_sequence_to_same_slave_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.3 Locked accesses Monitor Check that only locked slave is used for all the transactions in the locked sequence svt_axi_checker
AXI3 Locked Accesses locked_sequence_length_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.3 Locked accesses Monitor Check that a locked sequence does not have more than two consecutive locked transactions at the same time svt_axi_checker
AXI3 Locked Accesses no_pending_locked_xacts_before_normal_xacts_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.3 Locked accesses Monitor Check that there are no pending transactions of a locked sequence when a normal transaction is received svt_axi_checker
AXI3 Locked Accesses locked_sequeunce_id_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.3 Locked accesses Monitor Check that all transactions of a locked sequence have the same id svt_axi_checker
AXI3 Locked Accesses no_pending_xacts_during_locked_xact_sequeunce_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.3 Locked accesses Monitor Check that there are no pending transactions before a locked sequence starts svt_axi_checker
AXI3 Write Data Ordering write_data_interleave_order_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A5.2.2 Write data ordering Monitor check that the order in which a slave receives the first data item of each transaction must be the same as the order in which it receives the addresses for the transactions for Write Data Interleaving svt_axi_checker
AXI3 Write Data Ordering write_data_interleave_depth_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A5.2.2 Write data ordering Monitor check that received write data is not interleaved beyond write_data_interleave_depth value. An error is issued if write data is interleaved beyond this value for Write data interleaving svt_axi_checker
AXI3 Signal Stability signal_stable_wid_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Signal Validity signal_valid_wid_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite Barrier Transactions writebarrier_norm_xact_id_overlap_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D8.4.1 Manager requirements Monitor Check for the AWID overlap of Write transactions with other active WriteBarrier transactions svt_axi_checker
ACE,ACE_Lite Barrier Transactions readbarrier_dvm_norm_xact_id_overlap_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D8.4.1 Manager requirements Monitor Check for the ARID overlap of Read transactions with other active ReadBarrier/DVM transactions svt_axi_checker
ACE,ACE_Lite Barrier Transactions readbarrier_xact_id_overlap_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D8.4.1 Manager requirements Monitor Check for the ARID overlap of ReadBarrier transactions with other active Non-Barrier transactions svt_axi_checker
ACE,ACE_Lite Barrier Transactions writebarrier_xact_id_overlap_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D8.4.1 Manager requirements Monitor Check for the AWID overlap of WriteBarrier transactions with other active Non-Barrier transactions svt_axi_checker
ACE,ACE_Lite DVM dvm_message_arbar_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2 Monitor Check that for DVM transactions ARBAR[0] is 'b0 Normal Access! svt_axi_checker
ACE,ACE_Lite Barrier Transactions barrier_pair_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D8.1 About barrier transactions Monitor Check that Barrier pairs must be issued in the same sequence on the read address and write address channels svt_axi_checker
ACE,ACE_Lite Barrier Transactions barrier_pair_cntrl_signals_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D8.4.1 Manager requirements Monitor Check that Both transactions in a barrier pair must have the same AxID, AxBAR, AxDOMAIN, and AxPROT values. svt_axi_checker
ACE,ACE_Lite Barrier Transactions barrier_write_response_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D8.2.3 Response signaling,D8-2 Monitor Check that for barrier write transaction only BRESP = '00 response is permitted! svt_axi_checker
ACE,ACE_Lite Barrier Transactions barrier_read_response_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D8.2.3 Response signaling,D8-2 Monitor Check that for barrier read transaction only RRESP ='00 response is permitted! svt_axi_checker
ACE,ACE_Lite Barrier Transactions barrier_id_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D8.2.3 Response signaling,D8-2 Monitor Check that the range of ID for barrier transactions should be inside svt_axi_transaction::barrier_id_min and svt_axi_transaction::barrier_id_max! svt_axi_checker
ACE,ACE_Lite Barrier Transactions read_barrier_arlock_type_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier read transaction ARLOCK is Normal Access 'b0! svt_axi_checker
ACE,ACE_Lite Barrier Transactions Constraints read_barrier_arsnoop_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier read transaction ARSNOOP is all zeros ! svt_axi_checker
ACE,ACE_Lite Barrier Transactions Constraints read_barrier_arcache_type_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier read transaction ARCACHE is Normal non-cacheable'b0010 ! svt_axi_checker
ACE,ACE_Lite Barrier Transactions Constraints read_barrier_arsize_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier read transaction ARSIZE matches the data bus width! svt_axi_checker
ACE,ACE_Lite Barrier Transactions Constraints read_barrier_arlen_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that a barrier read transaction should be of length 1! svt_axi_checker
ACE,ACE_Lite Barrier Transactions Constraints read_barrier_arburst_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier read transaction the burst_type is INCR ! svt_axi_checker
ACE,ACE_Lite Barrier Transactions read_barrier_araddr_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier read transaction the ARADDR should be all zeros! svt_axi_checker
ACE,ACE_Lite Barrier Transactions barrier_transaction_user_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D8.2.3 Response signaling Monitor Checks that for a barrier transaction AxUSER has valid value 0x00 svt_axi_checker
ACE,ACE_Lite Barrier Transactions Constraints write_barrier_awlock_type_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier write transaction AWLOCK is Normal Access 'b0! svt_axi_checker
ACE,ACE_Lite Barrier Transactions write_barrier_awsnoop_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier write transaction AWSNOOP is all zeros! svt_axi_checker
ACE,ACE_Lite Barrier Transactions Constraints write_barrier_awcache_type_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier write transaction AWCACHE is Normal non-cacheable 'b0010! svt_axi_checker
ACE,ACE_Lite Barrier Transactions Constraints write_barrier_awsize_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier write transaction the AWSIZE matches the data bus width! svt_axi_checker
ACE,ACE_Lite Barrier Transactions Constraints write_barrier_awlen_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that a barrier write transaction should be of length 1! svt_axi_checker
ACE,ACE_Lite Barrier Transactions write_barrier_awburst_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier write transaction the burst_type is INCR! svt_axi_checker
ACE,ACE_Lite Barrier Transactions write_barrier_awaddr_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-13 Monitor Check that for a barrier write transaction the AWADDR should be all zeros! svt_axi_checker
ACE,ACE_Lite Cache Line Size Transactions Constraints cache_line_axbar_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10 Monitor Check that AxBAR is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE_Lite Cache Line Size Transactions Constraints full_cache_line_size_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D6.7.2 Additional Cache Line conversion considerations Monitor Check that all transactions other than ReadNoSnoop, ReadOnce, WriteNoSnoop, WriteUnique, WriteBack, WriteClean,DVM Message and Barrier are required to be a full cache line size! svt_axi_checker
ACE,ACE_Lite Signal Stability signal_stable_awbar_when_awvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.2 Read and write barrier transactions,D3-4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite Barrier Transactions: Signal Validity signal_valid_awbar_when_awvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.2 Read and write barrier transactions,D3-4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite Signal Stability signal_stable_arbar_when_arvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.2 Read and write barrier transactions,D3-4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite Barrier Transactions: Signal Validity signal_valid_arbar_when_arvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.2 Read and write barrier transactions,D3-4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Mulipart multipart_dvm_snoop_successive_transaction_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.1 DVM message transactions Monitor Checks that there are no unrelated snoop channel transfer in between two multi-part DVM operations which relate to the same DVM transaction svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Mulipart multipart_dvm_coherent_successive_transaction_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.1 DVM message transactions Monitor Checks that there are no unrelated read-address channel transfer in between two multi-part DVM operations which relate to the same DVM transaction svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Mulipart multipart_dvm_snoop_same_response_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.5 DVM responses Monitor Checks that each snoop transaction related to a multi-part DVM Operation must send same snoop response svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Mulipart multipart_dvm_coherent_same_response_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.5 DVM responses Monitor Checks that each transaction of a multi-part DVM Message must send same coherent response svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Mulipart multipart_dvm_coherent_same_id_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.4 DVM ID values Monitor Checks that each transaction of a multi-part DVM Message must use the same AXI ID svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM dvm_xact_id_overlap_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.4 DVM ID values Monitor Check for the ARID overlap of DVM transactions with other active Non-DVM transactions svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM dvmmessage_snoop_araddr_reserve_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A15.5 DVM Sync and Complete
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:first part,D13.3.5 DVM message encoding
Monitor Check that for DVM Message the value of reserve address bits must be zero! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Instruction Cache invalidations dvmmessage_virtual_inst_cache_addr_specified_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ARADDR[0] for DVM Message type Virtual Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Instruction Cache invalidations dvmmessage_virtual_inst_cache_asid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ARADDR[5] for DVM Message type Virtual Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Instruction Cache invalidations dvmmessage_virtual_inst_cache_vmid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ARADDR[6] for DVM Message type Virtual Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Instruction Cache invalidations dvmmessage_virtual_inst_cache_secure_nonsecure_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ARADDR[9:8] for DVM Message type Virtual Instruction Cache Invalidate! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Instruction Cache invalidations dvmmessage_virtual_inst_cache_invalidate_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ARADDR[11:10] for DVM Message type Virtual Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Instruction Cache invalidations dvmmessage_physical_inst_cache_addr_specified_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ARADDR[0] for DVM Message type Physical Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Instruction Cache invalidations dvmmessage_physical_inst_cache_vid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-19 Monitor Check for the supported values of ARADDR[6:5] for DVM Message type Physical Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Instruction Cache invalidations dvmmessage_physical_inst_cache_secure_nonsecure_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ARADDR[9:8] for DVM Message type Physical Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Branch Predictor dvmmessage_branch_predictor_invalidate_supported_message_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.9 Branch Predictor Invalidate,D13-17 Monitor Check for the supported values of ARADDR[0] for DVM Message type Branch Predictor Invalidate! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: TLBI dvmmessage_tlb_addr_specified_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.8 TLB Invalidate,D13-15 Monitor Check for the supported values of ARADDR[0] for DVM Message type TLB Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: TLBI dvmmessage_tlb_asid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.8 TLB Invalidate,D13-15 Monitor Check for the supported values of ARADDR[5] for DVM Message type TLB Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: TLBI dvmmessage_tlb_vmid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.8 TLB Invalidate,D13-15 Monitor Check for the supported values of ARADDR[6] for DVM Message type TLB Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: TLBI dvmmessage_tlb_secure_nonsecure_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.8 TLB Invalidate,D13-15 Monitor Check the for supported values of ARADDR[9:8] for DVM Message type TLB Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: TLBI dvmmessage_tlb_hypervisor_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.8 TLB Invalidate,D13-15 Monitor Check for the supported values of ARADDR[11:10] for DVM Message type TLB Invalidate ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM dvmmessage_araddr_reserve_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:first part,D13.3.5 DVM message encoding Monitor Check that for DVM Message the value of reserve address bits must be zero! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM dvmcomplete_araddr_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A15.5 DVM Sync and Complete,A15.23
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2
Monitor Check that for a DVM Complete message, ARADDR is defined to be all zeros! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Hint dvm_operation_dvm_hint_araddr_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.12 Hint,D13-23 Monitor Checks that for DVM HINT Message ARADDR bit[15] == 1 svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM Operation dvm_operation_dvm_sync_araddr_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.11 Synchronization,D13-22 Monitor Checks that for DVM SYNC Message ARADDR bits [n-1:32] and [11:0] are all set to 0 and bit[15] == 1 svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM Operation dvm_operation_dvm_sync_arsnoop_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2 Monitor Check that ARSNOOP is 'b1111 for DVM Operation and DVM Sync! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM dvm_message_ardomain_type_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A15.5 DVM Sync and Complete,A15.23
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2
Monitor Check that for DVM transactions ARDOMAIN is Inner shareable or Outer shareable! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM dvm_message_arlock_type_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A15.5 DVM Sync and Complete,A15.23
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2
Monitor Check that for DVM transactions ARLOCK is 'b0 Normal Access! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM dvm_message_arcache_type_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A15.5 DVM Sync and Complete,A15.23
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2
Monitor Check that for DVM transactions ARCACHE is 'b0010 Normal non-cacheable! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM dvm_message_arsize_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A15.5 DVM Sync and Complete,A15.23
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2
Monitor Check that for DVM transactions the ARSIZE Matches the data bus width ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM dvm_message_arlen_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A15.5 DVM Sync and Complete,A15.23
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2
Monitor Check that DVM transactions are of length 1! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM dvm_message_arburst_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A15.5 DVM Sync and Complete,A15.23
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2
Monitor Check that for DVM transactions burst_type is INCR ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Domain Types awsnoop_awdomain_awbar_reserve_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.3 Read and write Shareable transaction types,D3-7 Monitor Check that the combinations of AWDOMAIN,AWSNOOP and AWBAR are Valid and are un-reserved! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Domain Types arsnoop_ardomain_arbar_reserve_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.3 Read and write Shareable transaction types,D3-7 Monitor Check that the combinations of ARDOMAIN,ARSNOOP and ARBAR are Valid and are un-reserved! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Burst Type fixed_burst_type_valid AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.4 Burst attribute Monitor Check that the FIXED burst type is only permitted for ReadNoSnoop and WriteNoSnoop transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Maintenance valid_snoop_response_during_cache_maintenance_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D1.4.4 Cache maintenance transactions Monitor checks that when master initiates a CleanShared cache maintenance transaction, and receives any snoop transaction to the same cacheline, the initiating master must not assert PassDirty snoop response. It also checks that when master initiates CleanInvalid or MakeInvalid cache maintenance transactions, and receives any snoop transaction to the same cacheline, the initiating master must not assert PassDirty, IsShared and DataTransfer snoop responses svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Maintenance no_memory_update_or_shareable_txn_during_cache_maintenance_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D7.9 ACE Managers and CMOs Monitor checks that WriteBack, WriteClean or any shareable transactions which permits the line to be allocated are not issued while cache maintenance transaction is in progress svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Maintenance cache_maintenance_outstanding_transaction_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.6.2 CleanShared Monitor checks that CleanInvalid and MakeInvalid cache maintenance transactions are not initiated while any memory update or shareable transactions are outstanding. Checks that CleanShared cache maintenance transactions are not initiated while any memory update or any shareable transactions that can make the cacheline dirty, are outstanding svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Read response signaling read_data_chan_dvmcomplete_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for DVMComplete Transaction are IsShared=0;PassDirty=0 ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Read response signaling read_data_chan_dvmmessage_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for DVMMessage Transaction are IsShared=0;PassDirty=0 ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Read response signaling read_data_chan_readbarrier_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for ReadBarrier Transaction are IsShared=0;PassDirty=0 ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Data Transfer Check coherent_single_read_data_transfer_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling Monitor Check that CLEANUNIQUE, MAKEUNIQUE, CLEANSHARED,CLEANSHAREDPERSIST, CLEANINVALID, MAKEINVALID, READBARRIER, DVMCOMPLETE, DVMMESSAGE transactions have only single read data channel transfer svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Read response signaling read_data_chan_readnosnoop_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for ReadNoSnoop Transaction are IsShared=0;PassDirty=0! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Read response signaling read_data_chan_readonce_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for ReadOnce Transaction are IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Read response signaling read_data_chan_cleaninvalid_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for CleanInvalid Transaction are IsShared=0;PassDirty=0! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Read response signaling read_data_chan_makeinvalid_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for MakeInvalid Transaction are IsShared=0;PassDirty=0! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Maintenance read_data_chan_cleansharedpersist_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D7.7.4 PCMOs on read channels Monitor Check that the valid response for CleanSharedPersist Transaction are IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Read response signaling read_data_chan_cleanshared_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for CleanShared Transaction are IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Data Transfer Check perform_no_datatransfer_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints Monitor Check that no data transfer occurs for a CleanShared,CleansharedPersist, CleanInvalid, CleanUnique, MakeUnique, MakeInvalid and Evict Transactions ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints writelineunique_wstrb_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints Monitor Check that WriteLineUnique transactions are required to have every write data strobe bits asserted, that is, sparse write data strobes are not permitted svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM ReadOnce and WriteUnique Transactions Constraints readonce_arlock_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-11 Monitor Checks that ARLOCK is valid for ReadOnce Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM ReadOnce and WriteUnique Transactions Constraints writeunique_awlock_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-11 Monitor Check that AWLOCK is valid for WriteUnique Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM ReadOnce and WriteUnique Transactions Constraints readonce_arcache_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-11 Monitor Check that ARCACHE is valid for ReadOnce Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM ReadOnce and WriteUnique Transactions Constraints writeunique_awcache_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-11 Monitor Check that AWCACHE is valid for WriteUnique Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM ReadOnce and WriteUnique Transactions Constraints readonce_arburst_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-11 Monitor Check that ARBURST is valid for ReadOnce Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM ReadOnce and WriteUnique Transactions Constraints writeunique_awburst_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-11 Monitor Check that AWBURST is valid for WriteUnique Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM ReadOnce and WriteUnique Transactions Constraints readonce_ardomain_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-11 Monitor Check that ARDOMAIN is valid for ReadOnce Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM ReadOnce and WriteUnique Transactions Constraints writeunique_awdomain_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-11 Monitor Check that AWDOMAIN is valid for WriteUnique Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_sz_eq_alen_asize_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that AxLEN is correctly indicated according to Cache Line Size configured! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_arlock_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that ARLOCK is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_awlock_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that AWLOCK is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_arcache_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that ARCACHE is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_awcache_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that AWCACHE is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_ardomain_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size,A8.4
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that ARDOMAIN is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_awdomain_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size,A8.3
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that AWDOMAIN is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_arburst_incr_addr_aligned_valid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that the address is aligned to cache line size for INCR burst in a Cache Line Size Transaction! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_awburst_incr_addr_aligned_valid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that the address is aligned to cache line size for INCR burst in a Cache Line Size Transaction! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_arburst_wrap_addr_aligned_valid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that the address is aligned to burst_size for WRAP burst in a Cache Line Size Transaction! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_awburst_wrap_addr_aligned_valid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints
Monitor Check that the address is aligned to burst_size for WRAP burst in a Cache Line Size Transaction! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_arsize_valid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that the total number of bytes transferred in the transaction is equal to the cache_line_size! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_arburst_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that If DataTransfer de-asserted then no data transfer will occur on the snoop data channel for this transaction DataTransfer, CRRESP[0]! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_awsize_valid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that the total number of bytes transferred in the transaction is equal to the cache_line_size! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_awburst_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints
Monitor Check that awburst is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Domain Types axcache_axdomain_invalid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.3.6 Domains and memory types,A9.7
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.1 Shareability domain types
Monitor Check that the combination of AxDOMAIN and AxCACHE are valid ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Domain Types axcache_axdomain_restriction_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.3.6 Domains and memory types,A9.7
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.1 Shareability domain types
Monitor Check that Device transactions, as indicated by AxCACHE[1] = 0, must only use AxDOMAIN = 11 System Shareable ! svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses: ACE Master exclusive_ace_transaction_type_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D9.5 Exclusive Accesses from AXI components Monitor check that exclusive transaction sent on AXI_ACE interface are only of WRITENOSNOOP, READNOSNOOP, READCLEAN, READSHARED and CLEANUNIQUE type svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses exclusive_read_write_id_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.1 Exclusive access process
Monitor check that the bits of the AXI ID signal that are used to identify the Exclusive-capable thread must be the same for all Exclusive transactions from the same Exclusive-capable thread. In other words, monitor checks that same ID is used for exclusive access READ and WRITE transactions svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses: ACE Master exclusive_store_response_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D9.2.3 Exclusive Store Monitor check that response generated for exclusive store accesss is correct svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses: ACE Master exclusive_load_response_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D9.2.1 Exclusive Load Monitor check that response generated for exclusive load accesss is correct svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Snoop Data: Signal Stability signal_stable_awsnoop_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A8.1 Opcode signaling,A8.1
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.3 Read and write Shareable transaction types,D3-6
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Domain Types: Signal Stability signal_stable_awdomain_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.3.4 Domain signaling,A9.4
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.1 Shareability domain types,D3-1
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Snoop Data: Signal Stability signal_stable_arsnoop_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A8.1 Opcode signaling,A8.1
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.3 Read and write Shareable transaction types,D3-6
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Domain Types: Signal Stability signal_stable_ardomain_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.3.4 Domain signaling,A9.4
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.1 Shareability domain types,D3-1
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM DVM: Mulipart signal_araddr_multipart_dvm_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.2 Addresses in DVM messages,D13-6 Monitor check for dvm multipart xact ADDR[2:0] should be SBZ svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Snoop Address: Signal Validity signal_valid_arsnoop_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A8.1 Opcode signaling,A8.1
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.3 Read and write Shareable transaction types,D3-6
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Domain Types: Signal Validity signal_valid_ardomain_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.3.4 Domain signaling,A9.4
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.1 Shareability domain types,D3-1
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5 Interconnect Requirements snoop_to_same_cache_line_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D6.2 Sequencing transactions The interconnect must ensure that, if the interconnect sends a snoop transaction to a master, it must not provide the same master with a response to a transaction to the same cache line, until it has received a snoop response on CRRESP to the snoop transaction svt_axi_checker
ACE,ACE5 Interconnect Requirements resp_to_same_cache_line_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D6.2 Sequencing transactions The interconnect must ensure that, if the interconnect provides a master with a response to a transaction, it must not send the same master a snoop transaction to the same cache line until it has received an acknowledgment of the transaction response on either RACK or WACK svt_axi_checker
ACE,ACE5 WACK Signaling wack_status_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.5 Write Acknowledge signaling Monitor Check that WACK is asserted in response to BVALID/BREADY handshakes! svt_axi_checker
ACE,ACE5 RACK Signaling rack_status_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.3 Read acknowledge signaling Monitor Check that RACK is asserted in response to all RLAST/RVALID/RREADY handshakes! svt_axi_checker
ACE,ACE5 Snoop Transactions snoop_addr_snoop_data_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.9 Snoop channel dependencies Monitor Check that the master must wait for both ACVALID and ACREADY to be asserted before asserting CDVALID! svt_axi_checker
ACE,ACE5 Snoop Data cdlast_asserted_for_last_snoopread_data_beat AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.8 Snoop data channel signaling Monitor Check that the CDLAST signal is asserted during the final data transfer associated with a snoop transaction! svt_axi_checker
ACE,ACE5 Snoop Response snoop_response_channel_isshared_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.7 Snoop response channel signaling Monitor Check that for ReadUnique, CleanInvalid and MakeInvalid transaction, snoop_resp_isshared cannot be asserted! svt_axi_checker
ACE,ACE5 Snoop Data full_cache_line_datatransfer_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.8 Snoop data channel signaling Monitor Check that if DataTransfer is asserted, a full cache line of data must be provided on the snoop data channel! svt_axi_checker
ACE,ACE5 Snoop Response snoop_resp_passdirty_datatransfer_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.7 Snoop response channel signaling Monitor Check that snoop_resp_datatransfer is asserted if snoop_resp_passdirty is asserted! svt_axi_checker
ACE,ACE5 Coherency Transactions complete_outstanding_writeunique_writelineunique_before_memory_write_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.8.7 Restrictions on WriteUnique and WriteLineUnique usage Monitor checks that no additional WriteBack, WriteClean, or WriteEvict transactions are issued until all outstanding WriteUnique or WriteLineUnique transactions are completed svt_axi_checker
ACE,ACE5 Coherency Transactions complete_outstanding_memory_write_before_writeunique_writelineunique_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.8.7 Restrictions on WriteUnique and WriteLineUnique usage Monitor checks that a cached master completes any outstanding WriteBack, WriteClean, or WriteEvict transactions before issuing a WriteUnique or WriteLineUnique transaction svt_axi_checker
ACE,ACE5 Snoop Address acaddr_aligned_to_cddata_width_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.6.2 Snoop address channel signaling Monitor Check that ACADDR must be aligned to the data transfer size, which is determined by the width of the snoop data bus in bytes svt_axi_checker
ACE,ACE5 Snoop Transactions snoop_transaction_burst_length_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.8 Snoop data channel signaling Monitor Check that snoop transaction burst length must be 1, 2, 4, 8, or 16 svt_axi_checker
ACE,ACE5 Read response signaling read_data_chan_readclean_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for ReadClean Transaction are IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0! svt_axi_checker
ACE,ACE5 Read response signaling read_data_chan_readnotshareddirty_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for ReadNotSharedDirty Transaction are IsShared=0;PassDirty=0 & IsShared=0;PassDirty=1 & IsShared=1;PassDirty=0! svt_axi_checker
ACE,ACE5 Read response signaling read_data_chan_readunique_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for ReadUnique Transaction are IsShared=0;PassDirty=0 & IsShared=0;PassDirty=1! svt_axi_checker
ACE,ACE5 Read response signaling read_data_chan_cleanunique_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for CleanUnique Transaction are IsShared=0;PassDirty=0! svt_axi_checker
ACE,ACE5 Read response signaling read_data_chan_makeunique_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.2.1 Read response signaling,D3-15 Monitor Check that the valid response for MakeUnique Transaction are IsShared=0;PassDirty=0! svt_axi_checker
ACE,ACE5 Exclusive Accesses: ACE Master exclusive_transaction_from_shared_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D9.2.3 Exclusive Store Monitor Checks that if cacheline is in shared state then exclusive transaction is issued only as CLEANUNIQUE, READCLEAN or READSHARED svt_axi_checker
ACE,ACE5 Exclusive Accesses: ACE Master exclusive_store_from_valid_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D9.2.3 Exclusive Store Monitor Checks that if cacheline is in invalid state then exclusive store transaction is not issued svt_axi_checker
ACE,ACE5 Exclusive Accesses: ACE Master exclusive_load_from_valid_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D9.2.1 Exclusive Load Monitor Checks that if cacheline is in invalid state then exclusive load transaction is issued only as READCLEAN or READSHARED svt_axi_checker
ACE,ACE5 Coherency Transactions writeevict_wstrb_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:G1.1 Full and partial cache line write transaction naming,G1-1 Monitor Check that all write strobes bits are asserted for a WRITEEVICT transaction svt_axi_checker
ACE,ACE5 Cache Line Size Transactions Constraints writeevict_awunique_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.4 AWUNIQUE signal Monitor Check that AWUNIQUE is asserted for a WRITEEVICT transaction svt_axi_checker
ACE,ACE5 WriteBack and WriteClean Transactions Constraints writeclean_awunique_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.4 AWUNIQUE signal,D3-9 Monitor Check that AWUNIQUE is deasserted for a WRITECLEAN transaction svt_axi_checker
ACE,ACE5 Awnique Signal snoop_response_to_same_cacheline_during_xact_with_awunique_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.4 AWUNIQUE signal Monitor check that while a transaction is in progress which has the AWUNIQUE signal asserted, the master must not give a snoop response that would allow another copy of the line to be created, or an agent to consider that it has another Unique copy of the line svt_axi_checker
ACE,ACE5 Coherency Transactions snoop_response_to_same_cacheline_during_writeevict_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D5.2.5 Non-blocking requirements for a snooped Manager Monitor check that if a snooped master receives a snoop transaction when it has an outstanding WriteEvict transaction, then it is the responsibility of the snooped master to ensure that no other master can update the same area of main memory at the same time svt_axi_checker
ACE,ACE5 WriteBack and WriteClean Transactions Constraints writeback_writeclean_awlock_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-12 Monitor Check that for a WRAP burst for WriteBack and WriteClean transactions, AWSIZE x AWLEN must not exceed the cache line size! svt_axi_checker
ACE,ACE5 WriteBack and WriteClean Transactions Constraints writeback_writeclean_awburst_wrap_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-12 Monitor Check that for a WRAP burst for WriteBack and WriteClean transactions, AWSIZE x AWLEN must not exceed the cache line size! svt_axi_checker
ACE,ACE5 WriteBack and WriteClean Transactions Constraints writeback_writeclean_awburst_incr_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-12 Monitor Check that for an INCR burst for WriteBack and WriteClean transactions, the last byte in the burst added to the AWSIZE aligned start address, must be within the same cache line as the first byte in the burst! svt_axi_checker
ACE,ACE5 WriteBack and WriteClean Transactions Constraints writeback_writeclean_awcache_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-12 Monitor Check that AWCACHE is valid for WriteBack and WriteClean Transactions! svt_axi_checker
ACE,ACE5 WriteBack and WriteClean Transactions Constraints writeback_writeclean_awdomain_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-12 Monitor Check that AWDOMAIN is valid for WriteBack and WriteClean Transactions! svt_axi_checker
ACE,ACE5 WriteBack and WriteClean Transactions Constraints writeback_writeclean_awburst_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-12 Monitor Check that AWBURST is valid for WriteBack and WriteClean Transactions! svt_axi_checker
ACE,ACE5 WriteBack and WriteClean Transactions Constraints writeback_writeclean_awburst_awlen_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.4 Burst attribute Monitor Check that AWLEN and AWBURST are valid for WriteBack and WriteClean Transactions! svt_axi_checker
ACE,ACE5 WriteBack and WriteClean Transactions Constraints writeback_writeclean_awlen_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-12 Monitor Check that AWLEN is valid for WriteBack and WriteClean Transactions! svt_axi_checker
ACE,ACE5 WriteBack and WriteClean Transactions Constraints writeback_writeclean_awsize_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-12 Monitor Check that AWSIZE is valid for WriteBack and WriteClean Transactions! svt_axi_checker
ACE,ACE5 Snoop Transactions dirty_state_data_transfer_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D5.2.2 Snoop data transfers Monitor checks that, if cacheline is in Dirty state UD or SD then dataTransfer bit must be set when master sends snoop response svt_axi_checker
ACE,ACE5 Coherency Transactions evict_correct_start_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.9.1 Evict,D4-29 Monitor checks that, EVICT transaction starts only from UNIQUECLEAN or SHAREDCLEAN state svt_axi_checker
ACE,ACE5 Coherency Transactions writeevict_correct_start_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.8.6 WriteEvict,D4-28 Monitor checks that, WRITEEVICT transaction starts only from UNIQUECLEAN state svt_axi_checker
ACE,ACE5 Coherency Transactions writeclean_correct_start_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.8.5 WriteClean,D4-26 Monitor checks that, WRITECLEAN transaction starts only from UNIQUEDIRTY or SHAREDDIRTY state svt_axi_checker
ACE,ACE5 Coherency Transactions writeback_correct_start_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.8.4 WriteBack,D4-24 Monitor checks that, WRITEBACK transaction starts only from UNIQUEDIRTY or SHAREDDIRTY state svt_axi_checker
ACE,ACE5 Coherency Transactions writelineunique_correct_start_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.8.3 WriteLineUnique,D4-23 Monitor checks that, WRITELINEUNIQUE transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state svt_axi_checker
ACE,ACE5 Coherency Transactions writeunique_correct_start_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.8.2 WriteUnique,D4-22 Monitor checks that, WRITEUNIQUE transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state svt_axi_checker
ACE,ACE5 Coherency Transactions makeinvalid_correct_start_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.7.2 MakeInvalid Monitor checks that, MAKEINVALID transaction starts only from INVALID state svt_axi_checker
ACE,ACE5 Coherency Transactions cleaninvalid_correct_start_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.6.3 CleanInvalid,D4-16 Monitor checks that, CLEANINVALID transaction starts only from INVALID state svt_axi_checker
ACE,ACE5 Cache Maintenance cleansharedpersist_correct_start_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D7.7 Cache maintenance for Persistence Monitor checks that, CLEANSHAREDPERSIST transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state svt_axi_checker
ACE,ACE5 Coherency Transactions cleanshared_correct_start_state_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D4.6.2 CleanShared,D4-15 Monitor checks that, CLEANSHARED transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state svt_axi_checker
ACE,ACE5 Snoop Transactions cdvalid_high_no_data_transfer_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D5.2.1 Channel activity Monitor Check that arburst is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE5 Reset cdvalid_low_when_reset_is_active_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D2.3.3 Reset requirements Monitor Check for CDVALID low when reset is active! svt_axi_checker
ACE,ACE5 Signal Stability cdvalid_interrupted_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.8 Snoop data channel signaling Monitor Check for CDVALID held steady until CDREADY is asserted! svt_axi_checker
ACE,ACE5 Snoop Data: Signal Validity signal_valid_cdvalid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.8 Snoop data channel signaling,D3-23 Monitor Check for X or Z on CDVALID! svt_axi_checker
ACE,ACE5 WACK Signaling signal_wack_after_handshake_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.5 Write Acknowledge signaling Monitor Checks that WACK signal must be asserted the cycle after the associated handshake or later! svt_axi_checker
ACE,ACE5 WACK Signaling signal_wack_single_cycle_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.5 Write Acknowledge signaling Monitor Checks that WACK is asserted for a single cycle! svt_axi_checker
ACE,ACE5 RACK Signaling signal_rack_after_handshake_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.3 Read acknowledge signaling Monitor Checks that RACK signal must be asserted the cycle after the associated handshake or later! svt_axi_checker
ACE,ACE5 RACK Signaling signal_rack_single_cycle_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.3 Read acknowledge signaling Monitor Checks that RACK is asserted for a single cycle! svt_axi_checker
ACE,ACE5 Exclusive Accesses: ACE Master exokay_not_sent_until_successful_exclusive_store_rack_observed_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D9.3.1 Minimum PoS Exclusive Monitor Monitor checks that, once a master receives successful exclusive store response EXOKAY from interconnect, then no other master should be provided with EXOKAY response, until current master acknowledges completing successful exclusive store by asserting RACK svt_axi_checker
ACE,ACE5 Exclusive Accesses: ACE Master exclusive_store_overlap_with_another_exclusive_sequence_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D9.2.3 Exclusive Store Monitor check that a master must not permit an Exclusive Store transaction to be in progress at the same time as any transaction that registers that it is performing an Exclusive sequence svt_axi_checker
ACE,ACE5 Trace Signals: Signal Stability signal_stable_cdtrace_when_cdvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE5 Signal Stability signal_stable_cdlast_when_cdvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D2.2.3 Snoop data channel (CD) signals,D2-6 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE5 Signal Stability signal_stable_cddata_when_cdvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D2.2.3 Snoop data channel (CD) signals,D2-6 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE5 Trace Signals: Signal Validity signal_valid_cdtrace_when_cdvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5 Snoop Data: Signal Validity signal_valid_cdlast_when_cdvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.8 Snoop data channel signaling,D3-23 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5 Snoop Data: Signal Validity signal_valid_cddata_when_cdvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.8 Snoop data channel signaling,D3-23 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5 Snoop Data: Signal Validity signal_valid_cdready_when_cdvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.8 Snoop data channel signaling,D3-23 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5 Signal Stability signal_stable_awunique_when_awvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.4 AWUNIQUE signal Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE5 Awnique Signal signal_valid_awunique_when_awvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.4 AWUNIQUE signal Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: Instruction Cache invalidations dvmmessage_virtual_inst_cache_snoop_addr_specified_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ACADDR[0] for DVM Message type Virtual Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: Instruction Cache invalidations snoop_dvmmessage_virtual_inst_cache_asid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ACADDR[5] for DVM Message type Virtual Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: Instruction Cache invalidations snoop_dvmmessage_virtual_inst_cache_vmid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ACADDR[6] for DVM Message type Virtual Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: Instruction Cache invalidations snoop_dvmmessage_virtual_inst_cache_secure_nonsecure_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ACADDR[9:8] for DVM Message type Virtual Instruction Cache Invalidate! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: Instruction Cache invalidations snoop_dvmmessage_virtual_inst_cache_invalidate_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ACADDR[11:10] for DVM Message type Virtual Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: Instruction Cache invalidations dvmmessage_physical_inst_cache_snoop_addr_specified_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-21 Monitor Check for the supported values of ACADDR[0] for DVM Message type Physical Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: Instruction Cache invalidations snoop_dvmmessage_physical_inst_cache_vid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-19 Monitor Check for the supported values of ACADDR[6:5] for DVM Message type Physical Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: Instruction Cache invalidations snoop_dvmmessage_physical_inst_cache_secure_nonsecure_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.10 Instruction cache invalidations,D13-19 Monitor Check for the supported values of ACADDR[9:8] for DVM Message type Physical Instruction Cache Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: Branch Predictor snoop_dvmmessage_branch_predictor_invalidate_supported_message_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.9 Branch Predictor Invalidate,D13-17 Monitor Check for the supported values of ACADDR[0] for DVM Message type Branch Predictor Invalidate! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: TLBI dvmmessage_tlb_snoop_addr_specified_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.8 TLB Invalidate,D13-15 Monitor Check for the supported values of ACADDR[0] for DVM Message type TLB Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: TLBI snoop_dvmmessage_tlb_asid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.8 TLB Invalidate,D13-15 Monitor Check for the supported values of ACADDR[5] for DVM Message type TLB Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: TLBI snoop_dvmmessage_tlb_vmid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.8 TLB Invalidate,D13-15 Monitor Check for the supported values of ACADDR[6] for DVM Message type TLB Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: TLBI snoop_dvmmessage_tlb_secure_nonsecure_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.8 TLB Invalidate,D13-15 Monitor Check for the supported values of ACADDR[9:8] for DVM Message type TLB Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: TLBI snoop_dvmmessage_tlb_hypervisor_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.8 TLB Invalidate,D13-15 Monitor Check for the supported values of ACADDR[11:10] for DVM Message type TLB Invalidate ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM dvmcomplete_acaddr_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2 Monitor Check that for a DVM Complete, ACADDR is defined to be all zeros! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM Operation dvm_operation_dvm_sync_acsnoop_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2 Monitor Check that ACSNOOP is 'b1111 for DVM Operation and DVM Sync! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM dvm_complete_acsnoop_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2 Monitor Check that ACSNOOP is 'b1110 for DVM Complete ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM dvm_complete_arsnoop_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.3 DVM request attributes,D13-2 Monitor Check that ARSNOOP is 'b1110 for DVM Complete! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Transactions snoop_transaction_order_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.7 Snoop response channel signaling Monitor Check that all snoop transactions are ordered. The response, as given on the snoop response channel, must be in the same order that the transactions are presented on the snoop address channel! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Transactions snoop_addr_snoop_resp_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.9 Snoop channel dependencies Monitor Check that the master must wait for both ACVALID and ACREADY to be asserted before asserting CRVALID! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Address acsnoop_reserved_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.6.2 Snoop address channel signaling,D3-19 Monitor Check that ACSNOOP does not have a reserved value! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM snoop_chan_dvmcomplete_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.5 DVM responses Monitor Check that a snoop responseCRRESP of 5'b00010 is not given for DVMComplete Transaction ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM snoop_chan_dvmsync_resp_valid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.2.5 DVM responses Monitor Check that a snoop responseCRRESP of 5'b00010 is not given for DVMSync Transaction ! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_arlen_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that the arlen is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_awlen_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that the awlen is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_arsize_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that the arsize is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Cache Line Size Transactions Constraints cache_line_awsize_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.2 Cache line size
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.6 Transaction constraints,D3-10
Monitor Check that the awsize is valid for Cache Line Size Transactions! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Reset acvalid_low_when_reset_is_active_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D2.3.3 Reset requirements Monitor Check for ACVALID low when reset is active! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Reset crvalid_low_when_reset_is_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for CRVALID low when reset is active! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Signal Stability crvalid_interrupted_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.6.2 Snoop response channel CR
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.9 Snoop channel dependencies
Monitor Check for CRVALID held steady until CRREADY is asserted! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Signal Stability acvalid_interrupted_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.6.1 Snoop request channel AC
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.6.2 Snoop address channel signaling
Monitor Check for ACVALID held steady until ACREADY is asserted! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Response: Signal Validity signal_valid_crvalid_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.7 Snoop response channel signaling,D3-20 Monitor Check for X or Z on CRVALID! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Address: Signal Validity signal_valid_acvalid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.6.1 Snoop request channel AC,A3.8
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.6.2 Snoop address channel signaling,D3-18
Monitor Check for X or Z on ACVALID! svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Signal Stability signal_stable_crtrace_when_crvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Signal Stability signal_stable_crresp_when_crvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D2.2.2 Snoop response channel (CR) signals,D2-5 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Signal Stability signal_stable_acprot_when_acvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:Snoop address channel (AC) signals,D2-4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Signal Stability signal_stable_acsnoop_when_acvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:Snoop address channel (AC) signals,D2-4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Signal Stability signal_stable_acaddr_when_acvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:Snoop address channel (AC) signals,D2-4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Response: Signal Validity signal_valid_crtrace_when_crvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Response: Signal Validity signal_valid_crresp_when_crvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.7 Snoop response channel signaling,D3-20 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Response: Signal Validity signal_valid_crready_when_crvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.7 Snoop response channel signaling,D3-20 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Address: Signal Validity signal_valid_acprot_when_acvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.6.2 Snoop address channel signaling,D3-18 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Address: Signal Validity signal_valid_acsnoop_when_acvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.6.2 Snoop address channel signaling,D3-18 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Address: Signal Validity signal_valid_acaddr_when_acvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.6.2 Snoop address channel signaling,D3-18 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM Snoop Address: Signal Validity signal_valid_acready_when_arvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.6.2 Snoop address channel signaling,D3-18 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE5,ACE5_LiteDVM DVM: VMID signal_valid_arvmidext_when_arvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.4 Support for 16-bit VMID,D13-9 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE5_LiteDVM DVM v8.4 signal_acaddr_multipart_dvm_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.7 TLB Invalidate operations in DVM v8.4,D13-13 Monitor Check that observed_araddr[2:0] must be zero for multipart DVM transactions for dvm version less than DVMv8_4 svt_axi_checker
ACE5_LiteDVM DVM v8.4 valid_num_acaddr_multipart_dvm_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.7 TLB Invalidate operations in DVM v8.4,D13-13 Monitor Check that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, the observed_araddr[5:4] and observed_araddr[2:0] must be zero for multipart DVM transactions svt_axi_checker
ACE5_LiteDVM DVM v8.4 valid_scale_acaddr_multipart_dvm_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.7 TLB Invalidate operations in DVM v8.4,D13-13 Monitor Check that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, the observed_acaddr[7:6] must be zero for multipart DVM transactions svt_axi_checker
ACE5_LiteDVM DVM v8.4 valid_ttl_acaddr_multipart_dvm_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.7 TLB Invalidate operations in DVM v8.4,D13-13 Monitor Check that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, the observed_acaddr[9:8] must be zero for multipart DVM transactions svt_axi_checker
ACE5_LiteDVM DVM v8.4 valid_tg_acaddr_multipart_dvm_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.7 TLB Invalidate operations in DVM v8.4,D13-13 Monitor Check that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, the observed_acaddr[11:10] must be zero for multipart DVM transactions svt_axi_checker
ACE5_LiteDVM DVM v8.4 valid_num_araddr_multipart_dvm_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.7 TLB Invalidate operations in DVM v8.4,D13-13 Monitor Check that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, the observed_araddr[5:4] and observed_araddr[2:0] must be zero for multipart DVM transactions svt_axi_checker
ACE5_LiteDVM DVM v8.4 valid_scale_araddr_multipart_dvm_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.7 TLB Invalidate operations in DVM v8.4 Monitor Check that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, the observed_araddr[7:6] must be zero for multipart DVM transactions svt_axi_checker
ACE5_LiteDVM DVM v8.4 valid_ttl_araddr_multipart_dvm_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.7 TLB Invalidate operations in DVM v8.4,D13-13 Monitor Check that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, the observed_araddr[9:8] must be zero for multipart DVM transactions svt_axi_checker
ACE5_LiteDVM DVM v8.4 valid_tg_araddr_multipart_dvm_xact_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D13.3.7 TLB Invalidate operations in DVM v8.4 Monitor Check that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, the observed_araddr[11:10] must be zero for multipart DVM transactions svt_axi_checker
AXI4,AXI5 Atomic Accesses align_addr_atomicity_size_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.1 Single-copy atomicity size Monitor Check that a transaction never has an atomicity guarantee greater than the alignment of its start address on ARADDR/AWADDR. svt_axi_checker
AXI4,AXI5 Interface Requirements excl_access_on_write_only_interface_check Synopsys Defined:Synopsys Defined Monitor Check that write only interface does not support exclusive access! svt_axi_checker
AXI4,AXI5 Interface Requirements excl_access_on_read_only_interface_check Synopsys Defined:Synopsys Defined Monitor Check that read only interface does not support exclusive access! svt_axi_checker
AXI4,AXI5 Interface Requirements write_xact_on_write_only_interface_check Synopsys Defined:Synopsys Defined Monitor Check that write only interface supports only write Transactions! svt_axi_checker
AXI4,AXI5 Interface Requirements read_xact_on_read_only_interface_check Synopsys Defined:Synopsys Defined Monitor Check that read only interface supports only read Transactions! svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses exokay_resp_observed_only_for_exclusive_transactions_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3.2 Exclusive access from the perspective of the Manager
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.5 Responses to exclusive access
Monitor checks that the EXOKAY response is observed only for permitted exclusive access transactions.For AXI3/AXI4 interfaces these are transactions with atomic_type is equal to EXCLUSIVE,For ACE_LITE interface these are READNOSNOOP, WRITENOSNOOP transaction or READONCE, WRITEUNIQUE if shareable_exclusive_access_from_acelite_ports_enable is set to '1'. For ACE interface these are READSHARED, READCLEAN and CLEANUNIQUE transaction ! svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Interface Requirements awburst_awlen_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.4 Burst attribute Monitor Check that AWLEN and AWBURST are valid for AXI Transactions! svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Interface Requirements rlast_asserted_for_last_read_data_beat AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.3.5 Read data channel (R) Monitor Check that RLAST is HIGH only for the last beat of READ burst ! svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Interface Requirements wlast_asserted_for_last_write_data_beat AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.3.2 Write data channel W Monitor Check that WLAST is asserted for last beat of write data! svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses exclusive_read_write_prot_type_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses,A7.5
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that protection type is generated same for exclusive accesss READ and WRITE transactions svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses exclusive_read_write_cache_type_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses,A7.5
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that cache type is generated same for exclusive accesss READ and WRITE transactions svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses exclusive_read_write_burst_type_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses,A7.5
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that burst type is generated same for exclusive accesss READ and WRITE transactions svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses exclusive_read_write_burst_size_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions Monitor check that burst size is generated same for exclusive accesss READ and WRITE transactions svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses exclusive_read_write_burst_length_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses,A7.5
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that burst length is generated same for exclusive accesss READ and WRITE transactions svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses exclusive_read_write_addr_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3.1 Exclusive access sequence
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that address is generated same for exclusive accesss READ and WRITE transactions svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses signal_valid_exclusive_write_addr_aligned_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that exclusive access start address is aligned to the total number of bytes of the transaction svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses signal_valid_exclusive_awcache_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that exclusive access being monitored by a slave must not have an ARCACHE[3:0] or AWCACHE[3:0] value that indicates that the transaction is cacheable svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses signal_valid_exclusive_awlen_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
The burst length for an exclusive access must not exceed 16 transfers. svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses signal_valid_exclusive_awlen_awsize_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that burst size and burst_length combination is valid for Exclusive access. The number of bytes that can be transferred in an exclusive access burst must be power of 2 svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses signal_valid_exclusive_read_addr_aligned_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that exclusive access start address is aligned to the total number of bytes of the transaction svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses signal_valid_exclusive_arcache_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that exclusive access being monitored by a slave must not have an ARCACHE[3:0] or AWCACHE[3:0] value that indicates that the transaction is cacheable svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses signal_valid_exclusive_arlen_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
The burst length for an exclusive access must not exceed 16 transfers. svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Exclusive Accesses signal_valid_exclusive_arlen_arsize_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A7.3 Exclusive accesses
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A7.2.4 Exclusive access restrictions
Monitor check that burst size and burst_length combination is valid for Exclusive access. The number of bytes that can be transferred in an exclusive access burst must be power of 2 svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_wlast_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_wlast_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_awcache_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_awlock_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_awburst_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_awlen_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_awcache_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_awlock_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_awburst_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_awlen_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_rlast_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_rlast_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_arcache_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_arlock_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_arburst_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_arlen_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_arcache_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_arlock_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_arburst_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_arlen_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals trace_tag_validity_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals
Monitor Check that if valid loopback trace_tag is generated for data and response channel when svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals loopback_trace_tag_validity_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals
Monitor Check that if trace_tag value on data channel or resposne channel directly mapped to the associated request when svt_axi_port_configuration::loopback_trace_tag_enable is enabled svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals: Signal Stability signal_stable_btrace_when_bvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals,A13.17
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals: Signal Validity signal_valid_btrace_when_bvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals,A13.17
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Poison: Signal Stability signal_stable_wpoison_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A17.1 Data protection using Poison,A17.1
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E2.1 Poison,E2-1
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals: Signal Stability signal_stable_wtrace_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals,A13.17
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals: Signal Validity signal_valid_wtrace_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals,A13.17
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Poison: Signal Validity signal_valid_wpoison_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A17.1 Data protection using Poison,A17.1
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E2.1 Poison,E2-1
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals: Signal Stability signal_stable_awtrace_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals,A13.17
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals: Signal Validity signal_valid_awtrace_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals,A13.17
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Poison: Signal Stability signal_stable_rpoison_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A17.1 Data protection using Poison,A17.1
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E2.1 Poison,E2-1
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals: Signal Stability signal_stable_rtrace_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals,A13.17
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals: Signal Validity signal_valid_rtrace_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals,A13.17
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Poison: Signal Validity signal_valid_rpoison_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A17.1 Data protection using Poison,A17.1
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E2.1 Poison,E2-1
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals: Signal Stability signal_stable_artrace_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals,A13.17
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Trace Signals: Signal Validity signal_valid_artrace_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.3 Trace signals,A13.17
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.4 Trace signals,E1-9
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE5_Lite,ACE5_LiteDVM Cache Line Size Transactions Constraints writeuniquefullstash_wstrb_valid_value_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E1.2.1 Stash transaction types Monitor Check that writeuniquefullstash transactions are required to have every write data strobe asserted, that is, sparse write data strobes are not permitted svt_axi_checker
ACE5_Lite,ACE5_LiteDVM Cache Stashing writeuniqueptlstash_awlock_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:E9.7.2 Stash transaction signaling Monitor Check that AWLOCK is valid for writeuniqueptlstash Transactions! svt_axi_checker
ACE5_Lite,ACE5_LiteDVM Cache Stashing writeuniqueptlstash_awcache_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.7.2 Stash transaction signaling Monitor Check that AWCACHE is valid for writeuniqueptlstash Transactions! svt_axi_checker
ACE5_Lite,ACE5_LiteDVM Cache Stashing writeuniqueptlstash_awburst_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.7.2 Stash transaction signaling,A9.15 Monitor Check that AWBURST is valid for writeuniqueptlstash Transactions! svt_axi_checker
ACE5_Lite,ACE5_LiteDVM Cache Stashing writeuniqueptlstash_awdomain_valid_value_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.7.2 Stash transaction signaling,A9.15 Monitor Check that AWDOMAIN is valid for WriteUniqueptlstash Transactions! svt_axi_checker
ACE5 Poison: Signal Stability signal_stable_cdpoison_when_cdvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E2.1 Poison,E2-1 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
ACE5 Poison: Signal Validity signal_valid_cdpoison_when_cdvalid_high_check AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:E2.1 Poison,E2-1 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Snoop Address: Signal Validity signal_valid_awsnoop_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A8.1 Opcode signaling,A8.1
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.3 Read and write Shareable transaction types,D3-6
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Domain Types: Signal Validity signal_valid_awdomain_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A9.3.4 Domain signaling,A9.4
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:D3.1.1 Shareability domain types,D3-1
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM User Signaling: Signal Stability signal_stable_wuser_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.5 User defined signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.3 User-defined signaling,A8-2
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM User Signaling: Signal Validity signal_valid_wuser_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.5 User defined signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.3 User-defined signaling,A8-2
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM User Signaling: Signal Stability signal_stable_awuser_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.5 User defined signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.3 User-defined signaling,A8-2
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM User Signaling: Signal Stability signal_stable_buser_when_bvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.5 User defined signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.3 User-defined signaling,A8-2
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM User Signaling: Signal Validity signal_valid_buser_when_bvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.5 User defined signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.3 User-defined signaling,A8-2
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM User Signaling: Signal Validity signal_valid_awuser_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.5 User defined signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.3 User-defined signaling,A8-2
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM User Signaling: Signal Stability signal_stable_ruser_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.5 User defined signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.3 User-defined signaling,A8-2
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM User Signaling: Signal Validity signal_valid_ruser_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.5 User defined signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.3 User-defined signaling,A8-2
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM User Signaling: Signal Stability signal_stable_aruser_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.5 User defined signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.3 User-defined signaling,A8-2
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4,AXI4_Lite,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM User Signaling: Signal Validity signal_valid_aruser_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A13.5 User defined signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.3 User-defined signaling,A8-2
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Region Signaling: Signal Stability signal_stable_awregion_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A5.7 Multiple region interfaces
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.2 Multiple region signaling,A5.15
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM QoS Signaling: Signal Stability signal_stable_awqos_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A5.8 QoS signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.1 QoS signaling,A5.16
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Region Signaling: Signal Validity signal_valid_awregion_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A5.7 Multiple region interfaces
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.2 Multiple region signaling,A5.15
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM QoS Signaling: Signal Validity signal_valid_awqos_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A5.8 QoS signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.1 QoS signaling,A5.16
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Region Signaling: Signal Stability signal_stable_arregion_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A5.7 Multiple region interfaces
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.2 Multiple region signaling,A5.15
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM QoS Signaling: Signal Stability signal_stable_arqos_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A5.8 QoS signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.1 QoS signaling,A5.16
Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM Region Signaling: Signal Validity signal_valid_arregion_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A5.7 Multiple region interfaces
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.2 Multiple region signaling,A5.15
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4,ACE,ACE_Lite,AXI5,ACE5,ACE5_Lite,ACE5_LiteDVM QoS Signaling: Signal Validity signal_valid_arqos_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A5.8 QoS signaling
AMBA AXI and ACE Protocol Specification ARM IHI 0022H.c ID012621:A8.1 QoS signaling,A5.16
Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Interface Requirements write_resp_follows_last_write_xfer_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.4 Relationships between the channels Monitor Check that write response must always follow last write data transfer! svt_axi_checker
AXI3 Onwards Interface Requirements read_data_follows_addr_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.4 Relationships between the channels Monitor Check that read data must always follow address to which the data relates! svt_axi_checker
AXI3 Onwards Interface Requirements write_resp_after_write_addr_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.4 Relationships between the channels Monitor Check that a slave must not transmit the write response before the corresponding address is accepted! svt_axi_checker
AXI3 Onwards Interface Requirements write_resp_after_last_wdata_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.4 Relationships between the channels Monitor Check that a slave must only give a write response after the last write data item is transferred ! svt_axi_checker
AXI3 Onwards Interface Requirements wdata_awlen_match_for_corresponding_awaddr_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.4 Relationships between the channels Monitor Check that the number of write data items matches AWLEN for the corresponding address! svt_axi_checker
AXI3 Onwards Transaction Attributes arvalid_arcache_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A5.2 Memory Attributes Monitor Check that ARCACHE[3:2] is 2'b00 when ARVALID is HIGH and ARCACHE[1] is LOW ! svt_axi_checker
AXI3 Onwards Interface Requirements arburst_reserved_val_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.4 Burst attribute,A4.9 Monitor Check that a value of 2'b11 on ARBURST is not permitted when ARVALID is HIGH ! svt_axi_checker
AXI3 Onwards Interface Requirements arsize_data_width_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.1 Size attribute Monitor Check that a Read transfer does not exceed the width of the data interface! svt_axi_checker
AXI3 Onwards Interface Requirements arlen_wrap_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.4 Burst attribute Monitor Check that a Read Transaction with burst type WRAP has a valid burst length! svt_axi_checker
AXI3 Onwards Interface Requirements araddr_wrap_aligned_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.4 Burst attribute Monitor Check that a Read Transaction with burst type WRAP has an aligned address! svt_axi_checker
AXI3 Onwards Interface Requirements araddr_4k_boundary_cross_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.2 Length attribute Monitor Check that a Read burst cannot cross a 4K boundary! svt_axi_checker
AXI3 Onwards Transaction Attributes awvalid_awcache_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A5.2 Memory Attributes Monitor Check that AWCACHE[3:2] is 2'b00 when AWVALID is HIGH and AWCACHE[1] is LOW ! svt_axi_checker
AXI3 Onwards Interface Requirements awburst_reserved_val_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.4 Burst attribute,A4.9 Monitor Check that a value of 2'b11 on AWBURST is not permitted when AWVALID is HIGH ! svt_axi_checker
AXI3 Onwards Interface Requirements awsize_data_width_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.1 Size attribute Monitor Check that size of a transfer does not exceed the width of the data interface! svt_axi_checker
AXI3 Onwards Interface Requirements valid_write_strobe_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.2.1 Write strobes Monitor Check that valid Write Strobes are driven for each data beat! svt_axi_checker
AXI3 Onwards Interface Requirements awlen_wrap_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.4 Burst attribute Monitor Check that a Write Transaction with burst type WRAP has a valid burst length! svt_axi_checker
AXI3 Onwards Interface Requirements awaddr_wrap_aligned_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.4 Burst attribute Monitor Check that a Write Transaction with burst type WRAP has an aligned address! svt_axi_checker
AXI3 Onwards Interface Requirements awaddr_4k_boundary_cross_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A4.1.2 Length attribute Monitor Check that a write burst cannot cross a 4K boundary! svt_axi_checker
AXI3 Onwards Reset bvalid_low_when_reset_is_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for BVALID low when reset is active! svt_axi_checker
AXI3 Onwards Reset wvalid_low_when_reset_is_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for WVALID low when reset is active! svt_axi_checker
AXI3 Onwards Reset awvalid_low_when_reset_is_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for AWVALID low when reset is active! svt_axi_checker
AXI3 Onwards Reset rvalid_low_when_reset_is_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for RVALID low when reset is active! svt_axi_checker
AXI3 Onwards Reset arvalid_low_when_reset_is_active_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for ARVALID low when reset is active! svt_axi_checker
AXI3 Onwards Outstanding max_num_outstanding_xacts_check Synopsys Defined:Synopsys Defined Checks that AXI master and AXI slave are not exceeding the user configured maximum number of outstanding transactions svt_axi_checker
AXI3 Onwards Signal Stability bvalid_interrupted_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.5.1 Write transaction dependencies Monitor Check for BVALID held steady until BREADY is asserted! svt_axi_checker
AXI3 Onwards Signal Stability wvalid_interrupted_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.5.1 Write transaction dependencies Monitor Check for WVALID held steady until WREADY is asserted! svt_axi_checker
AXI3 Onwards Signal Stability awvalid_interrupted_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.5.1 Write transaction dependencies Monitor Check for AWVALID held steady until AWREADY is asserted! svt_axi_checker
AXI3 Onwards Signal Stability rvalid_interrupted_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.5.2 Read transaction dependencies Monitor Check for RVALID held steady until RREADY is asserted! svt_axi_checker
AXI3 Onwards Signal Stability arvalid_interrupted_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.5.2 Read transaction dependencies Monitor Check for ARVALID held steady until ARREADY is asserted! svt_axi_checker
AXI3 Onwards Reset signal_valid_bready_check_during_reset AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.3.3 Write response channel (B) Monitor Check for X or Z on BREADY During Reset! svt_axi_checker
AXI3 Onwards Reset signal_valid_wready_check_during_reset AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.3.2 Write data channel (W) Monitor Check for X or Z on WREADY During Reset! svt_axi_checker
AXI3 Onwards Reset signal_valid_awready_check_during_reset AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.3.1 Write request channel (AW) Monitor Check for X or Z on AWREADY During Reset! svt_axi_checker
AXI3 Onwards Reset signal_valid_rready_check_during_reset AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.3.5 Read data channel (R) Monitor Check for X or Z on RREADY During Reset! svt_axi_checker
AXI3 Onwards Reset signal_valid_arready_check_during_reset AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.3.4 Read request channel (AR) Monitor Check for X or Z on ARREADY During Reset! svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_bready_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.3 Write response channel,A2.3 Monitor Check for X or Z on BREADY! svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_wready_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor Check for X or Z on WREADY! svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_awready_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor Check for X or Z on AWREADY! svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_rready_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor Check for X or Z on RREADY! svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_arready_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor Check for X or Z on ARREADY! svt_axi_checker
AXI3 Onwards Reset signal_valid_aresetn_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for X or Z on ARESETn! svt_axi_checker
AXI3 Onwards Reset signal_valid_bvalid_check_during_reset AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for X or Z on BVALID During Reset! svt_axi_checker
AXI3 Onwards Reset signal_valid_wvalid_check_during_reset AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for X or Z on WVALID During Reset! svt_axi_checker
AXI3 Onwards Reset signal_valid_awvalid_check_during_reset AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for X or Z on AWVALID During Reset! svt_axi_checker
AXI3 Onwards Reset signal_valid_rvalid_check_during_reset AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for X or Z on RVALID During Reset! svt_axi_checker
AXI3 Onwards Reset signal_valid_arvalid_check_during_reset AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A3.1.2 Reset Monitor Check for X or Z on ARVALID During Reset! svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_bvalid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.3 Write response channel,A2.3 Monitor Check for X or Z on BVALID! svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_wvalid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor Check for X or Z on WVALID! svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_awvalid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor Check for X or Z on AWVALID! svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_rvalid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor Check for X or Z on RVALID! svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_arvalid_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor Check for X or Z on ARVALID! svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_bresp_when_bvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.3 Write response channel,A2.3 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_bid_when_bvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.3 Write response channel,A2.3 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_bready_when_bvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.3 Write response channel,A2.3 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_bresp_when_bvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.3 Write response channel,A2.3 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_bid_when_bvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.3 Write response channel,A2.3 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_stable_wstrb_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_wdata_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_wready_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_wstrb_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_wdata_when_wvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.2 Write data channel,A2.2 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_awprot_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_awaddr_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_awid_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_awready_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_awprot_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_awaddr_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_awid_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_rresp_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_rdata_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_rid_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_rready_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_rresp_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_rdata_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_rid_when_rvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.2 Read data channel,A2.5 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_arprot_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_araddr_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Stability signal_stable_arid_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_arready_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_arprot_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_araddr_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3 Onwards Signal Validity signal_valid_arid_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,AXI5,ACE5_Lite Read interleaving property read_data_interleave_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A6.6.1 Read data interleaving,A6.8 Monitor check that Master VIP has recieved interleaved read data though the svt_axi_port_configuration::read_interleaving_disabled is set to 1 svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_awsize_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_awsize_when_awvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.1.1 Write request channel,A2.1 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Stability signal_stable_arsize_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI3,AXI4,ACE,ACE_Lite,AXI5,AXI5_Lite,ACE5,ACE5_Lite,ACE5_LiteDVM Signal Validity signal_valid_arsize_when_arvalid_high_check AMBA AXI Protocol Specification ARM IHI 0022 Issue K:A2.2.1 Read request channel,A2.4 Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Packet Checks max_stream_burst_length_exceeded_check Synopsys Defined:Synopsys Defined The burst length of received data stream should not exceed the maximum value allowed for stream_burst_length svt_axi_checker
AXI4_STREAM,AXI5_STREAM Packet Checks tid_or_tdest_change_before_tlast_assertion AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.6 Packet boundaries The TID or TDEST must not change before the packet end, that is before TLAST assertion as all bytes within a packet are from the same source and for the same destination and have the same TID and TDEST values svt_axi_checker
AXI4_STREAM,AXI5_STREAM Interleaving Checks stream_interleave_depth_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:4.1 Transfer interleaving If a Receiver has a limited interleaving capability then the received data stream must not get interleaved beyond stream_interleave_depth value svt_axi_checker
AXI4_STREAM,AXI5_STREAM Byte Checks tstrb_low_when_tkeep_low_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.5.3 TKEEP and TSTRB combinations TSTRB must be low when corresponding TKEEP is low svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Stability tvalid_interrupted_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.2 Handshake signaling Once TVALID is asserted, it must remain asserted until the handshake occurs svt_axi_checker
AXI4_STREAM,AXI5_STREAM Reset Checks tvalid_low_when_reset_is_active_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.8.2 Reset During reset, TVALID must be driven LOW svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Stability signal_stable_tdest_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.2.1 Handshake with TVALID asserted before TREADY Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Stability signal_stable_tuser_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.2.1 Handshake with TVALID asserted before TREADY Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Stability signal_stable_tid_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.2.1 Handshake with TVALID asserted before TREADY Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Stability signal_stable_tlast_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.2.1 Handshake with TVALID asserted before TREADY Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Stability signal_stable_tkeep_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.2.1 Handshake with TVALID asserted before TREADY Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Stability signal_stable_tstrb_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.2.1 Handshake with TVALID asserted before TREADY Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Stability signal_stable_tdata_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.2.1 Handshake with TVALID asserted before TREADY Monitor check for signal stability when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Validity signal_valid_tdest_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.1 Signal list Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Validity signal_valid_tuser_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.1 Signal list Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Validity signal_valid_tid_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.1 Signal list Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Validity signal_valid_tlast_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.1 Signal list Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Validity signal_valid_tkeep_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.1 Signal list Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Validity signal_valid_tstrb_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.1 Signal list Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Validity signal_valid_tdata_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.1 Signal list Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Validity signal_valid_tready_when_tvalid_high_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.1 Signal list Monitor check for X or Z on signal when corresponding valid signal is high svt_axi_checker
AXI4_STREAM,AXI5_STREAM Signal Validity signal_valid_tvalid_check AMBA AXI-Stream Protocol Specification ARM IHI 0051B ID040921:2.1 Signal list TVALID must not be X/Z svt_axi_checker