How to download VIP smartsearch?
DESIGNWARE_HOMEto required designware home location where VIP Smartsearch should be downloaded.
vip_smartsearch_<version>.runfile.
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
How to install VIP Smartsearch?
Please refer to the fileVIP_Smartsearch_installation_and_usage_guide.pdfin
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>for installation steps.
Customer Support
For more details about VIP smartsearch tool, contact support_center@synopsys.com.Summary of Coverage defined in AXI SVT OVM Documentation:
| Group | Subgroup | Covergroup | Coverpoints | Bins | Description |
|---|---|---|---|---|---|
| AXI_PORT_MON_ATOMICTYPE_RESP | AXI_PORT_MON_ATOMICTYPE_RRESP | trans_cross_axi_atomictype_rresp |
|
Covergroup: trans_cross_axi_atomictype_rresp
This Covergroup triggers response type for atomic transactions. It is constructed and sampled when trans_cross_axi_atomictype_rresp_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ATOMICTYPE_RESP | AXI_PORT_MON_ATOMICTYPE_BRESP | trans_cross_axi_atomictype_bresp |
|
Covergroup: trans_cross_axi_atomictype_bresp
This covergroup is triggered when a exclusive Write transaction with bresp of okay/exokay is observed. It is constructed and sampled when interface category type is not AXI_READ_ONLY & trans_cross_axi_atomictype_bresp_enable is asserted. Coverpoints:
|
|
| AXI_PORT_MON_SEQUENCE | AXI_PORT_MON_FIXED_BURST | trans_cross_axi_fixed_burst_wstrb |
|
Covergroup: trans_cross_axi_fixed_burst_wstrb
This cover group crosses AXI Fixed burst type with write strobe It is constructed and sampled when interface type category is not AXI_READ_ONLY and trans_cross_axi_fixed_burst_wstrb_cov_enable is asserted. Covers the cross of fixed burst type, & WSTRB Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_SEQUENCE | AXI_PORT_MON_EXCL_NORMAL_SEQUENCE | axi_four_excl_normal_sequence |
|
Covergroup: axi_four_excl_normal_sequence
This cover group covers specific combinations of exclusive and normal
transactions, for a sequence of four transactions. For eg.
Excl-Normal-Excl-Normal,Normal-Normal-Excl-Normal etc.
It is constructed when interface type category is AXI_READ_WRITE and trans_axi_four_excl_normal_sequence_cov_enable and exclusive_access_enable is asserted.
|
|
| AXI_PORT_MON_SEQUENCE | AXI_PORT_MON_RD_WR_BURST_SEQUENCE | axi_four_state_rd_wr_burst_sequence |
|
Covergroup: axi_four_state_rd_wr_burst_sequence
This cover group covers specific combinations of read and write
transactions, for a sequence of four transactions. For eg.
Write-Write-Write-Write or Write-Read-Write-Read, etc. This covergroup is
hit when address phase completion of four transactions are observed in a
specific combination as described above. When address phases of READ and
WRITE transactions get completed at same time, it is not deterministic
whether it is a read-write or write-read scenario. In such situation,
either sequence containing read-write or write-read may get hit.
It is constructed when interface type category is AXI_READ_WRITE and trans_axi_four_state_rd_wr_burst_sequence_cov_enable is asserted.
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section A:3.4.1 |
|
| AXI_PORT_MON_SEQUENCE | AXI_PORT_MON_READ_BURST_SEQUENCE | axi_back_to_back_read_burst_sequence |
|
Covergroup: axi_back_to_back_read_burst_sequence
Coverage group for covering Back To Back READ BURST. This covergroup is triggered when address phase of first READ xact has completed and immediately next clock address phase of second READ xact has started. It is constructed when interface type category is not AXI_WRITE_ON;Y andtrans_axi_back_to_back_read_burst_sequence_enable is asserted. Bins hit for back to back read burst sequence |
|
| AXI_PORT_MON_SEQUENCE | AXI_PORT_MON_WRITE_BURST_SEQUENCE | axi_back_to_back_write_burst_sequence |
|
Covergroup: axi_back_to_back_write_burst_sequence
Coverage group for covering Back To Back WRITE BURST. This covergroup is triggered when address phase of first WRITE xact has completed and immediately next clock address phase of second WRITE xact has started. It is constructed when interface type category is not AXI_READ_ONLY andtrans_axi_back_to_back_write_burst_sequence_enable is asserted. Bins hit for back to back write burst sequence |
|
| AXI_PORT_MON_SEQUENCE | AXI_PORT_MON_WRITE_READ_SAMEID_OUT_OF_ORDER | axi_write_read_diff_id_completed_out_of_order |
|
Covergroup: axi_write_read_diff_id_completed_out_of_order
Coverage group for covering Read/Write Completed out of order with ARID != AWID This Covergroup is triggere for both read and write xact completed out of order. It is constructed when interface type category is AXI_READ_WRITE and trans_axi_write_read_diff_id_completed_out_of_order_enable is asserted. |
|
| AXI_PORT_MON_SEQUENCE | AXI_PORT_MON_WRITE_READ_DIFFID_OUT_OF_ORDER | axi_write_read_same_id_completed_out_of_order |
|
Covergroup: axi_write_read_same_id_completed_out_of_order
Coverage group for covering Read/Write Completed out of order with ARID==AWID. It is constructed when interface type category is AXI_READ_WRITE and trans_axi_write_read_same_id_completed_out_of_order_enable. |
|
| AXI_PORT_MON_SEQUENCE | AXI_PORT_MON_OUT_OF_ORDER_READ_RESP | trans_cross_axi_out_of_order_read_resp_count |
|
Covergroup : trans_cross_axi_out_of_order_read_resp_count
This Covergroup is for covering read_resp out_of_order count. It is constructed when interface type category is not AXI_WRITE_ONLY. Coverpoint :
|
|
| AXI_PORT_MON_SEQUENCE | AXI_PORT_MON_OUT_OF_ORDER_WRITE_RESP | trans_cross_axi_out_of_order_write_resp_count |
|
Covergroup : trans_cross_axi_out_of_order_write_resp_count
This Covergroup is for covering write_resp out_of_order count. It is constructed when interface type category is not AXI_READ_ONLY Coverpoint:
|
|
| AXI_PORT_MON_UNALIGNED_ADDRESS | AXI_PORT_MON_WSTRB_UNALIGNED_ADDRESS | axi_wstrb_to_signal_unaligned_start_address |
|
Covergroup: axi_wstrb_to_signal_unaligned_start_address
This cover group covers the scenario in which a master can provide an aligned address to a write transaction, and use the write strobes to indicate unaligned start address. It is constructed when trans_axi_wstrb_to_signal_unaligned_start_address_cov_enable is asserted.
|
|
| AXI_PORT_MON_UNALIGNED_ADDRESS | AXI_PORT_MON_ARCACHE_MODIFIABLE_UNALIGNED_TRANSFER_AXI3 | trans_cross_axi3_arcache_modifiable_bit_read_unaligned_transfer |
|
Covergroup: trans_cross_axi3_arcache_modifiable_bit_read_unaligned_transfer
This cover group crosses bit ARCACHE[1] with unaligned read transfers. It is constructed and sampled when interface type is AXI3 and trans_cross_axi_arcache_modifiable_bit_read_unaligned_transfer_cov_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_UNALIGNED_ADDRESS | AXI_PORT_MON_ARCACHE_MODIFIABLE_UNALIGNED_TRANSFER_AXI4 | trans_cross_axi4_arcache_modifiable_bit_read_unaligned_transfer |
|
Covergroup: trans_cross_axi4_arcache_modifiable_bit_read_unaligned_transfer
This cover group crosses bit ARCACHE[1] with unaligned read transfers. It is constructed and sampled when interface type is AXI4 and trans_cross_axi_arcache_modifiable_bit_read_unaligned_transfer_cov_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_UNALIGNED_ADDRESS | AXI_PORT_MON_AWCACHE_MODIFIABLE_UNALIGNED_TRANSFER | trans_cross_axi3_awcache_modifiable_bit_write_unaligned_transfer |
|
Covergroup: trans_cross_axi_awcache_modifiable_bit_write_unaligned_transfer
This cover group crosses bit AWCACHE[1] with unaligned write transfers. It is constructed and sampled when interface type is AXI3 and trans_cross_axi_awcache_modifiable_bit_write_unaligned_transfer_cov_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_UNALIGNED_ADDRESS | AXI_PORT_MON_AWCACHE_MODIFIABLE_UNALIGNED_TRANSFER_AXI4 | trans_cross_axi4_awcache_modifiable_bit_write_unaligned_transfer |
|
Covergroup: trans_cross_axi_awcache_modifiable_bit_write_unaligned_transfer
This cover group crosses bit AWCACHE[1] with unaligned write transfers. It is constructed and sampled when interface type is AXI4 and trans_cross_axi_awcache_modifiable_bit_write_unaligned_transfer_cov_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_OUTSTANDING_XACT_MODIFIABLE | AXI_PORT_READ_OUTSTANDING_XACT_MODIFIABLE | trans_axi_read_outstanding_xact_same_arid_cache_modifiable_bit |
|
Covergroup:trans_axi_read_outstanding_xact_same_arid_cache_modifiable_bit
This coverpoint covers the scenario in which master can issue multiple outstanding READ transactions with same ARID,taking ARCACHE Modifiable bit into consideration. It is constructed and sampled when trans_axi_read_outstanding_xact_same_arid_cache_modifiable_bit_enable is asserted. Bins are interpreted as follows:
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613 ; section A5.1 |
|
| AXI_PORT_OUTSTANDING_XACT_MODIFIABLE | AXI_PORT_READ_OUTSTANDING_XACT_ARID_MODIFIABLE | trans_axi_read_outstanding_xact_diff_arid_cache_modifiable_bit |
|
Covergroup:trans_axi_read_outstanding_xact_diff_arid_cache_modifiable_bit
This coverpoint covers the scenario in which master can issue multiple outstanding READ transactions with different ARID,taking ARCACHE Modifiable bit into consideration. It is constructed and sampled when trans_axi_read_outstanding_xact_diff_arid_cache_modifiable_bit_enable is asserted. Coverpoints:read_outstanding_xact_diff_arid_cache_modifiable_bit Bins are interpreted as follows:
|
|
| AXI_PORT_OUTSTANDING_XACT_MODIFIABLE | AXI_PORT_READ_OUTSTANDING_XACT_ARID_DEVICE | trans_axi_read_outstanding_xact_diff_arid_device_cacheable_bit |
|
Covergroup:trans_axi_read_outstanding_xact_diff_arid_device_cacheable_bit
This coverpoint covers the scenario in which master can issue multiple outstanding READ transactions with different ARID,taking memory types by ARCACHE[3:0] into considera* It is constructed when trans_axi_read_outstanding_xact_diff_arid_cache_modifiable_bit_enable is asserted. It is constructed and sampled when trans_axi_read_outstanding_xact_diff_arid_device_cacheable_bit_enable is asserted. Coverpoints:read_outstanding_xact_diff_arid_device_cacheable_bit Bins are interpreted as follows:
|
|
| AXI_PORT_OUTSTANDING_XACT_MODIFIABLE | AXI_PORT_WRITE_OUTSTANDING_XACT_AWID_MODIFIABLE | trans_axi_write_outstanding_xact_diff_awid_cache_modifiable_bit |
|
Covergroup:trans_axi_write_outstanding_xact_diff_awid_cache_modifiable_bit
This coverpoint covers the scenario in which master can issue multiple outstanding WRITE transactions with diff AWID's,taking AWCACHE Modifiable bit into consideration. It is constructed and sampled when trans_axi_write_outstanding_xact_diff_awid_cache_modifiable_bit_enable is asserted. Coverpoints:write_outstanding_xact_diff_awid_cache_modifiable_bit Bins are interpreted as follows:
|
|
| AXI_PORT_OUTSTANDING_XACT_MODIFIABLE | AXI_PORT_WRITE_OUTSTANDING_XACT_SAME_AWID_MODIFIABLE | trans_axi_write_outstanding_xact_same_awid_cache_modifiable_bit |
|
Covergroup:trans_axi_write_outstanding_xact_same_awid_cache_modifiable_bit
This coverpoint covers the scenario in which master can issue multiple outstanding WRITE transactions with same AWID's,taking AWCACHE Modifiable bit into consideration. It is constructed when trans_axi_write_outstanding_xact_same_awid_cache_modifiable_bit_enable is asserted. Coverpoints:write_outstanding_xact_same_awid_cache_modifiable_bit Bins are interpreted as follows:
|
|
| AXI_PORT_OUTSTANDING_XACT_MODIFIABLE | AXI_PORT_WRITE_OUTSTANDING_XACT_AWID_DEVICE | trans_axi_write_outstanding_xact_diff_awid_device_cacheable_bit |
|
Covergroup:trans_axi_write_outstanding_xact_diff_awid_device_cacheable_bit
This coverpoint covers the scenario in which master can issue multiple outstanding WRITE transactions with different AWID,taking memory types by AWCACHE[3:0] into consideration. It is constructed and sampled when trans_axi_write_outstanding_xact_diff_awid_device_cacheable_bit_enable is asserted. Coverpoints:write_outstanding_xact_diff_awid_device_cacheable_bit Bins are interpreted as follows:
|
|
| ACE_PORT_MON_ARPROT_ARBARRIER | -- | trans_cross_ace_arprot_arbarrier_memory_sync |
|
Covergroup: trans_cross_ace_arprot_arbarrier_memory_sync
It is constructed and sampled when trans_cross_ace_arprot_arbarrier_memory_sync_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| ACE_PORT_MON_AWPROT_AWBARRIER | -- | trans_cross_ace_awprot_awbarrier_memory_sync |
|
Covergroup: trans_cross_ace_awprot_awbarrier_memory_sync
It is constructed and sampled when trans_cross_ace_awprot_awbarrier_memory_sync_enable is asserted. Coverpoints:
|
|
| ACE_PORT_MON_ARDOMAIN_ARPROT | -- | trans_cross_ace_readonce_ardomain_arprot |
|
Covergroup: trans_cross_ace_readonce_ardomain_arprot
It is constructed and sampled when trans_cross_ace_readonce_ardomain_arprot_enable is asserted. Coverpoints:
|
|
| ACE_PORT_MON_AWDOMAIN_AWPROT | -- | trans_cross_ace_writeunique_awdomain_awprot |
|
Covergroup: trans_cross_ace_writeunique_awdomain_awprot
It is constructed and sampled when trans_cross_ace_writeunique_awdomain_awprot_enable is asserted Coverpoints:
|
|
| AXI_PORT_MON_ATOMICTYPE_CACHE | AXI_PORT_MON_ATOMICTYPE_ARCACHE_AXI3 | trans_cross_axi_atomictype_exclusive_arcache_axi3 |
|
Covergroup: trans_cross_axi_atomictype_exclusive_arcache_axi3
This covergroup is cross coverage of READ Exclusive Access with all legel ARCache values. The legal ARCACHE values for exclusive read access are
Cross coverpoints:
|
|
| AXI_PORT_MON_ATOMICTYPE_CACHE | AXI_PORT_MON_ATOMICTYPE_ARCACHE_AXI4 | trans_cross_axi_atomictype_exclusive_arcache_axi4 |
|
Covergroup: trans_cross_axi_atomictype_exclusive_arcache_axi4
This covergroup is cross coverage of READ Exclusive Access with all legel ARCache values. The legal ARCACHE values for exclusive read access are
Cross coverpoints:
|
|
| AXI_PORT_MON_ATOMICTYPE_CACHE | AXI_PORT_MON_ATOMICTYPE_AWCACHE_EXCLUSIVE_AXI4 | trans_cross_axi_atomictype_exclusive_awcache_axi4 |
|
Covergroup: trans_cross_axi_atomictype_exclusive_awcache_axi4
This covergroup is cross coverage of WRITE Exclusive Access with all legel AWCache values for exclusive access. The legal AWCACHE values for exclusive write access are
Cross coverpoints:
|
|
| AXI_PORT_MON_ATOMICTYPE_CACHE | AXI_PORT_MON_ATOMICTYPE_AWCACHE_EXCLUSIVE_AXI3 | trans_cross_axi_atomictype_exclusive_awcache_axi3 |
|
Covergroup: trans_cross_axi_atomictype_exclusive_awcache_axi3
This covergroup is cross coverage of WRITE Exclusive Access with all legel AWCache values for exclusive access. The legal AWCACHE values for exclusive write access are
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_BRANCH_INVL_VIRT_MSB63TO16 | trans_cross_ace_dvm_branch_predictor_invl_modes_virtaddr_msb63to16 |
|
Covergroup: trans_cross_ace_dvm_branch_predictor_invl_modes_virtaddr_msb63to16
This covergroup is cross coverage of DVM Branch Predictor invalidate message type, invalidate address modes and virtual address range. The virtual address width is 48 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_branch_predictor_invl_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_BRANCH_INVL_VIRT_MSB55TO16 | trans_cross_ace_dvm_branch_predictor_invl_modes_virtaddr_msb55to16 |
|
Covergroup: trans_cross_ace_dvm_branch_predictor_invl_modes_virtaddr_msb55to16
This covergroup is cross coverage of DVM Branch Predictor invalidate message type, invalidate address modes and virtual address range. The virtual address width is 40 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_branch_predictor_invl_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_BRANCH_INVL_VIRT_MSB47TO16 | trans_cross_ace_dvm_branch_predictor_invl_modes_virtaddr_msb47to16 |
|
Covergroup: trans_cross_ace_dvm_branch_predictor_invl_modes_virtaddr_msb47to16
This covergroup is cross coverage of DVM Branch Predictor invalidate message type, invalidate address modes and virtual address range. The virtual address width is 32 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_branch_predictor_invl_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_BRANCH_INVL_VIRT_MSB43TO16 | trans_cross_ace_dvm_branch_predictor_invl_modes_virtaddr_msb43to16 |
|
Covergroup: trans_cross_ace_dvm_branch_predictor_invl_modes_virtaddr_msb43to16
This covergroup is cross coverage of DVM Branch Predictor invalidate message type, invalidate address modes and virtual address range. The virtual address width is 28 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_branch_predictor_invl_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_BRANCH_INVL_VIRT_MSB39TO16 | trans_cross_ace_dvm_branch_predictor_invl_modes_virtaddr_msb39to16 |
|
Covergroup: trans_cross_ace_dvm_branch_predictor_invl_modes_virtaddr_msb39to16
This covergroup is cross coverage of DVM Branch Predictor invalidate message type, invalidate address modes and virtual address range. The virtual address width is 24 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_branch_predictor_invl_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_PHY_CACHE_VIRT_MSB63TO16 | trans_cross_ace_dvm_phy_inst_cache_invl_modes_virtaddr_msb63to16 |
|
Covergroup: trans_cross_ace_dvm_phy_inst_cache_invl_modes_virtaddr_msb63to16
This covergroup is cross coverage of DVM Physical Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 48 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_phy_inst_cache_invl_modes_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_PHY_CACHE_VIRT_MSB55TO16 | trans_cross_ace_dvm_phy_inst_cache_invl_modes_virtaddr_msb55to16 |
|
Covergroup: trans_cross_ace_dvm_phy_inst_cache_invl_modes_virtaddr_msb55to16
This covergroup is cross coverage of DVM Physical Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 40 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_phy_inst_cache_invl_modes_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_PHY_CACHE_VIRT_MSB47TO16 | trans_cross_ace_dvm_phy_inst_cache_invl_modes_virtaddr_msb47to16 |
|
Covergroup: trans_cross_ace_dvm_phy_inst_cache_invl_modes_virtaddr_msb47to16
This covergroup is cross coverage of DVM Physical Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 32 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_phy_inst_cache_invl_modes_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_PHY_CACHE_VIRT_MSB43TO16 | trans_cross_ace_dvm_phy_inst_cache_invl_modes_virtaddr_msb43to16 |
|
Covergroup: trans_cross_ace_dvm_phy_inst_cache_invl_modes_virtaddr_msb43to16
This covergroup is cross coverage of DVM Physical Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 28 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_phy_inst_cache_invl_modes_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_PHY_CACHE_VIRT_MSB39TO16 | trans_cross_ace_dvm_phy_inst_cache_invl_modes_virtaddr_msb39to16 |
|
Covergroup: trans_cross_ace_dvm_phy_inst_cache_invl_modes_virtaddr_msb39to16
This covergroup is cross coverage of DVM Physical Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 24 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_phy_inst_cache_invl_modes_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_CACHE_VIRT_MSB63TO16 | trans_cross_ace_dvm_virt_inst_cache_invl_modes_virtaddr_msb63to16 |
|
Covergroup: trans_cross_ace_dvm_virt_inst_cache_invl_modes_virtaddr_msb63to16
This covergroup is cross coverage of DVM Virtual Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 48 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_virt_inst_cache_invl_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_CACHE_VIRT_MSB55TO16 | trans_cross_ace_dvm_virt_inst_cache_invl_modes_virtaddr_msb55to16 |
|
Covergroup: trans_cross_ace_dvm_virt_inst_cache_invl_modes_virtaddr_msb55to16
This covergroup is cross coverage of DVM Virtual Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 40 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_virt_inst_cache_invl_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_CACHE_VIRT_MSB47TO16 | trans_cross_ace_dvm_virt_inst_cache_invl_modes_virtaddr_msb47to16 |
|
Covergroup: trans_cross_ace_dvm_virt_inst_cache_invl_modes_virtaddr_msb47to16
This covergroup is cross coverage of DVM Virtual Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 32 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_virt_inst_cache_invl_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_CACHE_VIRT_MSB43TO16 | trans_cross_ace_dvm_virt_inst_cache_invl_modes_virtaddr_msb43to16 |
|
Covergroup: trans_cross_ace_dvm_virt_inst_cache_invl_modes_virtaddr_msb43to16
This covergroup is cross coverage of DVM Virtual Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 28 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_virt_inst_cache_invl_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_CACHE_VIRT_MSB39TO16 | trans_cross_ace_dvm_virt_inst_cache_invl_modes_virtaddr_msb39to16 |
|
Covergroup: trans_cross_ace_dvm_virt_inst_cache_invl_modes_virtaddr_msb39to16
This covergroup is cross coverage of DVM Virtual Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 24 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_virt_inst_cache_invl_modes_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_FIRSTPART_ADDR_MSB63TO16 | trans_cross_ace_dvm_firstpart_addr_range_msb63to16 |
|
Covergroup: trans_cross_ace_dvm_firstpart_addr_range_msb63to16
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[63:32] and ARADDR[31:16]. The total virtual address width is 48 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_FIRSTPART_ADDR_MSB55TO16 | trans_cross_ace_dvm_firstpart_addr_range_msb55to16 |
|
Covergroup: trans_cross_ace_dvm_firstpart_addr_range_msb55to16
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[55:32] and ARADDR[31:16]. The total Virtual address width is 40 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_FIRSTPART_ADDR_MSB47TO16 | trans_cross_ace_dvm_firstpart_addr_range_msb47to16 |
|
Covergroup: trans_cross_ace_dvm_firstpart_addr_range_msb47to16
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[47:32] and ARADDR[31:16]. The total virtual address width is 32 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_FIRSTPART_ADDR_MSB43TO16 | trans_cross_ace_dvm_firstpart_addr_range_msb43to16 |
|
Covergroup: trans_cross_ace_dvm_firstpart_addr_range_msb43to16
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[43:32] and ARADDR[31:16]. The total virtual address width is 28 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_FIRSTPART_ADDR_MSB39TO16 | trans_cross_ace_dvm_firstpart_addr_range_msb39to16 |
|
Covergroup: trans_cross_ace_dvm_firstpart_addr_range_msb39to16
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[39:32] and ARADDR[31:16]. The total virtual address width is 24 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_FIRSTPART_SECONDPART_ADDR_64 | trans_cross_ace_dvm_firstpart_secondpart_addr_range_64 |
|
Covergroup: trans_cross_ace_dvm_firstpart_secondpart_addr_range_64
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[63:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[63:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_FIRSTPART_SECONDPART_ADDR_56 | trans_cross_ace_dvm_firstpart_secondpart_addr_range_56 |
|
Covergroup: trans_cross_ace_dvm_firstpart_secondpart_addr_range_56
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[55:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[55:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_FIRSTPART_SECONDPART_ADDR_48 | trans_cross_ace_dvm_firstpart_secondpart_addr_range_48 |
|
Covergroup: trans_cross_ace_dvm_firstpart_secondpart_addr_range_48
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[47:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[47:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_FIRSTPART_SECONDPART_ADDR_44 | trans_cross_ace_dvm_firstpart_secondpart_addr_range_44 |
|
Covergroup: trans_cross_ace_dvm_firstpart_secondpart_addr_range_44
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[43:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[43:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_DVM_MODES | AXI_PORT_MON_ACE_DVM_FIRSTPART_SECONDPART_ADDR_40 | trans_cross_ace_dvm_firstpart_secondpart_addr_range_40 |
|
Covergroup: trans_cross_ace_dvm_firstpart_secondpart_addr_range_40
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[39:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[39:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_MODES_MSB63TO16 | trans_cross_ace_snoop_dvm_tlbinvl_modes_virtaddr_msb63to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_tlbinvl_modes_virtaddr_msb63to16
This covergroup is cross coverage of snoop DVM TLB Invalidate message type, invalidate address modes and virtual address range. The virtual address width is 48 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_MODES_MSB55TO16 | trans_cross_ace_snoop_dvm_tlbinvl_modes_virtaddr_msb55to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_tlbinvl_modes_virtaddr_msb55to16
This covergroup is cross coverage of snoop DVM TLB Invalidate message type, invalidate address modes and virtual address range. The virtual address width is 40 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_MODES_MSB43TO16 | trans_cross_ace_snoop_dvm_tlbinvl_modes_virtaddr_msb43to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_tlbinvl_modes_virtaddr_msb43to16
This covergroup is cross coverage of snoop DVM TLB Invalidate message type, invalidate address modes and virtual address range. The virtual address width is 28 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_MODES_MSB39TO16 | trans_cross_ace_snoop_dvm_tlbinvl_modes_virtaddr_msb39to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_tlbinvl_modes_virtaddr_msb39to16
This covergroup is cross coverage ofsnoop DVM TLB Invalidate message type, invalidate address modes and virtual address range. The virtual address width is 24 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_PHY_MODES_MSB47TO16 | trans_cross_ace_snoop_dvm_phy_inst_cache_invl_modes_virtaddr_msb47to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_phy_inst_cache_invl_modes_virtaddr_msb47to16
This covergroup is cross coverage of snoop DVM Physical Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 32 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_phy_inst_cache_invl_modes_modes_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_PHY_MODES_MSB63TO16 | trans_cross_ace_snoop_dvm_phy_inst_cache_invl_modes_virtaddr_msb63to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_phy_inst_cache_invl_modes_virtaddr_msb63to16
This covergroup is cross coverage of snoop DVM Physical Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 48 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_phy_inst_cache_invl_modes_modes_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_PHY_MODES_MSB55TO16 | trans_cross_ace_snoop_dvm_phy_inst_cache_invl_modes_virtaddr_msb55to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_phy_inst_cache_invl_modes_virtaddr_msb55to16
This covergroup is cross coverage of snoop DVM Physical Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 40 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_phy_inst_cache_invl_modes_modes_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_PHY_MODES_MSB43TO16 | trans_cross_ace_snoop_dvm_phy_inst_cache_invl_modes_virtaddr_msb43to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_phy_inst_cache_invl_modes_virtaddr_msb43to16
This covergroup is cross coverage of snoop DVM Physical Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 28 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_phy_inst_cache_invl_modes_modes_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_PHY_MODES_MSB39TO16 | trans_cross_ace_snoop_dvm_phy_inst_cache_invl_modes_virtaddr_msb39to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_phy_inst_cache_invl_modes_virtaddr_msb39to16
This covergroup is cross coverage of snoop DVM Physical Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 24 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_phy_inst_cache_invl_modes_modes_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_VIRT_MODES_MSB63TO16 | trans_cross_ace_snoop_dvm_virt_inst_cache_invl_modes_virtaddr_msb63to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_virt_inst_cache_invl_modes_virtaddr_msb63to16
This covergroup is cross coverage of snoop DVM Virtual Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 48 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_virt_inst_cache_invl_modes_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_VIRT_MODES_MSB55TO16 | trans_cross_ace_snoop_dvm_virt_inst_cache_invl_modes_virtaddr_msb55to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_virt_inst_cache_invl_modes_virtaddr_msb55to16
This covergroup is cross coverage of snoop DVM Virtual Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 40 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_virt_inst_cache_invl_modes_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_VIRT_MODES_MSB47TO16 | trans_cross_ace_snoop_dvm_virt_inst_cache_invl_modes_virtaddr_msb47to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_virt_inst_cache_invl_modes_virtaddr_msb47to16
This covergroup is cross coverage of snoop DVM Virtual Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 32 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_virt_inst_cache_invl_modes_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_VIRT_MODES_MSB43TO16 | trans_cross_ace_snoop_dvm_virt_inst_cache_invl_modes_virtaddr_msb43to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_virt_inst_cache_invl_modes_virtaddr_msb43to16
This covergroup is cross coverage of snoop DVM Virtual Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 28 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_virt_inst_cache_invl_modes_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_VIRT_MODES_MSB39TO16 | trans_cross_ace_snoop_dvm_virt_inst_cache_invl_modes_virtaddr_msb39to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_virt_inst_cache_invl_modes_virtaddr_msb39to16
This covergroup is cross coverage of snoop DVM Virtual Instruction Cache invalidate message type, invalidate address modes and virtual address range. The virtual address width is 24 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_virt_inst_cache_invl_modes_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_FIRSTPART_MODES_MSB63TO16 | trans_cross_ace_snoop_dvm_firstpart_addr_range_msb63to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_firstpart_addr_range_msb63to16
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[63:32] and ARADDR[31:16]. The total virtual address width is 48 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_addr_range_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_FIRSTPART_MODES_MSB55TO16 | trans_cross_ace_snoop_dvm_firstpart_addr_range_msb55to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_firstpart_addr_range_msb55to16
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[55:32] and ARADDR[31:16]. The total virtual address width is 40 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_addr_range_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_FIRSTPART_MODES_MSB47TO16 | trans_cross_ace_snoop_dvm_firstpart_addr_range_msb47to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_firstpart_addr_range_msb47to16
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[47:32] and ARADDR[31:16]. The total virtual address width is 32 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_addr_range_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_FIRSTPART_MODES_MSB43TO16 | trans_cross_ace_snoop_dvm_firstpart_addr_range_msb43to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_firstpart_addr_range_msb43to16
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[43:32] and ARADDR[31:16]. The total virtual address width is 28 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_addr_range_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_FIRSTPART_MODES_MSB39TO16 | trans_cross_ace_snoop_dvm_firstpart_addr_range_msb39to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_firstpart_addr_range_msb39to16
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[39:32] and ARADDR[31:16]. The total virtual address width is 24 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_addr_range_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_FIRSTPART_SECONDPART_64 | trans_cross_ace_snoop_dvm_firstpart_secondpart_addr_range_64 |
|
Covergroup: trans_cross_ace_snoop_dvm_firstpart_secondpart_addr_range_64
This covergroup is cross coverage of snoop FirstPart of DVM (Virtual Address) on ARADDR[63:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[63:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_FIRSTPART_SECONDPART_56 | trans_cross_ace_snoop_dvm_firstpart_secondpart_addr_range_56 |
|
Covergroup: trans_cross_ace_snoop_dvm_firstpart_secondpart_addr_range_56
This covergroup is cross coverage of snoop FirstPart of DVM (Virtual Address) on ARADDR[55:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[55:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_FIRSTPART_SECONDPART_48 | trans_cross_ace_snoop_dvm_firstpart_secondpart_addr_range_48 |
|
Covergroup: trans_cross_ace_snoop_dvm_firstpart_secondpart_addr_range_48
This covergroup is cross coverage of snoop FirstPart of DVM (Virtual Address) on ARADDR[47:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[47:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_FIRSTPART_SECONDPART_44 | trans_cross_ace_snoop_dvm_firstpart_secondpart_addr_range_44 |
|
Covergroup: trans_cross_ace_snoop_dvm_firstpart_secondpart_addr_range_44
This covergroup is cross coverage of snoop FirstPart of DVM (Virtual Address) on ARADDR[43:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[43:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_FIRSTPART_SECONDPART_40 | trans_cross_ace_snoop_dvm_firstpart_secondpart_addr_range_40 |
|
Covergroup: trans_cross_ace_snoop_dvm_firstpart_secondpart_addr_range_40
This covergroup is cross coverage of snoop FirstPart of DVM (Virtual Address) on ARADDR[39:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[39:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_TLBINVL_VIRT_MSB63TO16 | trans_cross_ace_dvm_tlbinvl_modes_virtaddr_msb63to16 |
|
Covergroup: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_msb63to16
This covergroup is cross coverage of DVM TLB Invalidate message type, invalidate address modes and virtual address range. The virtual address width is 48 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 64. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_TLBINVL_VIRT_MSB55TO16 | trans_cross_ace_dvm_tlbinvl_modes_virtaddr_msb55to16 |
|
Covergroup: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_msb55to16
This covergroup is cross coverage of DVM TLB Invalidate message type, invalidate address modes and virtual address range The virtual address width is 40 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 56. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_TLBINVL_VIRT_MSB47TO16 | trans_cross_ace_dvm_tlbinvl_modes_virtaddr_msb47to16 |
|
Covergroup: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_msb47to16
This covergroup is cross coverage of DVM TLB Invalidate message type, invalidate address modes and virtual address range. The virtual address width is 32 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_TLBINVL_VIRT_MSB43TO16 | trans_cross_ace_dvm_tlbinvl_modes_virtaddr_msb43to16 |
|
Covergroup: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_msb43to16
This covergroup is cross coverage of DVM TLB Invalidate message type, invalidate address modes and virtual address range. The virtual address width is 28 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 44. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_ACE_SNOOP_DVM_MODES | AXI_PORT_MON_ACE_SNOOP_DVM_TLBINVL_VIRT_MSB39TO16 | trans_cross_ace_dvm_tlbinvl_modes_virtaddr_msb39to16 |
|
Covergroup: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_msb39to16
This covergroup is cross coverage of DVM TLB Invalidate message type, invalidate address modes and virtual address range. The virtual address width is 24 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 40. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_DVM_OVERLAP | AXI_PORT_MON_DVM_OVERLAP_ARVALID_ARREADY_COVER_ACVALID_ACREADY_ACSNOOP | trans_cross_dvm_overlap_arvalid_arready_cover_acvalid_acready_acsnoop |
|
Covergroup: trans_cross_dvm_overlap_arvalid_arready_cover_acvalid_acready_acsnoop
This covergroup captures coverage related to DVM overlap case to cover acvalid=1 & acready=1 & acsnoop=dvm when ARVALID == 1 and ARREADY == 0. It is constructed when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_DVM_OVERLAP | AXI_PORT_MON_DVM_OVERLAP_AWVALID_AWREADY_COVER_ACVALID_ACREADY_ACSNOOP | trans_cross_dvm_overlap_awvalid_awready_cover_acvalid_acready_acsnoop |
|
Covergroup: trans_cross_dvm_overlap_awvalid_awready_cover_acvalid_acready_acsnoop
This covergroup captures coverage related to DVM overlap case to cover acvalid=1 & acready=1 & acsnoop=dvm when AWVALID == 1 & AWREADY == 0. It is constructed when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_DVM_OVERLAP | AXI_PORT_MON_DVM_OVERLAP_RVALID_RREADY_COVER_ACVALID_ACREADY_ACSNOOP | trans_cross_dvm_overlap_rvalid_rready_cover_acvalid_acready_acsnoop |
|
Covergroup: trans_cross_dvm_overlap_rvalid_rready_cover_acvalid_acready_acsnoop
This covergroup captures coverage related to DVM overlap case to cover acvalid=1 & acready=1 & acsnoop=dvm when RVALID == 1 & RREADY == 0. It is constructed when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_DVM_OVERLAP | AXI_PORT_MON_DVM_OVERLAP_BVALID_BREADY_COVER_ACVALID_ACREADY_ACSNOOP | trans_cross_dvm_overlap_bvalid_bready_cover_acvalid_acready_acsnoop |
|
Covergroup: trans_cross_dvm_overlap_bvalid_bready_cover_acvalid_acready_acsnoop
This covergroup captures coverage related to DVM overlap case to cover acvalid=1 & acready=1 & acsnoop=dvm when BVALID == 1 & BREADY == 0. It is constructed when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_DVM_OVERLAP | AXI_PORT_MON_DVM_OVERLAP_ARVALID_ARREADY_COVER_CRVALID_CRREADY | trans_cross_dvm_overlap_arvalid_arready_cover_crvalid_crready |
|
Covergroup: trans_cross_dvm_overlap_arvalid_arready_cover_crvalid_crready
This covergroup captures coverage related to DVM overlap case to cover crvalid=1 & crready=1 when ARVALID == 1 and ARREADY == 0. It is constructed when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1. Coverpoints:
|
|
| AXI_PORT_MON_DVM_OVERLAP | AXI_PORT_MON_DVM_OVERLAP_AWVALID_AWREADY_COVER_CRVALID_CRREADY | trans_cross_dvm_overlap_awvalid_awready_cover_crvalid_crready |
|
Covergroup: trans_cross_dvm_overlap_awvalid_awready_cover_crvalid_crready
This covergroup captures coverage related to DVM overlap case to cover crvalid=1 & crready=1 when AWVALID == 1 & AWREADY == 0. It is constructed when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_DVM_OVERLAP | AXI_PORT_MON_DVM_OVERLAP_RVALID_RREADY_COVER_CRVALID_CRREADY | trans_cross_dvm_overlap_rvalid_rready_cover_crvalid_crready |
|
Covergroup: trans_cross_dvm_overlap_rvalid_rready_cover_crvalid_crready
This covergroup captures coverage related to DVM overlap case to cover crvalid=1 & crready=1 when RVALID == 1 & RREADY == 0. It is constructed when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_DVM_OVERLAP | AXI_PORT_MON_DVM_OVERLAP_BVALID_BREADY_COVER_CRVALID_CRREADY | trans_cross_dvm_overlap_bvalid_bready_cover_crvalid_crready |
|
Covergroup: trans_cross_dvm_overlap_bvalid_bready_cover_crvalid_crready
This covergroup captures coverage related to DVM overlap case to cover crvalid=1 & crready=1 when BVALID == 1 & BREADY == 0. It is constructed when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_VALID_READY_XACT_FLOW | -- | signal_master_slave_valid_ready_dependency |
|
|
Covergroup: signal_master_slave_valid_ready_dependency
The bins will get hit if signals are deassarted for N clock cycle mentioned by the user using port configuration parameter. For Eg: The signal AWVALID has to remain deasserted for N clocks (user input) after AWREADY is deasserted, then coverpoint AWVALID_AWREADY_Dependency will get hit. In this case N value will be svt_axi_port_configuration :: cov_num_clks_awvalid_awready_dependency. It is constructed when port_kind is AXI_MASTER or AXI_SLAVE & valid_ready_dependency_coverage_enable is set to 1. Coverpoints:
|
| AXI_PORT_MON_VALID_READY_XACT_FLOW | -- | signal_master_valid_ready_dependency |
|
|
Covergroup: signal_master_valid_ready_dependency
The bins will get hit if signals are deassarted for N clock cycle mentioned by the user using port configuration parameter. For Eg: The signal AWVALID has to remain deasserted for N clocks (user input) after wvalid is deasserted, then coverpoint AWVALID_WVALID_Dependency will get hit. In this case N value will be svt_axi_port_configuration :: cov_num_clks_awvalid_wvalid_dependency. It is constructed when port_kind is AXI_MASTER or AXI_SLAVE & valid_ready_dependency_coverage_enable is set to 1. Coverpoints:
|
| AXI_PORT_MON_VALID_READY_XACT_FLOW | -- | signal_slave_master_valid_ready_dependency |
|
|
Covergroup: signal_slave_master_valid_ready_dependency
The bins will get hit if signals are deassarted for N clock cycle mentioned by the user using port configuration parameter. For Eg: The signal AWREADY has to remain deasserted for N clocks (user input) after AWVALID is deasserted, then coverpoint AWREADY_AWVALID_Dependency will get hit. In this case N value will be svt_axi_port_configuration :: cov_num_clks_awvalid_awready_dependency. It is constructed when port_kind is AXI_MASTER or AXI_SLAVE & valid_ready_dependency_coverage_enable is set to 1. Coverpoints:
|
| AXI_PORT_MON_VALID_READY_XACT_FLOW | -- | signal_slave_valid_ready_dependency |
|
|
Covergroup: signal_slave_valid_ready_dependency
The bins will get hit if signals are deassarted for N clock cycle mentioned by the user using port configuration parameter. For Eg: The signal WREADY has to remain deasserted for N clocks (user input) after arready is deasserted, then coverpoint WREADY_ARREADY_Dependency will get hit. In this case N value will be svt_axi_port_configuration :: cov_num_clks_wready_arready_dependency. It is constructed when port_kind is AXI_MASTER or AXI_SLAVE & valid_ready_dependency_coverage_enable is set to 1. Coverpoints:
|
| AXI_STREAM_PORT_MON_XACT_FLOW | -- | trans_axi4_stream_delay |
|
Covergroup: trans_meta_axi_read
This Covergroup captures delay scenarios for tvalid signal for AXI4_STREAM. It is constructed and sampled when interface type is AXI4_STREAM & trans_axi4_stream_delay_enable is asserted. Coverpoints:
|
|
| AXI_STREAM_PORT_MON_XACT_FLOW | -- | trans_cross_stream_xact_type_tid_tdest |
|
Covergroup: trans_cross_stream_xact_type_tid_tdest
This Covergroup captures stream xact_type, stream tid and stream tdest. It is constructed when interface_type is AXI4_STREAM and trans_cross_stream_xact_type_tid_tdest_enable set to 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_STREAM_PORT_MON_XACT_FLOW | -- | trans_meta_axi4_stream |
|
Covergroup: trans_meta_axi4_stream
This Covergroup captures delay scenarios for tvalid and tready for AXI4_STREAM. It is constructed and sampled when interface type is AXI4_STREAM & trans_meta_axi4_stream_enable is asserted. Coverpoints:
|
|
| AXI_PORT_MON_MASTER_TO_SLAVE_PATH` | AXI_PORT_MON_MASTER_TO_SLAVE_PATH_ACCESS_ACE | trans_cross_master_to_slave_path_access_ace |
|
This Covergroup captures attributes for coherant read and write type,
for all slaves
It is constructed when interface type is AXI_ACE or ACE_LITE and
trans_cross_master_to_slave_path_access_ace_enable is set to 1.
Covergroup: trans_cross_master_to_slave_path_access_ace
Coverpoints:
|
|
| AXI_PORT_MON_MASTER_TO_SLAVE_PATH` | AXI_PORT_MON_MASTER_TO_SLAVE_PATH_ACCESS_AXI4 | trans_cross_master_to_slave_path_access_axi4 |
|
This Covergroup captures attributes for coherant read and write type,
for all slaves
It is constructed when interface type is AXI4 and
trans_cross_master_to_slave_path_access_axi4_enable is set to 1.
Covergroup: trans_cross_master_to_slave_path_access_axi4
Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | -- | trans_ar_aw_stalled_for_ac_channel |
|
Covergroup: trans_ar_aw_stalled_for_ac_channel
This Covergroup captures stalled read and write transaction y interconnect when request is issued from master. It is constructed when interface_type is AXI_ACE & interface_category is AXI_READ_WRITE and trans_ar_aw_stalled_for_ac_channel_enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_axi_write_handshake_delay |
|
|
Covergroup: trans_axi_write_handshake_delay
This Covergroup captures handshaking between valid and ready signal for diferent delay scenarios for write address and write data channels. It is constructed and sampled when interface type is not AXI_READ_ONLY. Coverpoints:
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_ace_acdvmmessage_acdvmresp |
|
Covergroup: trans_cross_ace_acdvmmessage_acdvmresp
This covergroup captures snoop dvm message and response type. It is constructed when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: trans_cross_ace_acdvmmessage_acdvmresp_enable = 1 svt_axi_port_configuration :: dvm_enable = 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_ace_awsnoop_awaddr |
|
Covergroup: trans_cross_ace_awsnoop_awaddr
This Covergroup captures coherant write transaction and address. It is constructed and sampled when trans_cross_ace_awsnoop_awaddr_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_ace_awsnoop_awburst |
|
Covergroup: trans_cross_ace_awsnoop_awburst
This Covergroup captures coherant xact type,burst_type and slave_port_id. It is constructed and sampled when interface_category is not AXI_READ_ONLY and trans_cross_ace_awsnoop_awburst_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_ace_awsnoop_awlen |
|
Covergroup : trans_cross_ace_awsnoop_awlen
This Covergroup captures coherant xact type,burst_type and slave_port_id. It is constructed and sampled when cov_trans_cross_slave_port_id_enable & barrier_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_ace_awsnoop_awsize |
|
Covergroup : trans_cross_ace_awsnoop_awsize
This Covergroup captures coherant xact type,burst_type and slave_port_id. It is constructed and sampled when interface_type is ACE_LITE and cov_trans_cross_slave_port_id_enable & barrier_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_awunique_awsnoop_awbar |
|
Covergroup: trans_cross_awunique_awsnoop_awbar This Covergroup captures coherant write xact_type,awunique_val,barrier_type and awunique_awsnoop_awbar values for write transaction. It is constructed and sampled when interface_type is AXI_ACE ,interface_category is not AXI_READ_ONLY and awunique_enable set to 1.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C3.1.4 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_axi3_awburst_awlen |
|
This covergroup captures attributes of write transaction type,burst_type and burst_length for AXI3 interface
Covergroup: trans_cross_axi3_awburst_awlen
It is constructed abd sampled when interface type set to AXI3. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_axi3_awburst_awlen_awaddr |
|
This covergroup captures attributes of transaction type,burst_type & burst_length and addr range for
write transaction
It is constructed and sampled when interface type is set to AXI3.
Covergroup: trans_cross_axi3_awburst_awlen_awaddr Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_axi3_awburst_awlen_bresp |
|
This covergroup captures attributes of transaction type,burst_type & burst_length and response for
write transaction.
It is constructed and sampled when interface type is set to AXI3.
Covergroup: trans_cross_axi3_awburst_awlen_bresp Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_axi4_awburst_awlen |
|
This covergroup captures attributes of write transaction type,burst_type and burst_length for AXI4 interface
Covergroup: trans_cross_axi4_awburst_awlen
It is constructed abd sampled when interface type set to AXI4. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_axi4_awburst_awlen_awaddr |
|
This covergroup captures attributes of transaction type,burst_type & burst_length and addr range for
write transaction
It is constructed and sampled when interface type is set to AXI4.
Covergroup: trans_cross_axi4_awburst_awlen_awaddr Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_axi4_awburst_awlen_bresp |
|
This covergroup captures attributes of transaction type,burst_type & burst_length and response for
write transaction
It is constructed and sampled when interface type is set to AXI4.
Covergroup: trans_cross_axi4_awburst_awlen_bresp Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_cross_axi_awburst_awqos |
|
This covergroup captures attributes of burst_type and qos for AXI
transaction at subordinate.
Covergroup: trans_cross_axi_awburst_awqos
It is constructed when interface type can be AXI4, AXI-ACE or ACE-LITE. It is sampled when transaction type is set to WRITE OR READ_WRITE Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_master_ace_write_during_speculative_fetch |
|
Covergroup: trans_master_ace_write_during_speculative_fetch
It is constructed and sampled when interface_type is AXI_ACE ,interface_category is not AXI_WRITE_ONLY and system_ace_write_during_speculative_fetch_enable set to 1. Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; C 6.5.1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_master_ace_xacts_with_high_priority_from_other_master_during_barrier |
|
Covergroup: trans_master_ace_xacts_with_high_priority_from_other_master_during_barrier
It is constructed and sampled when system_ace_xacts_with_high_priority_from_other_master_during_barrier_enable ,barrier_enable and system_monitor_enable set to 1. Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; C 8.1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_XACT_FLOW | trans_meta_axi_write |
|
|
Covergroup: trans_meta_axi_write
This Covergroup captures delay and predelay scenarios for handshake between valid and ready signal for write address, write data,write response channels It is constructed sampled when interface type is not AXI_READ_ONLY & trans_meta_axi_write_enable is asserted. Coverpoints:
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_axi_read_handshake_delay |
|
|
Covergroup: trans_axi_read_handshake_delay
This Covergroup captures handshaking between valid and ready signal for diferent delay scenarios for read address and read data channels. It is constructed and sampled when interface type is not AXI_WRITE_ONLY. Coverpoints:
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_ace_arsnoop_araddr |
|
Covergroup: trans_cross_ace_arsnoop_araddr
This Covergroup captures coherant read xact_type and address ranges for read transaction. It is constructed and sampled when trans_cross_ace_arsnoop_araddr_enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_ace_arsnoop_arbar |
|
Covergroup: trans_cross_ace_arsnoop_arbar
This Covergroup captures coherant read xact_type and barrier_type for read transaction. It is constructed and sampled when when trans_cross_ace_arsnoop_arbar_enable and barrier_type set to 1 . Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_ace_arsnoop_arburst |
|
Covergroup: trans_cross_ace_arsnoop_arburst
This Covergroup captures coherant read xact_type,burst_type and slave_port_id for read transaction. It is constructed and sampled when interface_type is not AXI_WRITE_ONLY & trans_cross_ace_arsnoop_arburst_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_ace_arsnoop_arcache |
|
Covergroup: trans_cross_ace_arsnoop_arcache
This Covergroup captures coherant read xact_type,cache signal and slave_port_id for read transaction. It is constructed and sampled when trans_cross_ace_arsnoop_arcache_enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_ace_arsnoop_ardomain |
|
Covergroup: trans_cross_ace_arsnoop_ardomain
This Covergroup captures coherant read xact_type,domain_type and slave_port_id for read transaction. It is constructed and sampled when trans_cross_ace_arsnoop_ardomain_enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_ace_arsnoop_ardomain_arcache |
|
Covergroup: trans_cross_ace_arsnoop_ardomain_arcache
This Covergroup captures coherant read xact_type,domain_type and cache signal for read transaction. It is constructed and sampled when trans_cross_ace_arsnoop_ardomain_arcache_enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_ace_arsnoop_arlen |
|
Covergroup: trans_cross_ace_arsnoop_arlen
This Covergroup captures coherant read xact_type,burst_length and slave_port_id for read transaction. It is constructed and sampled when trans_cross_ace_arsnoop_arlen_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_ace_arsnoop_arsize |
|
Covergroup: trans_cross_ace_arsnoop_arsize
This Covergroup captures coherant read xact_type,burst_size and slave_port_id for read transaction. It is constructed and sampled when trans_cross_ace_arsnoop_arsize_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi3_arburst_arlen |
|
Covergroup: trans_cross_axi3_arburst_arlen
This covergroup captures attributes of burst_type & burst_length for read transaction. It is constructed and sampled when interface type is AXI3 & trans_cross_axi3_arburst_arlen is asserted Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi3_arburst_arlen_araddr |
|
Covergroup: trans_cross_axi3_arburst_arlen_araddr
This covergroup captures attributes of burst_type & burst_length & address range for read transaction at subordinate. It is constructed and sampled when interface type is set to AXI3. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi3_arburst_arlen_araddr_arsize |
|
Covergroup: trans_cross_axi3_arburst_arlen_araddr_arsize
This covergroup captures attributes of read_burst_type,burst_length ,burst_size and address range for read transaction. It is constructed and sampled when interface_type is AXI3. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi3_arburst_arlen_arlock |
|
Covergroup: trans_cross_axi3_arburst_arlen_arlock
This covergroup captures attributes of burst_type,burst_length and atomic_type for read locked transaction. It is constructed and sampled when interface_type is AXI3. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi3_arburst_arlen_arprot |
|
Covergroup: trans_cross_axi3_arburst_arlen_arprot
This covergroup captures attributes of burst_type,burst_length and protection signal for read transaction. It is constructed and sampled when interface type is AXI3. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi3_arburst_arlen_arsize |
|
Covergroup: trans_cross_axi3_arburst_arlen_arsize
This covergroup captures attributes of read_burst_type & burst_length & response type for read transaction at subordinate. It is constructed and sampled when interface_type is AXI3. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi3_arburst_arlen_rresp |
|
Covergroup: trans_cross_axi3_arburst_arlen_rresp
This covergroup captures attributes of read_burst_type & burst_length & response type for read transaction at subordinate. It is constructed and sampled when interface type is set to AXI3. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi4_arburst_arlen |
|
Covergroup: trans_cross_axi4_arburst_arlen
This covergroup captures attributes of burst_type & burst_length for read transaction It is constructed and sampled when interface type is set to AXI4. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi4_arburst_arlen_araddr |
|
Covergroup: trans_cross_axi4_arburst_arlen_araddr
This covergroup captures attributes of burst_type & burst_length & address range for read transaction at subordinate. It is constructed and sampled when interface type is set to AXI4. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi4_arburst_arlen_araddr_arsize |
|
Covergroup: trans_cross_axi4_arburst_arlen_araddr_arsize
This covergroup captures attributes of read_burst_type,burst_length ,burst_size and address range for read transaction. It is constructed and sampled when interface_type is AXI4. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi4_arburst_arlen_arlock |
|
Covergroup: trans_cross_axi4_arburst_arlen_arlock
This covergroup captures attributes of burst_type,burst_length and atomic_type for read locked transaction. It is constructed and sampled when interface_type is AXI4. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi4_arburst_arlen_arprot |
|
Covergroup: trans_cross_axi4_arburst_arlen_arprot
This covergroup captures attributes of burst_type,burst_length and protection signal for read transaction. It is constructed and sampled when interface type is AXI4. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi4_arburst_arlen_arsize |
|
Covergroup: trans_cross_axi4_arburst_arlen_arsize
This covergroup captures attributes of read_burst_type & burst_length & response type for read transaction at subordinate. It is constructed and sampled when interface_type is AXI4. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi4_arburst_arlen_rresp |
|
Covergroup: trans_cross_axi4_arburst_arlen_rresp
This covergroup captures attributes of read_burst_type & burst_length & response type for read transaction at subordinate. It is constructed and sampled when interface type is set to AXI4. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi_arburst_arlen_arcache |
|
Covergroup: trans_cross_axi_arburst_arlen_arcache
This covergroup captures attributes of burst_type,burst_length and cache_type for read transaction. It is constructed and sampled when trans_cross_axi_arburst_arlen_arcache_enable is asserted . Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_cross_axi_arburst_arqos |
|
This covergroup captures attributes of burst_type and qos for AXI
transaction at subordinate.
Covergroup: trans_cross_axi_arburst_arqos
It is constructed when interface type can be AXI4. It is sampled when transaction type is set to WRITE OR READ_WRITE Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_XACT_FLOW | trans_meta_axi_read |
|
Covergroup: trans_meta_axi_read
This Covergroup captures delay and predelay scenarios for handshake between valid and ready signal for read address, and read data channels. It is constructed and sampled when interface type is not AXI_WRITE_ONLY & trans_meta_axi_read_enable is asserted. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_ace_barrier_outstanding_xact |
|
Covergroup: trans_ace_barrier_outstanding_xact
This Covergroup captures barrier outstanding transaction. It is constructed when interface type is AXI_ACE or ACE_LITE and trans_ace_barrier_outstanding_xact_enable & barrier enable set to 1. Coverpoints: barrier_outstanding_xact : Captures total number of read and write barrier outstanding transactions. When svt_axi_port_configuration :: axi_interface_type is configured as AXI_ACE maximum number of 256 outstanding transactions is tracked. When svt_axi_port_configuration :: axi_interface_type is configured as ACE_LITE, outstanding transactions greater than 256 are also tracked. This is as per section C8.4.1 of AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613" |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_ace_num_outstanding_dvm_tlb_invalidate_xacts_with_diff_arid |
|
Covergroup: trans_ace_num_outstanding_dvm_tlb_invalidate_xacts_with_diff_arid This covergroup captures the number of outstanding transactions with DVM TLBI requests with different ARID. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_ace_num_outstanding_dvm_tlb_invalidate_xacts_with_same_arid_enable = 1 svt_axi_port_configuration :: cov_num_outstanding_xacts_range_enable = 0 svt_axi_port_configuration :: id_width != 0 svt_axi_port_configuration :: read_chan_id_width > 0 If svt_axi_port_configuration :: use_separate_rd_wr_chan_id_width is programmed to 0 then svt_axi_port_configuration :: id_width is considered for creation of bins. If svt_axi_port_configuration :: use_separate_rd_wr_chan_id_width is programmed to 1 then svt_axi_port_configuration :: read_chan_id_width is considered for creation of bins.
Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_ace_num_outstanding_dvm_tlb_invalidate_xacts_with_diff_arid_range |
|
Covergroup: trans_ace_num_outstanding_dvm_tlb_invalidate_xacts_with_diff_arid_range This covergroup captures the range of arid values for transactions with DVM TLBI requests. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_ace_num_outstanding_dvm_tlb_invalidate_xacts_with_diff_arid_range_enable = 1 svt_axi_port_configuration :: cov_num_outstanding_xacts_range_enable = 1 svt_axi_port_configuration :: read_chan_id_width >= 3 If svt_axi_port_configuration :: use_separate_rd_wr_chan_id_width is programmed to 0 then svt_axi_port_configuration :: id_width is considered for creation of bins. If svt_axi_port_configuration :: use_separate_rd_wr_chan_id_width is programmed to 1 then svt_axi_port_configuration :: read_chan_id_width is considered for creation of bins.
Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_ace_num_outstanding_dvm_tlb_invalidate_xacts_with_same_arid |
|
Covergroup: trans_ace_num_outstanding_dvm_tlb_invalidate_xacts_with_same_arid This covergroup captures the number of outstanding transactions with DVM TLBI requests with a matching ARID. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_ace_num_outstanding_dvm_tlb_invalidate_xacts_with_same_arid_enable = 1 Configured value of svt_axi_port_configuration :: cov_bins_dvm_tlbi_num_outstanding_xacts should be less than or equal to configured value of svt_axi_port_configuration :: num_outstanding_xact or svt_axi_port_configuration :: num_read_outstanding_xact if svt_axi_port_configuration :: num_outstanding_xact is set to -1 which indicates the number of outstanding transactions VIP can support.
Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_ace_num_outstanding_snoop_xacts |
|
Covergroup: trans_ace_num_outstanding_snoop_xacts It is constructed and sampled when interface_type is AXI_ACE and trans_ace_num_outstanding_snoop_xacts_enable set to 1.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C5 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_axi_num_outstanding_xacts_with_diff_arid |
|
Covergroup: trans_axi_num_outstanding_xacts_with_diff_arid It is constructed and sampled when trans_axi_num_outstanding_xacts_with_diff_arid_enable & id_width set to 1 and cov_num_outstanding_xacts_range_enable set to 0.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section A5.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_axi_num_outstanding_xacts_with_diff_arid_range |
|
Covergroup: trans_axi_num_outstanding_xacts_with_diff_arid_range It is constructed and sampled when trans_axi_num_outstanding_xacts_with_diff_arid_range_enable & cov_num_outstanding_xacts_range_enable set to 1 and read_chan_id_width >=3.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section A5.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_axi_num_outstanding_xacts_with_diff_awid |
|
Covergroup: trans_axi_num_outstanding_xacts_with_diff_awid It is constructed and sampled when trans_axi_num_outstanding_xacts_with_diff_awid_enable & cov_num_outstanding_xacts_range_enable set to 1 ,num_outstanding_xacts is not -1 and id_width is not 0.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section A5.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_axi_num_outstanding_xacts_with_diff_awid_range |
|
Covergroup: trans_axi_num_outstanding_xacts_with_diff_awid_range It is constructed and sampled when trans_axi_num_outstanding_xacts_with_diff_awid_range_enable & cov_num_outstanding_xacts_range_enable set to 1 ,num_outstanding_xacts is not -1 and write_chan_id_width >= 3.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section A5.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_axi_num_outstanding_xacts_with_multiple_same_arid |
|
Covergroup: trans_axi_num_outstanding_xacts_with_multiple_same_arid This covergroup captures the number of outstanding read transactions with same ARID values which is in progress, if master is programmed with multiple same ids. For Example : If a master is programmed with svt_axi_port_configuration :: cov_multi_same_ids = new[3], then the master will have three different ids ARID1, ARID2 and ARID3.This covergroup will cross all the 3 ids with svt_axi_port_configuration :: num_outstanding_xact. If number of outstanding transactions are 50 with ARID1,then bins read_same_arid_1, read_outstanding_xacts_with_same_arid_1 to read_outstanding_xacts_with_same_arid_50 will get hit. It is constructed and sampled when interface_category is not AXI_WRITE_ONLY and num_outstanding_xact is not -1 & trans_axi_num_outstanding_xacts_with_multiple_same_arid_enable set to 1.
Coverpoints:
Cross Coverpoints :
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section A5.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_axi_num_outstanding_xacts_with_multiple_same_awid |
|
Covergroup: trans_axi_num_outstanding_xacts_with_multiple_same_awid This covergroup captures the number of outstanding write transactions with same AWID values which is in progress, if master is programmed with multiple same ids. For Example : If a master is programmed with svt_axi_port_configuration :: cov_multi_same_ids = new[3], then the master will have three different ids AWID1, AWID2 and AWID3.This covergroup will cross all the 3 ids with svt_axi_port_configuration :: num_outstanding_xact. If number of outstanding transactions are 50 with AWID1,then bins write_same_awid_1, write_outstanding_xacts_with_same_awid_1 to write_outstanding_xacts_with_same_awid_50 will get hit. It is constructed and sampled when trans_axi_num_outstanding_xacts_with_multiple_same_awid_enable set to 1 & num_outstanding_xacts is not -1.
Coverpoints:
Cross Coverpoints :
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section A5.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_axi_num_outstanding_xacts_with_same_arid |
|
Covergroup: trans_axi_num_outstanding_xacts_with_same_arid It is constructed and sampled when interface_ category is not AXI_WRITE_ONLY and trans_axi_num_outstanding_xacts_with_same_arid_enable set to 1 & num_outstanding_xact is not -1.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section A5.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_axi_num_outstanding_xacts_with_same_awid |
|
Covergroup: trans_axi_num_outstanding_xacts_with_same_awid It is constructed and sampled when interface_category is not AXI_READ_ONLY and trans_axi_num_outstanding_xacts_with_same_awid_enable set to 1 & num_outstanding_xacts is not -1.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section A5.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_cross_axi_outstanding_xact |
|
This covergroup captures attributes for total outstanding xact , outstanding write xact and
outstanding read xact.
It is constructed when trans_cross_axi_outstanding_xact_enable is set to 1.
Covergroup: trans_cross_axi_outstanding_xact Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_master_ace_barrier_response_with_outstanding_xacts |
|
Covergroup: trans_master_ace_barrier_response_with_outstanding_xacts
It is constructed and sampled when system_ace_barrier_response_with_outstanding_xacts_enable ,barrier_enable and system_monitor_enable set to 1. system_ace_barrier_response_with_outstanding_xacts_enable Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; C 8.3 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_master_num_outstanding_dvm_syncs |
|
Covergroup: trans_master_num_outstanding_dvm_syncs This covergroup captures outstanding dvm based snoop transaction. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: dvm_enable = 1.
Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_non_barrier_xact_after_256_outstanding_barrier_xact |
|
Covergroup: trans_non_barrier_xact_after_256_outstanding_barrier_xact This Covergroup captures barrier outstanding transaction. It is constructed when interface type is AXI_ACE or ACE_LITE and trans_non_barrier_xact_after_256_outstanding_barrier_xact_enable & barrier enable set to 1.
Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_outstanding_read_with_same_id_to_different_slaves |
|
Covergroup: trans_outstanding_read_with_same_id_to_different_slaves
This Covergroup captures outstanding read request having same id for different slaves. This covergroup is constructed for all master interface types except AXI4_STREAM and only if the number of slaves in the system (svt_axi_system_configuration :: num_slaves) is greater than 1 and trans_outstanding_read_with_same_id_to_different_slaves_enable set to 1. Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_OUTSTANDING_XACT_FLOW | trans_outstanding_write_with_same_id_to_different_slaves |
|
Covergroup: trans_outstanding_write_with_same_id_to_different_slaves
This Covergroup captures outstanding write request having same id for different slaves. This covergroup is constructed for all master interface types and only if the number of slaves in the system (svt_axi_system_configuration :: num_slaves) is greater than 1 and trans_outstanding_read_with_same_id_to_different_slaves_enable set to 1. Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_INTERLEAVING_DEPTH | trans_cross_axi_write_interleaving_depth |
|
This covergroup captures attributes for write data interleave depth.
It is constructed when interface type is set to AXI3 .
Covergroup: trans_cross_axi_write_interleaving_depth Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITERESP_XACT_FLOW | trans_cross_ace_awsnoop_bresp |
|
Covergroup: trans_cross_ace_awsnoop_bresp
This Covergroup captures coherant write xact_type , write response and slave_port_id. It is constructed and sampled when trans_cross_ace_awsnoop_bresp_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITERESP_XACT_FLOW | trans_cross_exclusive_writenosnoop_domain_type |
|
Covergroup : trans_cross_exclusive_writenosnoop_domain_type
This Covergroup captures coherant writenosnoop_xact_type,write_resp and domain_type for write transaction. It is constructed and sampled when trans_cross_exclusive_writenosnoop_domain_type_enable and exclusive_access_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITECACHE_XACT_FLOW | trans_cross_ace_awsnoop_awcache |
|
Covergroup: trans_cross_ace_awsnoop_awcache
This Covergroup captures coherant write xact_type,cache signal and slave_port_id . It is constructed and sampled when cov_trans_cross_slave_port_id_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITECACHE_XACT_FLOW | trans_cross_ace_awsnoop_cacheinitialstate_cachefinalstate |
|
Covergroup: trans_cross_ace_awsnoop_cacheinitialstate_cachefinalstate
This Covergroup captures coherant read xact_type ,initial and final cacheline state for write transaction. It is constructed and sampled when interface_type is not ACE_LITE and interface_category is not AXI_READ_ONLY & trans_cross_ace_awsnoop_cacheinitialstate_cachefinalstate_enable set to 1 & update_cache_for_non_coherent_xacts set to 0. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITECACHE_XACT_FLOW | trans_cross_ace_awsnoop_update_cache_cacheinitialstate_cachefinalstate |
|
Covergroup: trans_cross_ace_awsnoop_update_cache_cacheinitialstate_cachefinalstate
This Covergroup captures coherant read xact_type ,initial and final cacheline state for write transaction. It is constructed and sampled when interface_type is not ACE_LITE and interface_category is not AXI_READ_ONLY & trans_cross_ace_awsnoop_cacheinitialstate_cachefinalstate_enable & update_cache_for_non_coherent_xacts set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITEDOMAIN_XACT_FLOW | trans_cross_ace_awsnoop_awdomain |
|
Covergroup : trans_cross_ace_awsnoop_awdomain
This Covergroup captures coherant write xact_type,domain and slave_port_id. It is constructed and sampled when trans_cross_ace_awsnoop_awdomain_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_ace_concurrent_overlapping_arsnoop_acsnoop |
|
Covergroup: trans_ace_concurrent_overlapping_arsnoop_acsnoop
This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system. It is constructed and sampled when interface_type is AXI_ACE or port_kind is AXI_MASTER. Coverpoints: snoop_xact_type:Coverpoint of svt_axi_snoop_transaction :: snoop_xact_type for all snoop transactions recieved on master port . This excludes DVMMESSAGE,DVMCOMPLETE transactions coherent_read_xact_type:Coverpoint of svt_axi_transaction :: coherent_xact_type for all coherent transactions initiated on read channel of master . This excludes READNOSNOOP,DVMMESSAGE,DVMCOMPLETE,READBARRIER transactions The bins in this covergroup will be hit when a coherent transaction is outstanding while a snoop transaction is outstanding on same port with overlapping address Two ACE masters needed for this covergroup Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C3.6.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_ace_concurrent_overlapping_arsnoop_acsnoop_one_ace_acelite |
|
Covergroup: trans_ace_concurrent_overlapping_arsnoop_acsnoop_one_ace_acelite
This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system. It is constructed and sampled when interface_type is AXI_ACE or port_kind is AXI_MASTER. Coverpoints: snoop_xact_type:Coverpoint of svt_axi_snoop_transaction :: snoop_xact_type for READONCE,CLEANSHARED,CLEANINVALID and MAKEINVALID snoop transactions recieved on master port . This excludes READSHARED,READCLEAN,READNOTSHAREDDIRTY,READUNIQUE,DVMMESSAGE,DVMCOMPLETE transactions coherent_read_xact_type:Coverpoint of svt_axi_transaction :: coherent_xact_type for all coherent transactions initiated on read channel of master . This excludes READNOSNOOP,DVMMESSAGE,DVMCOMPLETE,READBARRIER transactions The bins in this covergroup will be hit when a coherent transaction is outstanding while a snoop transaction is outstanding on same port with overlapping address Atleast one ACE and one ACE_LITE master needed for this covergroup Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C3.6.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_axi_snoop |
|
Covergroup: trans_axi_snoop
This Covergroup captures delay scenarios between valid and ready signal for snoop address and snoop data. It is constructed when trans_axi_snoop_enable is set to 1 and interface type is AXI_ACE or ACE_LITE. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_axi_snoop_data_phase |
|
Covergroup: trans_axi_snoop_data_phase
This Covergroup captures valid to ready delay scenario for snoop channel. It is constructed when trans_axi_snoop_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_cross_ace_acsnoop_acaddr |
|
Covergroup: trans_cross_ace_acsnoop_acaddr
This Covergroup captures snoop xact type and address. It is constructed when trans_cross_ace_acsnoop_acaddr_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_cross_ace_acsnoop_acaddr_one_ace_acelite |
|
Covergroup: trans_cross_ace_acsnoop_acaddr_one_ace_acelite
This Covergroup captures snoop xact type and address. It is constructed when trans_cross_ace_acsnoop_acaddr_enable is asserted. This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_cross_ace_acsnoop_acprot |
|
Covergroup: trans_cross_ace_acsnoop_acprot
This Covergroup captures snoop xact type and protection signal It is constructed when trans_cross_ace_acsnoop_acprot_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_cross_ace_acsnoop_acprot_one_ace_acelite |
|
Covergroup: trans_cross_ace_acsnoop_acprot_one_ace_lite
This Covergroup captures snoop xact type and protection signal. This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system. It is constructed when trans_cross_ace_acsnoop_acprot_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_cross_ace_awsnoop_awbar |
|
Covergroup: trans_cross_ace_awsnoop_awbar
This Covergroup captures coherant write xact_type and barrier type for write transaction. It is constructed and sampled when trans_cross_ace_awsnoop_awbar_enable and barrier_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_master_readunique_snoop_resp_datatransfer_with_clean_cacheline |
|
Covergroup: trans_master_readunique_snoop_resp_datatransfer_with_clean_cacheline This Covergroup captures snoop rersponse for readunique data transfer. It is constructed and sampled when interface_type is AXI_ACE ,interface_category is AXI_READ_WRITE .
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C5.3.3 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_master_snoop_data_transfer_during_wu_wlu_to_same_addr |
|
Covergroup: trans_master_snoop_data_transfer_during_wu_wlu_to_same_addr This Covergroup captures snoop responses with data transfer when a WRITEUNIQUE or WRITELINEUNIQUE to the same address is in progress. It is constructed and sampled when interface_type is AXI_ACE ,interface_category is AXI_READ_WRITE .
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C5.2.5 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_master_snoop_data_transfer_during_wu_wlu_to_same_addr_one_ace_acelite |
|
Covergroup: trans_master_snoop_data_transfer_during_wu_wlu_to_same_addr_one_ace_acelite This Covergroup captures snoop responses with data transfer when a WRITEUNIQUE or WRITELINEUNIQUE to the same address is in progress, when only one ACE master and one or more ACE_LITE masters present in the system. It is constructed and sampled when interface_type is AXI_ACE ,interface_category is AXI_READ_WRITE .
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C5.2.5 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_master_snoop_to_same_addr_as_memory_update_exclude_writeevict |
|
Covergroup: trans_master_snoop_to_same_addr_as_memory_update_exclude_writeevict This Covergroup captures read transaction for for same address snooped to master. It is constructed and sampled when interface_type is AXI_ACE and interface_catergory is not set to AXI_READ_ONLY.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C6.6.1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_master_snoop_to_same_addr_as_memory_update_exclude_writeevict_one_ace_acelite |
|
Covergroup: trans_master_snoop_to_same_addr_as_memory_update_exclude_writeevict_one_ace_acelite This Covergroup captures write transaction for memory update and snoop based dvm unset type. It is constructed and sampled when interface_type is AXI_ACE and interface_catergory is not set to AXI_READ_ONLY. This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C6.6.1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_master_snoop_to_same_addr_as_writeevict |
|
Covergroup: trans_master_snoop_to_same_addr_as_writeevict
This Covergroup captures write transaction for same address as snoop and snoop transaction except dvm based.
It is constructed and sampled when interface_type is AXI_ACE ,interface_category is AXI_READ_WRITE
writeevict_enable set to 1.
Coverpoints:
Cross Coverpoints :
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C6.6.1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_master_snoop_to_same_addr_as_writeevict_one_ace_acelite |
|
Covergroup: trans_master_snoop_to_same_addr_as_writeevict_one_ace_acelite This Covergroup captures write evict and snoop xact transaction. It is constructed and sampled when interface_type is AXI_ACE ,interface_category is AXI_READ_WRITE writeevict_enable set to 1. This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system.
Coverpoints:
Cross Coverpoints :
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C6.6.1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOP_XACT_FLOW | trans_master_snoop_to_same_address_as_read_xact |
|
Covergroup: trans_master_snoop_to_same_address_as_read_xact This Covergroup captures read transaction for for same address snooped to master. It is constructed and sampled when interface_type is AXI_ACE and interface_catergory is not set to AXI_WRITE_ONLY.
Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_ace_concurrent_non_overlapping_awsnoop_acsnoop_crresp |
|
Covergroup: trans_ace_concurrent_non_overlapping_awsnoop_acsnoop_crresp
The bins in covergroup trans_ace_concurrent_non_overlapping_awsnoop_acsnoop_crresp will be hit when a coherent transaction is outstanding while a snoop transaction is outstanding on same port with overlapping address
The covergroup trans_ace_concurrent_non_overlapping_awsnoop_acsnoop_crresp is applicable only for ACE Masters .The covergroup trans_ace_concurrent_non_overlapping_awsnoop_acsnoop_crresp needs at least two ACE masters in the system .
It is constructed and sampled when interface_type is AXI_ACE or port_kind is AXI_MASTER and interface_category is not AXI_READ_ONLY.
Coverpoints: snoop_xact_type:Coverpoint of svt_axi_snoop_transaction :: snoop_xact_type for all snoop transactions recieved on master port . This excludes DVMMESSAGE,DVMCOMPLETE transactions coherent_write_xact_type_generate_snoop:Coverpoint of svt_axi_transaction :: coherent_xact_type for all coherent transactions initiated on write channel of master .This coverpoint includes only those transactions that * generate snoop.This includes WRITEUNIQUE and WRITELINEUNIQUE transactions snoop_crresp_on_ace_port :Coverpoint of cresp. Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C3.6.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_ace_concurrent_non_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite |
|
Covergroup: trans_ace_concurrent_non_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite
This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system. The bins in covergroup trans_ace_concurrent_non_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite will be hit when a coherent transaction is outstanding while a snoop transaction is outstanding on same port with non overlapping address The covergroup trans_ace_concurrent_non_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite is applicable only for ACE Masters .The covergroup trans_ace_concurrent_non_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite needs at least one ACE and one ACE_LITE master in the system. It is constructed and sampled when interface_type is AXI_ACE or port_kind is AXI_MASTER and interface_category is not AXI_READ_ONLY. Coverpoints: snoop_xact_type:Coverpoint of svt_axi_snoop_transaction :: snoop_xact_type for READONCE,CLEANSHARED,CLEANINVALID and MAKEINVALID snoop transactions recieved on master port . This excludes READSHARED,READCLEAN,READNOTSHAREDDIRTY,READUNIQUE,DVMMESSAGE,DVMCOMPLETE transactions coherent_write_xact_type_generate_snoop:Coverpoint of svt_axi_transaction :: coherent_xact_type for all coherent transactions initiated on write channel of master .This coverpoint includes only those transactions that generate snoop.This includes WRITEUNIQUE and WRITELINEUNIQUE transactions snoop_crresp_on_ace_port : Coverpoint of cresp. Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C3.6.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_disabled |
|
Covergroup: trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_disabled
This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system. The bins in covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_disabled will be hit when a coherent transaction is outstanding while a snoop transaction is outstanding on same port with overlapping address The covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_disabled is applicable only for ACE Masters.The covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_disabled needs at least one ACE and one ACE_LITE master in the system. It is constructed and sampled when interface_type is AXI_ACE or port_kind is AXI_MASTER and interface_category is not AXI_READ_ONLY. Coverpoints: snoop_xact_type:Coverpoint of svt_axi_snoop_transaction :: snoop_xact_type for READONCE,CLEANSHARED,CLEANINVALID and MAKEINVALID snoop transactions recieved on master port . This excludes READSHARED,READCLEAN,READNOTSHAREDDIRTY,READUNIQUE,DVMMESSAGE,DVMCOMPLETE transactions coherent_write_xact_type_generate_snoop:Coverpoint of svt_axi_transaction :: coherent_xact_type for all coherent transactions initiated on write channel of master .This coverpoint includes only those transactions that generate snoop.This includes WRITEUNIQUE and WRITELINEUNIQUE transactions snoop_crresp_on_ace_port : coverpoint of cresp. Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C3.6.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_enabled |
|
Covergroup: trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_enabled
This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system. The bins in covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_enabled will be hit when a coherent transaction is outstanding while a snoop transaction is outstanding on same port with overlapping address The covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_enabled is applicable only for ACE Masters. The covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_enabled needs atleast one ACE and one ACE_LITE master in the system. It is constructed and sampled when interface_type is AXI_ACE or port_kind is AXI_MASTER and interface_category is not AXI_READ_ONLY. Coverpoints: snoop_xact_type:Coverpoint of svt_axi_snoop_transaction :: snoop_xact_type for READONCE,CLEANSHARED,CLEANINVALID and MAKEINVALID snoop transactions recieved on master port . This excludes READSHARED,READCLEAN,READNOTSHAREDDIRTY,READUNIQUE,DVMMESSAGE,DVMCOMPLETE transactions coherent_write_xact_type_generate_snoop:Coverpoint of svt_axi_transaction :: coherent_xact_type for all coherent transactions initiated on write channel of master. This coverpoint includes only those transactions that generate snoop.This includes WRITEUNIQUE and WRITELINEUNIQUE transactions snoop_crresp_on_ace_port : Coverpoint of cresp. Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C3.6.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_writeevict_disabled |
|
Covergroup: trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_one_ace_acelite_writeevict_enable
The bins in covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_writeevict_disabled will be hit when a coherent transaction is outstanding while a snoop transaction is outstanding on same port with overlapping address The covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_writeevict_disabled is applicable only for ACE Masters .The covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_writeevict_disabled needs at least two ACE masters in the system . It is constructed and sampled when interface_type is AXI_ACE or port_kind is AXI_MASTER and interface_category is not AXI_READ_ONLY. Coverpoints: snoop_xact_type:Coverpoint of svt_axi_snoop_transaction :: snoop_xact_type for all snoop transactions recieved on master port . This excludes DVMMESSAGE,DVMCOMPLETE transactions coherent_write_xact_type_generate_snoop:Coverpoint of svt_axi_transaction :: coherent_xact_type for all coherent transactions initiated on write channel of master .This coverpoint includes only those transactions that * generate snoop.This includes WRITEUNIQUE and WRITELINEUNIQUE transactions snoop_crresp_on_ace_port : Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C3.6.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_writeevict_enabled |
|
Covergroup: trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_writeevict_enabled
The bins in covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_writeevict_enabled will be hit when a coherent transaction is outstanding while a snoop transaction is outstanding on same port with overlapping address The covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_writeevict_enabled is applicable only for ACE Masters .The covergroup trans_ace_concurrent_overlapping_awsnoop_acsnoop_crresp_writeevict_enabled needs at least two ACE masters in the system . It is constructed and sampled when interface_type is AXI_ACE or port_kind is AXI_MASTER. Coverpoints: snoop_xact_type:Coverpoint of svt_axi_snoop_transaction :: snoop_xact_type for all snoop transactions recieved on master port . This excludes DVMMESSAGE,DVMCOMPLETE transactions coherent_write_xact_type_generate_snoop:Coverpoint of svt_axi_transaction :: coherent_xact_type for all coherent transactions initiated on write channel of master .This coverpoint includes only those transactions that * generate snoop.This includes WRITEUNIQUE and WRITELINEUNIQUE transactions snoop_crresp_on_ace_port : Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C3.6.2 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_cross_ace_acsnoop_crresp |
|
Covergroup: trans_cross_ace_acsnoop_crresp
This Covergroup captures snoop xact_type, rresp_type(unique and notunique) . It is constructed when trans_cross_ace_acsnoop_crresp_enable is set to 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_cross_ace_acsnoop_crresp_one_ace_acelite |
|
Covergroup: trans_cross_ace_acsnoop_crresp_one_ace_acelite
This Covergroup captures snoop xact_type, rresp_type(unique and notunique) . This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system. It is constructed when trans_cross_ace_acsnoop_crresp_enable is set to 1. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_master_ace_coherent_and_ace_snoop_response_association |
|
Covergroup: trans_master_ace_coherent_and_ace_snoop_response_association
Covergroup for all coherent transactions generated from ACE master and the correponding Snoop transactions on ACE-Masters and snoop response from ACE-Masters for these snoop transactions. This will be a Port Level Covergroup and will be applicable for all ACE-Masters and will only be created when there are two ACE master s in the system. It is constructed and sampled when interface_type is AXI_ACE and trans_master_ace_coherent_and_ace_snoop_response_association_enable to 1. Coverpoints:
Cross Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Table C6-1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_master_ace_coherent_and_snoop_association_recommended_and_optional_ace |
|
Covergroup: system_ace_coherent_and_snoop_association_recommended_and_optional_ace
This Covergroup captures optional snoop transactions to snooped masters when coherant transaction is received from initiating master. It is constructed when interface_type is AXI_ACE and system_ace_coherent_and_snoop_association_enable set to 1. Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Table C6-1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_master_ace_coherent_and_snoop_association_recommended_and_optional_ace_lite |
|
Covergroup: trans_master_ace_coherent_and_snoop_association_recommended_and_optional_ace_lite
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Table C6-1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_master_ace_lite_coherent_and_ace_snoop_response_association_back_to_back_xact_with_specific_id |
|
Covergroup: trans_master_ace_lite_coherent_and_ace_snoop_response_association_back_to_back_xact_with_specific_id
Covergroup for back to back combination of CLEANINVALID and MAKEINVALID coherent transactions generated from ACE-Lite master and the correponding Snoop response from ACE-Masters for these coherent transactions. This will be a Port Level Covergroup and will be applicable for all ACE-Masters and will only be created when there is atleast one ACE-Lite master in the system. It is constructed and sampled when interface_type is AXI_ACE and trans_master_ace_lite_coherent_and_ace_snoop_response_association_back_to_back_xact_with_specific_id_enable to 1. Coverpoints:
Cross Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Table C6-1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_master_ace_lite_coherent_and_ace_snoop_response_association_specific_id |
|
Covergroup: trans_master_ace_lite_coherent_and_ace_snoop_response_association_specific_id
Covergroup for all coherent transactions generated from ACE-Lite master and the correponding Snoop response from ACE-Masters for these coherent transactions. This will be sampled only when transaction is having configured specific id. This will be a Port Level Covergroup and will be applicable for all ACE-Masters and will only be created when there is atleast one ACE-Lite master in the system. It is constructed and sampled when interface_type is AXI_ACE and trans_master_ace_lite_coherent_and_ace_snoop_response_association_specific_id_enable set to 1. Coverpoints:
Cross Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Table C6-1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_SNOOPRESP_XACT_FLOW | trans_master_snoop_resp_during_wu_wlu_to_same_addr |
|
Covergroup: trans_master_snoop_resp_during_wu_wlu_to_same_addr This Covergroup captures snoop response type,WasUnique bit ,awunique value and snoop response with awunique value. It is constructed and sampled when interface_type is AXI_ACE and interface_category is not AXI_READ_ONLY.
Coverpoints:
Cross Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C3.1.4 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITEDOMAINBARRIER_XACT_FLOW | trans_cross_ace_awdomain_awbarrier_memory_sync |
|
Covergroup: trans_cross_ace_awdomain_awbarrier_memory_sync
This Covergroup captures barrier_type and domain_type for write transaction. It is constructed and sampled when trans_cross_ace_awdomain_awbarrier_memory_sync_enable Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITEDOMAINBARRIER_XACT_FLOW | trans_cross_ace_awdomain_awbarrier_respect_ignore |
|
Covergroup : trans_cross_ace_awdomain_awbarrier_respect_ignore
This Covergroup captures coherant write xact_type and barrier_type for write transaction. It is constructed and sampled when trans_cross_ace_awdomain_awbarrier_respect_ignore_enable is set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READCACHE_XACT_FLOW | trans_cross_ace_arsnoop_cacheinitialstate_cachefinalstate |
|
Covergroup: trans_cross_ace_arsnoop_cacheinitialstate_cachefinalstate
This Covergroup captures coherant read xact_type ,initial and final cacheline state for read transaction. It is constructed and sampled when interface_type is not ACE_LITE and interface_category is not AXI_WRITE_ONLY & trans_cross_ace_arsnoop_cacheinitialstate_cachefinalstate_enable is set 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READCACHE_XACT_FLOW | trans_cross_ace_arsnoop_update_cache_cacheinitialstate_cachefinalstate |
|
Covergroup: trans_cross_ace_arsnoop_update_cache_cacheinitialstate_cachefinalstate
This Covergroup captures coherant read xact_type ,initial and final cacheline state for read transaction. It is constructed and sampled when interface_type is not ACE_LITE and interface_category is not AXI_WRITE_ONLY & trans_cross_ace_arsnoop_cacheinitialstate_cachefinalstate_enable & update_cache_for_non_coherent_xacts is set 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READRESP_XACT_FLOW | trans_cross_ace_ardvmmessage_ardvmresp |
|
Covergroup: trans_cross_ace_ardvmmessage_ardvmresp
This Covergroup captures coherant read xact_type and response type for read transaction. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_ardvmmessage_ardvmresp_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READRESP_XACT_FLOW | trans_cross_ace_arsnoop_coh_rresp |
|
Covergroup: trans_cross_ace_arsnoop_coh_rresp
This Covergroup captures coherant read xact_type,response type and slave_port_id for read transaction. It is constructed and sampled when interface type is not ACE_LITE and AXI_WRITE_ONLY. and trans_cross_ace_arsnoop_coh_rresp_enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_ORDERING_XACT_FLOW | trans_master_back_to_back_write_ordering |
|
Covergroup: trans_master_back_to_back_write_ordering This Covergroup captures back to back write transactions for same id. It is constructed when port_kind is AXI_MASTER and interface_type is not AXI4_STREAM & interface_category is not AXI_READ_ONLY.
Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_ORDERING_XACT_FLOW | trans_master_write_after_read_ordering |
|
Covergroup: trans_master_write_after_read_ordering This Covergroup captures write transaction after read happens. It is constructed when port_kind is AXI_MASTER and interface_type is not AXI4_STREAM & interface_category is AXI_READ_WRITE.
Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_ORDERING_XACT_FLOW | trans_xact_ordering_after_barrier |
|
Covergroup: trans_xact_ordering_after_barrier
This Covergroup captures read & write transaction ordering for barrier response scenarios. It is constructed when interface type is AXI_ACE or ACE_LITE and trans_xact_ordering_after_barrier_enable & barrier enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_NARROW_TRANSFER | trans_cross_axi_read_narrow_transfer_arlen_araddr |
|
Covergroup: trans_cross_axi_read_narrow_transfer_arlen_araddr
This Covergroup captures transfer size and address offset for read narrow transfer. It is constrcuted and sampled when trans_cross_axi_read_narrow_transfer_arlen_araddr_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_NARROW_TRANSFER | trans_cross_axi_write_narrow_transfer_awlen_awaddr |
|
Covergroup: trans_cross_axi_write_narrow_transfer_awlen_awaddr
This Covergroup captures write_xact_type ,transfer size and address offset for narrow transfer It is constructed and sampled when trans_cross_axi_write_narrow_transfer_awlen_awaddr_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_READ_UNALIGNED_TRANSFER | trans_cross_axi_read_unaligned_transfer |
|
Covergroup: trans_cross_axi_read_unaligned_transfer
This Covergroup captures burst_type,burst_length, transfer size and address offset for read unaligned transfer. It is constructed and sampled when trans_cross_axi_read_unaligned_transfer_enable. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_WRITE_UNALIGNED_TRANSFER | trans_cross_axi_write_unaligned_transfer |
|
Covergroup: trans_cross_axi_write_unaligned_transfer
This Covergrpoup captures following signals for unaligned write transfer. It is constructed and sampled when trans_cross_axi_write_unaligned_transfer_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_DIRTYDATA_XACT_FLOW | trans_master_ace_cross_cache_line_dirty_data_write |
|
Covergroup: trans_master_ace_cross_cache_line_dirty_data_write
This is a system-level covergroup which works by enabling sys_cfg field system_which captures dirty data for write cache line. It is constructed and sampled when interface_type is AXI_ACE or ACE_LITE ,interface_category is AXI_READ_WRITE and system_ace_cross_cache_line_dirty_data_write_enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_DIRTYDATA_XACT_FLOW | trans_master_ace_dirty_data_write |
|
Covergroup: trans_master_ace_dirty_data_write
This is a system-level covergroup which works by enabling sys_cfg field system_ace_dirty_data_write_enable. It is constructed and sampled when interface_type is AXI_ACE,interface_category is AXI_READ_WRITE and system_ace_dirty_data_write_enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_DIRTYDATA_XACT_FLOW | trans_master_ace_dirty_data_write_one_ace_acelite |
|
Covergroup: trans_master_ace_dirty_data_write_one_ace_acelite
This is a system-level covergroup which works by enabling sys_cfg field system_ace_dirty_data_write_enable. It is constructed and sampled when interface_type is ACE_LITE ,interface_category is AXI_READ_WRITE and system_ace_dirty_data_write_enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_DIRTYDATA_XACT_FLOW | trans_master_ace_snoop_and_memory_returns_data |
|
Covergroup: trans_master_ace_snoop_and_memory_returns_data
It is constructed and sampled when interface_type is AXI_ACE ,interface_category is not AXI_WRITE_ONLY and system_ace_snoop_and_memory_returns_data_enable set to 1. Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; C 6.5.1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_COHERANT_XACT_FLOW | trans_master_ace_coherent_and_snoop_association_recommended_ace |
|
Covergroup: trans_master_ace_coherent_and_snoop_association_recommended_ace
This Covergroup captures scenari when master issues coherant transaction , interconnect recommends snooop based transaction to snooped masters. It is constructed and sampled when interface _type is AXI_ACE and system_ace_coherent_and_snoop_association_enable set to 1. Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Table C6-1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_COHERANT_XACT_FLOW | trans_master_ace_coherent_and_snoop_association_recommended_ace_lite |
|
Covergroup: trans_master_ace_coherent_and_snoop_association_recommended_ace_lite
This Covergroup captures scenario when master issues coherant transaction , interconnect recommends snooop based transaction to snooped masters. It is constructed and sampled when interface _type is ACE_LITE . Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Table C6-1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_COHERANT_XACT_FLOW | trans_master_ace_concurrent_overlapping_coherent_xacts |
|
Covergroup: trans_master_ace_concurrent_overlapping_coherent_xacts
The covergroup trans_master_ace_concurrent_overlapping_coherent_xacts covers coherent transactions initiated from different ACE masters concurrently on the same address. The covergroup needs atlease two ACE masters to be present in the system. It is constructed and sampled when interface_type is AXI_ACE and system_ace_concurrent_overlapping_coherent_xacts_enable set to 1. Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_COHERANT_XACT_FLOW | trans_master_ace_concurrent_readunique_cleanunique |
|
Covergroup: trans_master_ace_concurrent_readunique_cleanunique
This Covergroup captures scenario for ACE master initiating simultanous ReadUnique or CleanUnique transactions. It is consstructed and sampled when interface_type is AXI_ACE ,interface_category is not AXI_WRITE_ONLY and system_ace_concurrent_readunique_cleanunique_enable set to 1. Coverpoints:
|
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_COHERANT_XACT_FLOW | trans_master_ace_lite_coherent_and_ace_snoop_response_association |
|
Covergroup: trans_master_ace_lite_coherent_and_ace_snoop_response_association
Covergroup for all coherent transactions generated from ACE-Lite master and the correponding Snoop response from ACE-Masters for these coherent transactions. This will be a Port Level Covergroup and will be applicable for all ACE-Masters and will only be created when there is atleast one ACE-Lite master in the system. It is constructed and sampled when interface_type is AXI_ACE and trans_master_ace_lite_coherent_and_ace_snoop_response_association_enable set to 1. Coverpoints:
Cross Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Table C6-1 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_COHERANT_XACT_FLOW | trans_master_ace_no_cached_copy_overlapping_coherent_xact |
|
Covergroup: trans_master_ace_no_cached_copy_overlapping_coherent_xact
This Covergroup captures no cached copy for overlapping coherant transaction. It is constructed and sampled when interface_type is AXI_ACE and system_ace_no_cached_copy_overlapping_coherent_xact_enable set to 1. Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C1.3.4 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_COHERANT_XACT_FLOW | trans_master_ace_store_overlapping_coherent_xact |
|
Covergroup: trans_master_ace_store_overlapping_coherent_xact
This Covergroup captures overlapped coherant transaction for readunique and cleanunique . It is constructed and sampled when interface_type is AXI_ACE ,interface_category is not AXI_WRITE_ONLY and system_ace_store_overlapping_coherent_xact_enable set to 1. Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C4.10 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_COHERANT_XACT_FLOW | trans_master_coherent_unmatched_excl_access |
|
Covergroup: trans_master_coherent_unmatched_excl_access This Covergroup captures coherant transactions for exclusive access. It is constructed when interface_type is AXI_ACE and exclusive_access_enable set to 1.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C9.6 |
|
| AXI_PORT_MON_XACT_FLOW | AXI_PORT_MON_COHERANT_XACT_FLOW | trans_master_concurrent_coherent_exclusive_access |
|
Covergroup: trans_master_concurrent_coherent_exclusive_access This Covergroup captures coherant transactions for exclusive access. It is constructed when interface_type is AXI_ACE and exclusive_access_enable set to 1.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C9.6 |
| Covergroup | Coverpoints | Bins | Description |
|---|---|---|---|
| signal_state_acaddr |
| State covergroups for ACE snoop channel protocol signals | |
| signal_state_awaddr |
| State covergroups for common protocol signals among AXI3, AXI4, AXI4_Lite, ACE | |
| signal_state_awlen |
| State covergroups for common protocol signals among AXI3, AXI4, ACE | |
| signal_state_awregion |
| State covergroups for AXI4 and additional ACE read/write channel protocol signals | |
| signal_state_tdata |
| State coverage for STREAM protocol signals | |
| signal_state_wid |
| State covergroups for AXI3 protocol signals | |
| system_ace_barrier_response_with_outstanding_xacts |
| Covergroup: system_ace_barrier_response_with_outstanding_xacts
Coverpoints:
|
|
| system_ace_coherent_and_snoop_association_recommended |
| Covergroup: system_ace_coherent_and_snoop_association_recommended
Coverpoints:
|
|
| system_ace_coherent_and_snoop_association_recommended_and_optional |
| Covergroup: system_ace_coherent_and_snoop_association_recommended_and_optional
Coverpoints:
|
|
| system_ace_concurrent_overlapping_coherent_xacts |
| Covergroup: system_ace_concurrent_overlapping_coherent_xacts
The covergroup system_ace_concurrent_overlapping_coherent_xacts covers coherent transactions initiated from different ACE masters concurrently on the same address.
The covergroup needs atlease two ACE masters to be present in the system.
Coverpoints:
|
|
| system_ace_concurrent_readunique_cleanunique |
| Covergroup: system_ace_concurrent_readunique_cleanunique
Coverpoints:
|
|
| system_ace_cross_cache_line_dirty_data_write |
| Covergroup: system_ace_cross_cache_line_dirty_data_write
Coverpoints:
|
|
| system_ace_dirty_data_write |
| Covergroup: system_ace_dirty_data_write
Coverpoints:
|
|
| system_ace_no_cached_copy_overlapping_coherent_xact |
| Covergroup: system_ace_no_cached_copy_overlapping_coherent_xact
Coverpoints:
|
|
| system_ace_snoop_and_memory_returns_data |
| Covergroup: system_ace_snoop_and_memory_returns_data
Coverpoints:
|
|
| system_ace_store_overlapping_coherent_xact |
| Covergroup: system_ace_store_overlapping_coherent_xact
Coverpoints:
|
|
| system_ace_valid_read_channel_valid_overlap |
| Covergroup: system_ace_valid_read_channel_valid_overlap
This covergroup is cross coverage of read address and snoop channel whenever ARVALID is 1, ARREADY is 0, read outstanding is reached, ACVALID=0 and ACREADY=1 Coverpoints:
|
|
| system_ace_valid_write_channel_valid_overlap |
| Covergroup: system_ace_valid_write_channel_valid_overlap
This covergroup is cross coverage of write address and snoop channel whenever AWVALID is 1, AWREADY is 0, read outstanding is reached, ACVALID=0 and ACREADY=1 Coverpoints:
|
|
| system_ace_write_during_speculative_fetch |
| Covergroup: system_ace_write_during_speculative_fetch
Coverpoints:
|
|
| system_ace_xacts_with_high_priority_from_other_master_during_barrier |
| Covergroup: system_ace_xacts_with_high_priority_from_other_master_during_barrier
Coverpoints:
|
|
| system_axi_master_to_slave_access |
| Covergroup: system_axi_master_to_slave_access
Coverpoints:
|
|
| system_axi_master_to_slave_access_range |
| Covergroup: system_axi_master_to_slave_access_range
Coverpoints:
|
|
| trans_ace_barrier_pair_sequence |
| Coverage group for covering the order of read and write barrier transactions within a barrier pair Bins: barrier_pair_rd_after_wr_seq - Read barrier transaction occurs after write barrier transaction barrier_pair_wr_after_rd_seq - Write barrier transaction occurs after read barrier transaction barrier_pair_simultaneous_rd_wr_seq - Read barrier and write barrier transactions occurs at same clock This covergroup is applicable only for svt_axi_port_configuration :: axi_interface_type set to AXI_ACE/ACE_LITE. |
|
| trans_cross_ace_acsnoop_cacheinitialstate_cachefinalstate |
|
Covergroup: trans_cross_ace_acsnoop_cacheinitialstate_cachefinalstate
This Covergroup captures snoop_xact_type, snoop initial and final cache line state for snoop based transaction. It is constructed when interface_type is not ACE_LITE and trans_cross_ace_acsnoop_cacheinitialstate_cachefinalstate_enable set to 1. Coverpoints:
|
|
| trans_cross_ace_acsnoop_cacheinitialstate_cachefinalstate_one_ace_acelite |
|
Covergroup: trans_cross_ace_acsnoop_cacheinitialstate_cachefinalstate
This Covergroup captures snoop_xact_type, snoop initial and final cache line state for snoop based transaction. This covergroup will be created when there is only one ACE-master and minimum one or more than one ACE_LITE master in the system. It is constructed when interface_type is not ACE_LITE and trans_cross_ace_acsnoop_cacheinitialstate_cachefinalstate_enable set to 1. Coverpoints:
|
|
| trans_cross_ace_ardomain_arbarrier_memory_sync |
|
Covergroup: trans_cross_ace_ardomain_arbarrier_memory_sync
This Covergroup captures barrier_type and domain_type for read transaction. It is constructed and sampled when trans_cross_ace_ardomain_arbarrier_memory_sync_enable is set to 1. Coverpoints:
|
|
| trans_cross_ace_ardomain_arbarrier_respect_ignore |
|
Covergroup: trans_cross_ace_ardomain_arbarrier_respect_ignore
This Covergroup captures barrier_type and domain_type for read transaction. It is constructed and sampled when trans_cross_ace_ardomain_arbarrier_respect_ignore_enable & barrier_enable is set to 1. Coverpoints:
|
|
| trans_cross_ace_awsnoop_awdomain_awcache |
|
Covergroup: trans_cross_ace_awsnoop_awdomain_awcache
This Covergroup captures coherant write xact_type,domain and cache type for write transaction. It is constructed and sampled when trans_cross_ace_awsnoop_awdomain_awcache_enable is set to 1. Coverpoints:
|
|
| trans_cross_ace_dvm_firstpart_secondpart_addr_range_32 |
|
Covergroup: trans_cross_ace_dvm_firstpart_secondpart_addr_range_32
This covergroup is cross coverage of FirstPart of DVM (Virtual Address) on ARADDR[39:32], ARADDR[31:16] and SecondPart of DVM on ARADDR[39:4]. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: axi_port_kind is AXI_MASTER svt_axi_port_configuration :: axi_interface_category is !AXI_WRITE_ONLY svt_axi_port_configuration :: trans_cross_ace_dvm_firstpart_secondpart_addr_range_cov_enable = 1 svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 32. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_ace_snoop_dvm_tlbinvl_modes_virtaddr_msb47to16 |
|
Covergroup: trans_cross_ace_snoop_dvm_tlbinvl_modes_virtaddr_msb47to16
This covergroup is cross coverage of snoop DVM TLB Invalidate message type, invalidate address modes and virtual address range. The virtual address width is 32 bits. It is constructed and sampled when svt_axi_port_configuration :: axi_interface_type is AXI_ACE or ACE_LITE svt_axi_port_configuration :: dvm_enable = 1 svt_axi_port_configuration :: trans_cross_ace_dvm_tlbinvl_modes_virtaddr_cov_enable = 1 svt_axi_port_monitor_def_cov_data_callback :: cov_snoop_addr_6_bit_flag = 1 svt_axi_port_configuration :: addr_width = 48. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi3_awburst_awlen_awaddr_awsize |
|
Covergroup: trans_cross_axi3_awburst_awlen_awaddr_awsize
This covergroup describes about burst_type,burst_length ,address and size signal for write transfer. It is constructed and sampled when interface type is AXI3. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi3_awburst_awlen_awcache |
|
Covergroup: trans_cross_axi3_awburst_awlen_awcache
This covergroup describes about burst_type,burst_length and cache signal for write transfer. It is constructed and sampled when interface type is AXI3. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi3_awburst_awlen_awlock |
|
Covergroup: trans_cross_axi3_awburst_awlen_awlock
This covergroup describes about burst_type,burst_length and lock signal for write transfer. It is constructed and sampled when interface type is AXI3. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi3_awburst_awlen_awprot |
|
Covergroup: trans_cross_axi3_awburst_awlen_awprot
This covergroup describes about burst_type,burst_length and protection signal for write transfer. It is constructed and sampled when interface type is AXI3. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi3_awburst_awlen_awsize |
|
Covergroup: trans_cross_axi3_awburst_awlen_awsize
This covergroup describes for burst_type,burst_length and burst_size for write transfer. It is constructed when interface type is AXI3 and trans_cross_axi_awburst_awlen_awsize_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi4_awburst_awlen_awaddr_awsize |
|
Covergroup: trans_cross_axi4_awburst_awlen_awaddr_awsize
This covergroup describes about burst_type,burst_length ,address and size signal for write transfer. It is constructed and sampled when interface type is AXI4. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi4_awburst_awlen_awcache |
|
Covergroup: trans_cross_axi4_awburst_awlen_awcache
This covergroup describes about burst_type,burst_length and cache signal for write transfer. It is constructed and sampled when interface type is AXI4. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi4_awburst_awlen_awlock |
|
Covergroup: trans_cross_axi4_awburst_awlen_awlock
This covergroup describes about burst_type,burst_length and lock signal for write transfer. It is constructed and sampled when interface type is AXI4. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi4_awburst_awlen_awprot |
|
Covergroup: trans_cross_axi4_awburst_awlen_awprot
This covergroup describes about burst_type,burst_length and protection signal for write transfer. It is constructed and sampled when interface type is AXI4. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi4_awburst_awlen_awsize |
|
Covergroup: trans_cross_axi4_awburst_awlen_awsize
This covergroup describes for burst_type,burst_length and burst_size for write transfer. It is constructed and sampled when interface type is AXI4 and trans_cross_axi_awburst_awlen_awsize_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_axi4_stream_interleaving_depth |
|
Covergroup: trans_cross_axi4_stream_interleaving_depth
This covergroup describes about interleave depth size for axi_stream tb. It is constructed when interface type is AXI_STREAM Coverpoints:
|
|
| trans_cross_axi_ooo_read_response_depth |
|
Covergroup: trans_cross_axi_ooo_read_response_depth
This covergroup describes It is constructed when trans_cross_axi_ooo_read_response_depth_enable is asserted. Coverpoints:
|
|
| trans_cross_axi_ooo_write_response_depth |
|
Covergroup: trans_cross_axi_ooo_write_response_depth
Coverpoints:
|
|
| trans_cross_axi_read_interleaving_depth |
|
Covergroup: trans_cross_axi_read_interleaving_depth
This covergroup describes about interleave depth size for read transfer. It is constructed when trans_cross_axi_read_interleaving_depth_enable is asserted. The number of bins get hit is equal to the number of active read transactions that were interleaved. Coverpoints:
|
|
| trans_cross_axi_write_strobes |
|
Covergroup: trans_cross_axi_write_strobes
This covergroup captures strobe values for write transfer. It is constructed and sampled when trans_cross_axi_write_strobes_enable is asserted. Coverpoints:
Cross coverpoints:
|
|
| trans_cross_master_to_slave_path_access_axi3 |
|
This Covergroup captures attributes for coherant read and write type,
for all slaves
It is constructed when interface type is AXI3 and
trans_cross_master_to_slave_path_access_axi3_enable is set to 1.
Covergroup: trans_cross_master_to_slave_path_access_axi3
Coverpoints:
|
|
| trans_lock_followed_by_excl_sequence |
| Coverage group for covering locked transaction followed by exclusive transaction This will be covered when a locked read transaction followed by a exclusive read transaction is fired. Applicable only when axi_interface_type is AXI3. Bins: lock_followed_by_excl_seq - lock transaction followed by exclusive transaction |
|
| trans_master_barrier_id_reuse_for_non_barrier |
|
Covergroup: trans_master_barrier_id_reuse_for_non_barrier This Covergroup captures number of ID used for barrier transaction and it is reused as normal type. It is constructed when interface_type is AXI_ACE and barrier_enable set to 1.
Coverpoints:
Reference: AMBA AXI and ACE Protocol Specification: ARM IHI 0022E ID022613; Section C8.4 |
|
| trans_xact_domain_after_innershareable_barrier |
|
Covergroup: trans_xact_domain_after_innershareable_barrier
This Covergroup captures innershareable read and write barrier request after master issues shareable transactions type. It is constructed when interface type is AXI_ACE or ACE_LITE and trans_xact_domain_after_innershareable_barrier_enable & barrier enable set to 1. Coverpoints:
|
|
| trans_xact_domain_after_nonshareable_barrier |
|
Covergroup: trans_xact_domain_after_nonshareable_barrier
This Covergroup captures nonshareable read and write barrier request after master issues shareable transactions type. It is constructed when interface type is AXI_ACE or ACE_LITE and trans_xact_domain_after_nonshareable_barrier_enable & barrier enable set to 1. Coverpoints:
|
|
| trans_xact_domain_after_outershareable_barrier |
|
Covergroup: trans_xact_domain_after_outershareable_barrier
This Covergroup captures outershareable read and write barrier request after master issues shareable transactions type. It is constructed when interface type is AXI_ACE or ACE_LITE and trans_xact_domain_after_outershareable_barrier_enable & barrier enable set to 1. Coverpoints:
|
|
| trans_xact_domain_after_systemshareable_barrier |
|
Covergroup: trans_xact_domain_after_systemshareable_barrier
This Covergroup captures systemshareable read and write barrier request after master issues shareable transactions type. It is constructed when interface type is AXI_ACE or ACE_LITE and trans_xact_domain_after_systemshareable_barrier_enable & barrier enable set to 1. Coverpoints:
|
| Covergroup | Coverpoints | Bins |
|---|---|---|
| signal_state_acprot |
| |
| signal_state_acsnoop |
| |
| signal_state_araddr |
| |
| signal_state_arbar |
| |
| signal_state_arburst |
| |
| signal_state_arcache |
| |
| signal_state_arcache_axi4 |
| |
| signal_state_ardomain |
| |
| signal_state_arid |
| |
| signal_state_arlen |
| |
| signal_state_arlock |
| |
| signal_state_arlock_axi4 |
| |
| signal_state_arprot |
| |
| signal_state_arqos |
| |
| signal_state_arregion |
| |
| signal_state_arsize |
| |
| signal_state_arsnoop |
| |
| signal_state_aruser |
| |
| signal_state_awbar |
| |
| signal_state_awburst |
| |
| signal_state_awcache |
| |
| signal_state_awcache_axi4 |
| |
| signal_state_awdomain |
| |
| signal_state_awid |
| |
| signal_state_awlock |
| |
| signal_state_awlock_axi4 |
| |
| signal_state_awprot |
| |
| signal_state_awqos |
| |
| signal_state_awsize |
| |
| signal_state_awsnoop |
| |
| signal_state_awuser |
| |
| signal_state_bid |
| |
| signal_state_bresp |
| |
| signal_state_buser |
| |
| signal_state_cddata |
| |
| signal_state_crresp |
| |
| signal_state_rdata |
| |
| signal_state_rid |
| |
| signal_state_rresp |
| |
| signal_state_rresp_ace |
| |
| signal_state_ruser |
| |
| signal_state_tdest |
| |
| signal_state_tid |
| |
| signal_state_tkeep |
| |
| signal_state_tstrb |
| |
| signal_state_tuser |
| |
| signal_state_wdata |
| |
| signal_state_wstrb |
| |
| signal_state_wuser |
| |
| system_interleaved_ace_concurrent_outstanding_same_id |
| |
| toggle_cov |
|