VIP Smartsearch

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

  • How to download VIP smartsearch?

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

  • How to install VIP Smartsearch?

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

  • Customer Support

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

AHB SVT VMM Documentation - CoverGroup Reference

Functional Covergroups for Product: amba_svt

Covergroup Coverpoints Bins Description
system_ahb_all_masters_busreq
  • ahb_all_masters_busreq:master_0_busreq, master_1_busreq, master_2_busreq, master_3_busreq, master_4_busreq, master_5_busreq, master_6_busreq, master_7_busreq, master_8_busreq, master_9_busreq, master_10_busreq, master_11_busreq, master_12_busreq, master_13_busreq, master_14_busreq, master_15_busreq, master_16_busreq, master_17_busreq, master_18_busreq, master_19_busreq, master_20_busreq, master_21_busreq, master_22_busreq, master_23_busreq, master_24_busreq, master_25_busreq, master_26_busreq, master_27_busreq, master_28_busreq, master_29_busreq, master_30_busreq, master_31_busreq, master_32_busreq, master_33_busreq, master_34_busreq, master_35_busreq, master_36_busreq, master_37_busreq, master_38_busreq, master_39_busreq, master_40_busreq, master_41_busreq, master_42_busreq, master_43_busreq, master_44_busreq, master_45_busreq, master_46_busreq, master_47_busreq, master_48_busreq, master_49_busreq, master_50_busreq, master_51_busreq, master_52_busreq, master_53_busreq, master_54_busreq, master_55_busreq, master_56_busreq, master_57_busreq, master_58_busreq, master_59_busreq, master_60_busreq, master_61_busreq, master_62_busreq, master_63_busreq, master_64_busreq, master_65_busreq, master_66_busreq, master_67_busreq, master_68_busreq, master_69_busreq, master_70_busreq, master_71_busreq, master_72_busreq, master_73_busreq, master_74_busreq, master_75_busreq, master_76_busreq, master_77_busreq, master_78_busreq, master_79_busreq, master_80_busreq, master_81_busreq, master_82_busreq, master_83_busreq, master_84_busreq, master_85_busreq, master_86_busreq, master_87_busreq, master_88_busreq, master_89_busreq, master_90_busreq, master_91_busreq, master_92_busreq, master_93_busreq, master_94_busreq, master_95_busreq, master_96_busreq, master_97_busreq, master_98_busreq, master_99_busreq, master_100_busreq, master_101_busreq, master_102_busreq, master_103_busreq, master_104_busreq, master_105_busreq, master_106_busreq, master_107_busreq, master_108_busreq, master_109_busreq, master_110_busreq, master_111_busreq, master_112_busreq, master_113_busreq, master_114_busreq, master_115_busreq, master_116_busreq, master_117_busreq, master_118_busreq, master_119_busreq, master_120_busreq, master_121_busreq, master_122_busreq, master_123_busreq, master_124_busreq, master_125_busreq, master_126_busreq, master_127_busreq
Covergroup: system_ahb_all_masters_busreq

Coverpoints:

  • ahb_all_masters_busreq: This coverpoint covers the bus request asserted by the AHB Master for acquiring the bus to fire the AHB transactions.This covepoint will ensure that all Masters have requested for the bus at least once.
system_ahb_all_masters_grant
  • ahb_all_masters_grant:master_0_grant, master_1_grant, master_2_grant, master_3_grant, master_4_grant, master_5_grant, master_6_grant, master_7_grant, master_8_grant, master_9_grant, master_10_grant, master_11_grant, master_12_grant, master_13_grant, master_14_grant, master_15_grant, master_16_grant, master_17_grant, master_18_grant, master_19_grant, master_20_grant, master_21_grant, master_22_grant, master_23_grant, master_24_grant, master_25_grant, master_26_grant, master_27_grant, master_28_grant, master_29_grant, master_30_grant, master_31_grant, master_32_grant, master_33_grant, master_34_grant, master_35_grant, master_36_grant, master_37_grant, master_38_grant, master_39_grant, master_40_grant, master_41_grant, master_42_grant, master_43_grant, master_44_grant, master_45_grant, master_46_grant, master_47_grant, master_48_grant, master_49_grant, master_50_grant, master_51_grant, master_52_grant, master_53_grant, master_54_grant, master_55_grant, master_56_grant, master_57_grant, master_58_grant, master_59_grant, master_60_grant, master_61_grant, master_62_grant, master_63_grant, master_64_grant, master_65_grant, master_66_grant, master_67_grant, master_68_grant, master_69_grant, master_70_grant, master_71_grant, master_72_grant, master_73_grant, master_74_grant, master_75_grant, master_76_grant, master_77_grant, master_78_grant, master_79_grant, master_80_grant, master_81_grant, master_82_grant, master_83_grant, master_84_grant, master_85_grant, master_86_grant, master_87_grant, master_88_grant, master_89_grant, master_90_grant, master_91_grant, master_92_grant, master_93_grant, master_94_grant, master_95_grant, master_96_grant, master_97_grant, master_98_grant, master_99_grant, master_100_grant, master_101_grant, master_102_grant, master_103_grant, master_104_grant, master_105_grant, master_106_grant, master_107_grant, master_108_grant, master_109_grant, master_110_grant, master_111_grant, master_112_grant, master_113_grant, master_114_grant, master_115_grant, master_116_grant, master_117_grant, master_118_grant, master_119_grant, master_120_grant, master_121_grant, master_122_grant, master_123_grant, master_124_grant, master_125_grant, master_126_grant, master_127_grant
Covergroup: system_ahb_all_masters_grant

Coverpoints:

  • ahb_all_masters_grant: This coverpoint covers the bus grant asserted AHB Bus that indicates which master has access to the bus. This coverpoint ensures that the bus grant is given to all the master connected on the bus
system_ahb_all_slaves_selected
  • ahb_all_slaves_hsel:slave_0_hsel, slave_1_hsel, slave_2_hsel, slave_3_hsel, slave_4_hsel, slave_5_hsel, slave_6_hsel, slave_7_hsel, slave_8_hsel, slave_9_hsel, slave_10_hsel, slave_11_hsel, slave_12_hsel, slave_13_hsel, slave_14_hsel, slave_15_hsel, slave_16_hsel, slave_17_hsel, slave_18_hsel, slave_19_hsel, slave_20_hsel, slave_21_hsel, slave_22_hsel, slave_23_hsel, slave_24_hsel, slave_25_hsel, slave_26_hsel, slave_27_hsel, slave_28_hsel, slave_29_hsel, slave_30_hsel, slave_31_hsel, slave_32_hsel, slave_33_hsel, slave_34_hsel, slave_35_hsel, slave_36_hsel, slave_37_hsel, slave_38_hsel, slave_39_hsel, slave_40_hsel, slave_41_hsel, slave_42_hsel, slave_43_hsel, slave_44_hsel, slave_45_hsel, slave_46_hsel, slave_47_hsel, slave_48_hsel, slave_49_hsel, slave_50_hsel, slave_51_hsel, slave_52_hsel, slave_53_hsel, slave_54_hsel, slave_55_hsel, slave_56_hsel, slave_57_hsel, slave_58_hsel, slave_59_hsel, slave_60_hsel, slave_61_hsel, slave_62_hsel, slave_63_hsel, slave_64_hsel, slave_65_hsel, slave_66_hsel, slave_67_hsel, slave_68_hsel, slave_69_hsel, slave_70_hsel, slave_71_hsel, slave_72_hsel, slave_73_hsel, slave_74_hsel, slave_75_hsel, slave_76_hsel, slave_77_hsel, slave_78_hsel, slave_79_hsel, slave_80_hsel, slave_81_hsel, slave_82_hsel, slave_83_hsel, slave_84_hsel, slave_85_hsel, slave_86_hsel, slave_87_hsel, slave_88_hsel, slave_89_hsel, slave_90_hsel, slave_91_hsel, slave_92_hsel, slave_93_hsel, slave_94_hsel, slave_95_hsel, slave_96_hsel, slave_97_hsel, slave_98_hsel, slave_99_hsel, slave_100_hsel, slave_101_hsel, slave_102_hsel, slave_103_hsel, slave_104_hsel, slave_105_hsel, slave_106_hsel, slave_107_hsel, slave_108_hsel, slave_109_hsel, slave_110_hsel, slave_111_hsel, slave_112_hsel, slave_113_hsel, slave_114_hsel, slave_115_hsel, slave_116_hsel, slave_117_hsel, slave_118_hsel, slave_119_hsel, slave_120_hsel, slave_121_hsel, slave_122_hsel, slave_123_hsel, slave_124_hsel, slave_125_hsel, slave_126_hsel, slave_127_hsel
Covergroup: system_ahb_all_slaves_selected

Coverpoints:

  • ahb_all_slaves_hsel: This coverpoint covers that all AHB slaves in the system have been selected at least once and all transactions have been run on each selected slave.
system_ahb_cross_all_masters_busreq_grant
  • ahb_all_masters_busreq:master_0_busreq, master_1_busreq, master_2_busreq, master_3_busreq, master_4_busreq, master_5_busreq, master_6_busreq, master_7_busreq, master_8_busreq, master_9_busreq, master_10_busreq, master_11_busreq, master_12_busreq, master_13_busreq, master_14_busreq, master_15_busreq, master_16_busreq, master_17_busreq, master_18_busreq, master_19_busreq, master_20_busreq, master_21_busreq, master_22_busreq, master_23_busreq, master_24_busreq, master_25_busreq, master_26_busreq, master_27_busreq, master_28_busreq, master_29_busreq, master_30_busreq, master_31_busreq, master_32_busreq, master_33_busreq, master_34_busreq, master_35_busreq, master_36_busreq, master_37_busreq, master_38_busreq, master_39_busreq, master_40_busreq, master_41_busreq, master_42_busreq, master_43_busreq, master_44_busreq, master_45_busreq, master_46_busreq, master_47_busreq, master_48_busreq, master_49_busreq, master_50_busreq, master_51_busreq, master_52_busreq, master_53_busreq, master_54_busreq, master_55_busreq, master_56_busreq, master_57_busreq, master_58_busreq, master_59_busreq, master_60_busreq, master_61_busreq, master_62_busreq, master_63_busreq, master_64_busreq, master_65_busreq, master_66_busreq, master_67_busreq, master_68_busreq, master_69_busreq, master_70_busreq, master_71_busreq, master_72_busreq, master_73_busreq, master_74_busreq, master_75_busreq, master_76_busreq, master_77_busreq, master_78_busreq, master_79_busreq, master_80_busreq, master_81_busreq, master_82_busreq, master_83_busreq, master_84_busreq, master_85_busreq, master_86_busreq, master_87_busreq, master_88_busreq, master_89_busreq, master_90_busreq, master_91_busreq, master_92_busreq, master_93_busreq, master_94_busreq, master_95_busreq, master_96_busreq, master_97_busreq, master_98_busreq, master_99_busreq, master_100_busreq, master_101_busreq, master_102_busreq, master_103_busreq, master_104_busreq, master_105_busreq, master_106_busreq, master_107_busreq, master_108_busreq, master_109_busreq, master_110_busreq, master_111_busreq, master_112_busreq, master_113_busreq, master_114_busreq, master_115_busreq, master_116_busreq, master_117_busreq, master_118_busreq, master_119_busreq, master_120_busreq, master_121_busreq, master_122_busreq, master_123_busreq, master_124_busreq, master_125_busreq, master_126_busreq, master_127_busreq
  • ahb_all_masters_grant:master_0_grant, master_1_grant, master_2_grant, master_3_grant, master_4_grant, master_5_grant, master_6_grant, master_7_grant, master_8_grant, master_9_grant, master_10_grant, master_11_grant, master_12_grant, master_13_grant, master_14_grant, master_15_grant, master_16_grant, master_17_grant, master_18_grant, master_19_grant, master_20_grant, master_21_grant, master_22_grant, master_23_grant, master_24_grant, master_25_grant, master_26_grant, master_27_grant, master_28_grant, master_29_grant, master_30_grant, master_31_grant, master_32_grant, master_33_grant, master_34_grant, master_35_grant, master_36_grant, master_37_grant, master_38_grant, master_39_grant, master_40_grant, master_41_grant, master_42_grant, master_43_grant, master_44_grant, master_45_grant, master_46_grant, master_47_grant, master_48_grant, master_49_grant, master_50_grant, master_51_grant, master_52_grant, master_53_grant, master_54_grant, master_55_grant, master_56_grant, master_57_grant, master_58_grant, master_59_grant, master_60_grant, master_61_grant, master_62_grant, master_63_grant, master_64_grant, master_65_grant, master_66_grant, master_67_grant, master_68_grant, master_69_grant, master_70_grant, master_71_grant, master_72_grant, master_73_grant, master_74_grant, master_75_grant, master_76_grant, master_77_grant, master_78_grant, master_79_grant, master_80_grant, master_81_grant, master_82_grant, master_83_grant, master_84_grant, master_85_grant, master_86_grant, master_87_grant, master_88_grant, master_89_grant, master_90_grant, master_91_grant, master_92_grant, master_93_grant, master_94_grant, master_95_grant, master_96_grant, master_97_grant, master_98_grant, master_99_grant, master_100_grant, master_101_grant, master_102_grant, master_103_grant, master_104_grant, master_105_grant, master_106_grant, master_107_grant, master_108_grant, master_109_grant, master_110_grant, master_111_grant, master_112_grant, master_113_grant, master_114_grant, master_115_grant, master_116_grant, master_117_grant, master_118_grant, master_119_grant, master_120_grant, master_121_grant, master_122_grant, master_123_grant, master_124_grant, master_125_grant, master_126_grant, master_127_grant
Covergroup: system_ahb_cross_all_masters_busreq_grant

Coverpoints:

  • ahb_all_masters_busreq: This coverpoint covers the bus request asserted by the AHB Master for acquiring the bus to fire the AHB transactions.This covepoint will ensure that all Masters have requested for the bus at least once.

  • ahb_all_masters_grant: This coverpoint covers the bus grant asserted AHB Bus that indicates which master has access to the bus. This coverpoint ensures that the bus grant is given to all the master connected on the bus

  • ahb_cross_all_masters_busreq_grant: This is cross coverpoint of bus request and bus grant.This coverpoint will verify which master is requesting the bus and which master is getting the access of bus
system_ahb_eight_slaves_selection_sequence
  • ahb_eight_slaves_selection_sequence:slave_0_to_slave7_hsel
Covergroup: system_ahb_eight_slaves_selection_sequence

Coverpoints:

  • ahb_eight_slaves_selection_sequence: This coverpoint is used to check whether hsel transfer from first slave(hsel[0]) to last slave(hsel[7]) happens in sequence in eight slaves environment. None of the slaves should be configured as default slave to hit this covergroup. This covergroup will only be constructed if there are 8 slaves in a system. In order to hit this covergroup none of the slaves should be configured as default slaves.
system_ahb_four_slaves_selection_sequence
  • ahb_four_slaves_selection_sequence:slave_0_slave_1_slave_2_slave_3_hsel
Covergroup: system_ahb_four_slaves_selection_sequence

Coverpoints:

  • ahb_four_slaves_selection_sequence: This coverpoint is used to check whether hsel transfer from first slave(hsel[0]) to last slave(hsel[3]) happens in sequence in four slaves environment. None of the slaves should be configured as default slave to hit this covergroup. This covergroup will only be constructed if there are 4 slaves in a system. In order to hit this covergroup none of the slaves should be configured as default slaves.
system_ahb_sixteen_slaves_selection_sequence
  • ahb_sixteen_slaves_selection_sequence:slave_0_to_slave15_hsel
Covergroup: system_ahb_sixteen_slaves_selection_sequence

Coverpoints:

  • ahb_sixteen_slaves_selection_sequence: This coverpoint is used to check whether hsel transfer from first slave(hsel[0]) to last slave(hsel[15]) happens in sequence in sixteen slaves environment. None of the slaves should be configured as default slave to hit this covergroup. This covergroup will only be constructed if there are 16 slaves in a system. In order to hit this covergroup none of the slaves should be configured as default slaves.
system_ahb_two_slaves_selection_sequence
  • ahb_two_slaves_selection_sequence:slave_0_slave_1_hsel
Covergroup: system_ahb_two_slaves_selection_sequence

Coverpoints:

  • ahb_two_slaves_selection_sequence: This coverpoint is used to check whether hsel transfer from first slave(hsel[0]) to last slave(hsel[1]) happens in sequence in two slaves environment. Both slave 0 and slave 1 should not be configured as default slave to hit this covergroup. This covergroup will only be constructed if there are 2 slaves in a system. In order to hit this covergroup both slave 0 and slave 1 should not be configured as default slaves.
trans_ahb_beat_hresp_transistion_abort_on_error_ahb_full
  • hresp_transistion:okay_okay, okay_error, okay_split, okay_retry, split_okay, split_error, split_split, split_retry, retry_okay, retry_error, retry_split, retry_retry
Covergroup: trans_ahb_beat_hresp_transistion_abort_on_error_ahb_full

Coverpoints:

  • cov_hresp_transistion_type: Captures response transistion between successive beats
trans_ahb_beat_hresp_transistion_abort_on_error_ahb_lite
  • hresp_transistion:okay_okay, okay_error
Covergroup: trans_ahb_beat_hresp_transistion_abort_on_error_ahb_lite

Coverpoints:

  • cov_hresp_transistion_type: Captures response transistion between successive beats
trans_ahb_beat_hresp_transistion_continue_on_error_ahb_full
  • hresp_transistion:okay_okay, okay_error, okay_split, okay_retry, error_okay, error_error, error_split, error_retry, split_okay, split_error, split_split, split_retry, retry_okay, retry_error, retry_split, retry_retry
Covergroup: trans_ahb_beat_hresp_transistion_continue_on_error_ahb_full

Coverpoints:

  • cov_hresp_transistion_type: Captures response transistion between successive beats
trans_ahb_beat_hresp_transistion_continue_on_error_ahb_lite
  • hresp_transistion:okay_okay, okay_error, error_okay, error_error
Covergroup: trans_ahb_beat_hresp_transistion_continue_on_error_ahb_lite

Coverpoints:

  • cov_hresp_transistion_type: Captures response transistion between successive beats
trans_ahb_hburst_transition
  • hburst_transition:single_rd_single_rd, single_rd_single_wr, single_rd_incr_rd, single_rd_incr_wr, single_rd_wrap4_rd, single_rd_wrap4_wr, single_rd_incr4_rd, single_rd_incr4_wr, single_rd_wrap8_rd, single_rd_wrap8_wr, single_rd_incr8_rd, single_rd_incr8_wr, single_rd_wrap16_rd, single_rd_wrap16_wr, single_rd_incr16_rd, single_rd_incr16_wr, single_wr_single_rd, single_wr_single_wr, single_wr_incr_rd, single_wr_incr_wr, single_wr_wrap4_rd, single_wr_wrap4_wr, single_wr_incr4_rd, single_wr_incr4_wr, single_wr_wrap8_rd, single_wr_wrap8_wr, single_wr_incr8_rd, single_wr_incr8_wr, single_wr_wrap16_rd, single_wr_wrap16_wr, single_wr_incr16_rd, single_wr_incr16_wr, incr_rd_single_rd, incr_rd_single_wr, incr_rd_incr_rd, incr_rd_incr_wr, incr_rd_wrap4_rd, incr_rd_wrap4_wr, incr_rd_incr4_rd, incr_rd_incr4_wr, incr_rd_wrap8_rd, incr_rd_wrap8_wr, incr_rd_incr8_rd, incr_rd_incr8_wr, incr_rd_wrap16_rd, incr_rd_wrap16_wr, incr_rd_incr16_rd, incr_rd_incr16_wr, incr_wr_single_rd, incr_wr_single_wr, incr_wr_incr_rd, incr_wr_incr_wr, incr_wr_wrap4_rd, incr_wr_wrap4_wr, incr_wr_incr4_rd, incr_wr_incr4_wr, incr_wr_wrap8_rd, incr_wr_wrap8_wr, incr_wr_incr8_rd, incr_wr_incr8_wr, incr_wr_wrap16_rd, incr_wr_wrap16_wr, incr_wr_incr16_rd, incr_wr_incr16_wr, wrap4_rd_single_rd, wrap4_rd_single_wr, wrap4_rd_incr_rd, wrap4_rd_incr_wr, wrap4_rd_wrap4_rd, wrap4_rd_wrap4_wr, wrap4_rd_incr4_rd, wrap4_rd_incr4_wr, wrap4_rd_wrap8_rd, wrap4_rd_wrap8_wr, wrap4_rd_incr8_rd, wrap4_rd_incr8_wr, wrap4_rd_wrap16_rd, wrap4_rd_wrap16_wr, wrap4_rd_incr16_rd, wrap4_rd_incr16_wr, wrap4_wr_single_rd, wrap4_wr_single_wr, wrap4_wr_incr_rd, wrap4_wr_incr_wr, wrap4_wr_wrap4_rd, wrap4_wr_wrap4_wr, wrap4_wr_incr4_rd, wrap4_wr_incr4_wr, wrap4_wr_wrap8_rd, wrap4_wr_wrap8_wr, wrap4_wr_incr8_rd, wrap4_wr_incr8_wr, wrap4_wr_wrap16_rd, wrap4_wr_wrap16_wr, wrap4_wr_incr16_rd, wrap4_wr_incr16_wr, incr4_rd_single_rd, incr4_rd_single_wr, incr4_rd_incr_rd, incr4_rd_incr_wr, incr4_rd_wrap4_rd, incr4_rd_wrap4_wr, incr4_rd_incr4_rd, incr4_rd_incr4_wr, incr4_rd_wrap8_rd, incr4_rd_wrap8_wr, incr4_rd_incr8_rd, incr4_rd_incr8_wr, incr4_rd_wrap16_rd, incr4_rd_wrap16_wr, incr4_rd_incr16_rd, incr4_rd_incr16_wr, incr4_wr_single_rd, incr4_wr_single_wr, incr4_wr_incr_rd, incr4_wr_incr_wr, incr4_wr_wrap4_rd, incr4_wr_wrap4_wr, incr4_wr_incr4_rd, incr4_wr_incr4_wr, incr4_wr_wrap8_rd, incr4_wr_wrap8_wr, incr4_wr_incr8_rd, incr4_wr_incr8_wr, incr4_wr_wrap16_rd, incr4_wr_wrap16_wr, incr4_wr_incr16_rd, incr4_wr_incr16_wr, wrap8_rd_single_rd, wrap8_rd_single_wr, wrap8_rd_incr_rd, wrap8_rd_incr_wr, wrap8_rd_wrap4_rd, wrap8_rd_wrap4_wr, wrap8_rd_incr4_rd, wrap8_rd_incr4_wr, wrap8_rd_wrap8_rd, wrap8_rd_wrap8_wr, wrap8_rd_incr8_rd, wrap8_rd_incr8_wr, wrap8_rd_wrap16_rd, wrap8_rd_wrap16_wr, wrap8_rd_incr16_rd, wrap8_rd_incr16_wr, wrap8_wr_single_rd, wrap8_wr_single_wr, wrap8_wr_incr_rd, wrap8_wr_incr_wr, wrap8_wr_wrap4_rd, wrap8_wr_wrap4_wr, wrap8_wr_incr4_rd, wrap8_wr_incr4_wr, wrap8_wr_wrap8_rd, wrap8_wr_wrap8_wr, wrap8_wr_incr8_rd, wrap8_wr_incr8_wr, wrap8_wr_wrap16_rd, wrap8_wr_wrap16_wr, wrap8_wr_incr16_rd, wrap8_wr_incr16_wr, incr8_rd_single_rd, incr8_rd_single_wr, incr8_rd_incr_rd, incr8_rd_incr_wr, incr8_rd_wrap4_rd, incr8_rd_wrap4_wr, incr8_rd_incr4_rd, incr8_rd_incr4_wr, incr8_rd_wrap8_rd, incr8_rd_wrap8_wr, incr8_rd_incr8_rd, incr8_rd_incr8_wr, incr8_rd_wrap16_rd, incr8_rd_wrap16_wr, incr8_rd_incr16_rd, incr8_rd_incr16_wr, incr8_wr_single_rd, incr8_wr_single_wr, incr8_wr_incr_rd, incr8_wr_incr_wr, incr8_wr_wrap4_rd, incr8_wr_wrap4_wr, incr8_wr_incr4_rd, incr8_wr_incr4_wr, incr8_wr_wrap8_rd, incr8_wr_wrap8_wr, incr8_wr_incr8_rd, incr8_wr_incr8_wr, incr8_wr_wrap16_rd, incr8_wr_wrap16_wr, incr8_wr_incr16_rd, incr8_wr_incr16_wr, wrap16_rd_single_rd, wrap16_rd_single_wr, wrap16_rd_incr_rd, wrap16_rd_incr_wr, wrap16_rd_wrap4_rd, wrap16_rd_wrap4_wr, wrap16_rd_incr4_rd, wrap16_rd_incr4_wr, wrap16_rd_wrap8_rd, wrap16_rd_wrap8_wr, wrap16_rd_incr8_rd, wrap16_rd_incr8_wr, wrap16_rd_wrap16_rd, wrap16_rd_wrap16_wr, wrap16_rd_incr16_rd, wrap16_rd_incr16_wr, wrap16_wr_single_rd, wrap16_wr_single_wr, wrap16_wr_incr_rd, wrap16_wr_incr_wr, wrap16_wr_wrap4_rd, wrap16_wr_wrap4_wr, wrap16_wr_incr4_rd, wrap16_wr_incr4_wr, wrap16_wr_wrap8_rd, wrap16_wr_wrap8_wr, wrap16_wr_incr8_rd, wrap16_wr_incr8_wr, wrap16_wr_wrap16_rd, wrap16_wr_wrap16_wr, wrap16_wr_incr16_rd, wrap16_wr_incr16_wr, incr16_rd_single_rd, incr16_rd_single_wr, incr16_rd_incr_rd, incr16_rd_incr_wr, incr16_rd_wrap4_rd, incr16_rd_wrap4_wr, incr16_rd_incr4_rd, incr16_rd_incr4_wr, incr16_rd_wrap8_rd, incr16_rd_wrap8_wr, incr16_rd_incr8_rd, incr16_rd_incr8_wr, incr16_rd_wrap16_rd, incr16_rd_wrap16_wr, incr16_rd_incr16_rd, incr16_rd_incr16_wr, incr16_wr_single_rd, incr16_wr_single_wr, incr16_wr_incr_rd, incr16_wr_incr_wr, incr16_wr_wrap4_rd, incr16_wr_wrap4_wr, incr16_wr_incr4_rd, incr16_wr_incr4_wr, incr16_wr_wrap8_rd, incr16_wr_wrap8_wr, incr16_wr_incr8_rd, incr16_wr_incr8_wr, incr16_wr_wrap16_rd, incr16_wr_wrap16_wr, incr16_wr_incr16_rd, incr16_wr_incr16_wr
Covergroup: trans_ahb_hburst_transition

This covergroup covers the transition for each command type followed by other one. It covers all possible sequence of back to back transactions for eg: SINGLE_WR_SINGLE_WR, SINGLE_WR_SINGLE_RD -----------------to.----------- WRAP16_RD_WRAP16_WR, WRAP16_RD_WRAP16_RD

Coverpoints:

  • cov_hburst_transition_type: Captures current burst transition type
trans_ahb_hburst_transition
  • hburst_transition:single_rd_single_rd, single_rd_single_wr, single_rd_incr_rd, single_rd_incr_wr, single_rd_wrap4_rd, single_rd_wrap4_wr, single_rd_incr4_rd, single_rd_incr4_wr, single_rd_wrap8_rd, single_rd_wrap8_wr, single_rd_incr8_rd, single_rd_incr8_wr, single_rd_wrap16_rd, single_rd_wrap16_wr, single_rd_incr16_rd, single_rd_incr16_wr, single_wr_single_rd, single_wr_single_wr, single_wr_incr_rd, single_wr_incr_wr, single_wr_wrap4_rd, single_wr_wrap4_wr, single_wr_incr4_rd, single_wr_incr4_wr, single_wr_wrap8_rd, single_wr_wrap8_wr, single_wr_incr8_rd, single_wr_incr8_wr, single_wr_wrap16_rd, single_wr_wrap16_wr, single_wr_incr16_rd, single_wr_incr16_wr, incr_rd_single_rd, incr_rd_single_wr, incr_rd_incr_rd, incr_rd_incr_wr, incr_rd_wrap4_rd, incr_rd_wrap4_wr, incr_rd_incr4_rd, incr_rd_incr4_wr, incr_rd_wrap8_rd, incr_rd_wrap8_wr, incr_rd_incr8_rd, incr_rd_incr8_wr, incr_rd_wrap16_rd, incr_rd_wrap16_wr, incr_rd_incr16_rd, incr_rd_incr16_wr, incr_wr_single_rd, incr_wr_single_wr, incr_wr_incr_rd, incr_wr_incr_wr, incr_wr_wrap4_rd, incr_wr_wrap4_wr, incr_wr_incr4_rd, incr_wr_incr4_wr, incr_wr_wrap8_rd, incr_wr_wrap8_wr, incr_wr_incr8_rd, incr_wr_incr8_wr, incr_wr_wrap16_rd, incr_wr_wrap16_wr, incr_wr_incr16_rd, incr_wr_incr16_wr, wrap4_rd_single_rd, wrap4_rd_single_wr, wrap4_rd_incr_rd, wrap4_rd_incr_wr, wrap4_rd_wrap4_rd, wrap4_rd_wrap4_wr, wrap4_rd_incr4_rd, wrap4_rd_incr4_wr, wrap4_rd_wrap8_rd, wrap4_rd_wrap8_wr, wrap4_rd_incr8_rd, wrap4_rd_incr8_wr, wrap4_rd_wrap16_rd, wrap4_rd_wrap16_wr, wrap4_rd_incr16_rd, wrap4_rd_incr16_wr, wrap4_wr_single_rd, wrap4_wr_single_wr, wrap4_wr_incr_rd, wrap4_wr_incr_wr, wrap4_wr_wrap4_rd, wrap4_wr_wrap4_wr, wrap4_wr_incr4_rd, wrap4_wr_incr4_wr, wrap4_wr_wrap8_rd, wrap4_wr_wrap8_wr, wrap4_wr_incr8_rd, wrap4_wr_incr8_wr, wrap4_wr_wrap16_rd, wrap4_wr_wrap16_wr, wrap4_wr_incr16_rd, wrap4_wr_incr16_wr, incr4_rd_single_rd, incr4_rd_single_wr, incr4_rd_incr_rd, incr4_rd_incr_wr, incr4_rd_wrap4_rd, incr4_rd_wrap4_wr, incr4_rd_incr4_rd, incr4_rd_incr4_wr, incr4_rd_wrap8_rd, incr4_rd_wrap8_wr, incr4_rd_incr8_rd, incr4_rd_incr8_wr, incr4_rd_wrap16_rd, incr4_rd_wrap16_wr, incr4_rd_incr16_rd, incr4_rd_incr16_wr, incr4_wr_single_rd, incr4_wr_single_wr, incr4_wr_incr_rd, incr4_wr_incr_wr, incr4_wr_wrap4_rd, incr4_wr_wrap4_wr, incr4_wr_incr4_rd, incr4_wr_incr4_wr, incr4_wr_wrap8_rd, incr4_wr_wrap8_wr, incr4_wr_incr8_rd, incr4_wr_incr8_wr, incr4_wr_wrap16_rd, incr4_wr_wrap16_wr, incr4_wr_incr16_rd, incr4_wr_incr16_wr, wrap8_rd_single_rd, wrap8_rd_single_wr, wrap8_rd_incr_rd, wrap8_rd_incr_wr, wrap8_rd_wrap4_rd, wrap8_rd_wrap4_wr, wrap8_rd_incr4_rd, wrap8_rd_incr4_wr, wrap8_rd_wrap8_rd, wrap8_rd_wrap8_wr, wrap8_rd_incr8_rd, wrap8_rd_incr8_wr, wrap8_rd_wrap16_rd, wrap8_rd_wrap16_wr, wrap8_rd_incr16_rd, wrap8_rd_incr16_wr, wrap8_wr_single_rd, wrap8_wr_single_wr, wrap8_wr_incr_rd, wrap8_wr_incr_wr, wrap8_wr_wrap4_rd, wrap8_wr_wrap4_wr, wrap8_wr_incr4_rd, wrap8_wr_incr4_wr, wrap8_wr_wrap8_rd, wrap8_wr_wrap8_wr, wrap8_wr_incr8_rd, wrap8_wr_incr8_wr, wrap8_wr_wrap16_rd, wrap8_wr_wrap16_wr, wrap8_wr_incr16_rd, wrap8_wr_incr16_wr, incr8_rd_single_rd, incr8_rd_single_wr, incr8_rd_incr_rd, incr8_rd_incr_wr, incr8_rd_wrap4_rd, incr8_rd_wrap4_wr, incr8_rd_incr4_rd, incr8_rd_incr4_wr, incr8_rd_wrap8_rd, incr8_rd_wrap8_wr, incr8_rd_incr8_rd, incr8_rd_incr8_wr, incr8_rd_wrap16_rd, incr8_rd_wrap16_wr, incr8_rd_incr16_rd, incr8_rd_incr16_wr, incr8_wr_single_rd, incr8_wr_single_wr, incr8_wr_incr_rd, incr8_wr_incr_wr, incr8_wr_wrap4_rd, incr8_wr_wrap4_wr, incr8_wr_incr4_rd, incr8_wr_incr4_wr, incr8_wr_wrap8_rd, incr8_wr_wrap8_wr, incr8_wr_incr8_rd, incr8_wr_incr8_wr, incr8_wr_wrap16_rd, incr8_wr_wrap16_wr, incr8_wr_incr16_rd, incr8_wr_incr16_wr, wrap16_rd_single_rd, wrap16_rd_single_wr, wrap16_rd_incr_rd, wrap16_rd_incr_wr, wrap16_rd_wrap4_rd, wrap16_rd_wrap4_wr, wrap16_rd_incr4_rd, wrap16_rd_incr4_wr, wrap16_rd_wrap8_rd, wrap16_rd_wrap8_wr, wrap16_rd_incr8_rd, wrap16_rd_incr8_wr, wrap16_rd_wrap16_rd, wrap16_rd_wrap16_wr, wrap16_rd_incr16_rd, wrap16_rd_incr16_wr, wrap16_wr_single_rd, wrap16_wr_single_wr, wrap16_wr_incr_rd, wrap16_wr_incr_wr, wrap16_wr_wrap4_rd, wrap16_wr_wrap4_wr, wrap16_wr_incr4_rd, wrap16_wr_incr4_wr, wrap16_wr_wrap8_rd, wrap16_wr_wrap8_wr, wrap16_wr_incr8_rd, wrap16_wr_incr8_wr, wrap16_wr_wrap16_rd, wrap16_wr_wrap16_wr, wrap16_wr_incr16_rd, wrap16_wr_incr16_wr, incr16_rd_single_rd, incr16_rd_single_wr, incr16_rd_incr_rd, incr16_rd_incr_wr, incr16_rd_wrap4_rd, incr16_rd_wrap4_wr, incr16_rd_incr4_rd, incr16_rd_incr4_wr, incr16_rd_wrap8_rd, incr16_rd_wrap8_wr, incr16_rd_incr8_rd, incr16_rd_incr8_wr, incr16_rd_wrap16_rd, incr16_rd_wrap16_wr, incr16_rd_incr16_rd, incr16_rd_incr16_wr, incr16_wr_single_rd, incr16_wr_single_wr, incr16_wr_incr_rd, incr16_wr_incr_wr, incr16_wr_wrap4_rd, incr16_wr_wrap4_wr, incr16_wr_incr4_rd, incr16_wr_incr4_wr, incr16_wr_wrap8_rd, incr16_wr_wrap8_wr, incr16_wr_incr8_rd, incr16_wr_incr8_wr, incr16_wr_wrap16_rd, incr16_wr_wrap16_wr, incr16_wr_incr16_rd, incr16_wr_incr16_wr
Covergroup: trans_ahb_hburst_transition

This covergroup covers the transition for each command type followed by other one. It covers all possible sequence of back to back transactions for eg: SINGLE_WR_SINGLE_WR, SINGLE_WR_SINGLE_RD -----------------to.----------- WRAP16_RD_WRAP16_WR, WRAP16_RD_WRAP16_RD

Coverpoints:

  • cov_hburst_transition_type: Captures current burst transition type
trans_ahb_hmaster
  • hmaster:cov_hmaster
Covergroup: trans_ahb_hmaster

This coverpoint covers which master is selected by Arbiter This coverpoint will ensure all the masters are selected to fire transaction on slave.

Coverpoints:

  • hmaster: Captures current master selected
trans_ahb_hready_in_when_hsel_high
  • hready_in:low, high
Covergroup: trans_ahb_hready_in_when_hsel_high

Coverpoints:

  • cov_hready_in: Captures value of hready_in of current slave selected
trans_ahb_hresp_all_beat_ahb_full
  • response_type:okay_resp, error_resp, retry_resp, split_resp
Covergroup: trans_ahb_hresp_all_beat_ahb_full

Coverpoints:

  • cov_response_type: Captures response transistion between successive beats
trans_ahb_hresp_all_beat_ahb_lite
  • response_type:okay_resp, error_resp
Covergroup: trans_ahb_hresp_first_beat_ahb_lite

Coverpoints:

  • cov_response_type: Captures response transistion between successive beats
trans_ahb_hresp_first_beat
  • response_type:okay_resp, error_resp, retry_resp, split_resp
Covergroup: trans_ahb_hresp_first_beat

Coverpoints:

  • cov_response_type Captures response for the each beat
trans_ahb_hresp_first_beat_ahb_lite
  • response_type:okay_resp, error_resp
Covergroup: trans_ahb_hresp_first_beat_ahb_lite

Coverpoints:

  • cov_response_type Captures response for the each beat
trans_ahb_htrans_cov_diff_xact_ahb_full
  • hresp_transistion:okay_okay, okay_error, okay_split, okay_retry, error_okay, error_error, error_split, error_retry, split_okay, split_error, split_split, split_retry, retry_okay, retry_error, retry_split, retry_retry
Covergroup: trans_ahb_htrans_cov_diff_xact_ahb_full

Coverpoints:

  • cov_hresp_transistion_type: Captures response transistion between successive beats
trans_ahb_htrans_transition_read_xact
  • htrans_transition:nseq_nseq, nseq_seq, seq_seq
Covergroup: trans_ahb_htrans_transition_read_xact

This covergroup covers transition of NONSEQ(Read tfr) -NONSEQ (Read tfr), NONSEQ(Read tfr)-SEQ(Read tfr) and SEQ(Read tfr)-SEQ(Read tfr).

Coverpoints:

  • cov_htrans_transition_type: Captures current transfer transition type
trans_ahb_htrans_transition_read_xact
  • htrans_transition:nseq_nseq, nseq_seq, seq_seq
Covergroup: trans_ahb_htrans_transition_read_xact

This covergroup covers transition of NONSEQ(Read tfr) -NONSEQ (Read tfr), NONSEQ(Read tfr)-SEQ(Read tfr) and SEQ(Read tfr)-SEQ(Read tfr).

Coverpoints:

  • cov_htrans_transition_type: Captures current transfer transition type
trans_ahb_htrans_transition_read_xact_hready
  • htrans_transition:nseq_nseq, nseq_seq, seq_seq
Covergroup: trans_ahb_htrans_transition_read_xact_hready

This covergroup covers transition of NONSEQ(Read tfr) -NONSEQ (Read tfr), NONSEQ(Read tfr)-SEQ(Read tfr) and SEQ(Read tfr)-SEQ(Read tfr) when hready is high.

Coverpoints:

  • cov_htrans_transition_type: Captures current transfer transition type when hready is high
trans_ahb_htrans_transition_read_xact_hready
  • htrans_transition:nseq_nseq, nseq_seq, seq_seq
Covergroup: trans_ahb_htrans_transition_read_xact_hready

This covergroup covers transition of NONSEQ(Read tfr) -NONSEQ (Read tfr), NONSEQ(Read tfr)-SEQ(Read tfr) and SEQ(Read tfr)-SEQ(Read tfr) when hready is high.

Coverpoints:

  • cov_htrans_transition_type: Captures current transfer transition type when hready is high
trans_ahb_htrans_transition_write_xact
  • htrans_transition:nseq_nseq, nseq_seq, seq_seq
Covergroup: trans_ahb_htrans_transition_write_xact

This covergroup covers transition of NONSEQ(Write tfr) -NONSEQ (Write tfr), NONSEQ(Write tfr)-SEQ(Write tfr) and SEQ(Write tfr)-SEQ(Write tfr).

Coverpoints:

  • cov_htrans_transition_type: Captures current transfer transition type
trans_ahb_htrans_transition_write_xact
  • htrans_transition:nseq_nseq, nseq_seq, seq_seq
Covergroup: trans_ahb_htrans_transition_write_xact

This covergroup covers transition of NONSEQ(Write tfr) -NONSEQ (Write tfr), NONSEQ(Write tfr)-SEQ(Write tfr) and SEQ(Write tfr)-SEQ(Write tfr).

Coverpoints:

  • cov_htrans_transition_type: Captures current transfer transition type
trans_ahb_htrans_transition_write_xact_hready
  • htrans_transition:nseq_nseq, nseq_seq, seq_seq
Covergroup: trans_ahb_htrans_transition_write_xact_hready

This covergroup covers transition of NONSEQ(Write tfr) -NONSEQ (Write tfr), NONSEQ(Write tfr)-SEQ(Write tfr) and SEQ(Write tfr)-SEQ(Write tfr) when hready is high.

Coverpoints:

  • cov_htrans_transition_type: Captures current transfer transition type when hready is high
trans_ahb_htrans_transition_write_xact_hready
  • htrans_transition:nseq_nseq, nseq_seq, seq_seq
Covergroup: trans_ahb_htrans_transition_write_xact_hready

This covergroup covers transition of NONSEQ(Write tfr) -NONSEQ (Write tfr), NONSEQ(Write tfr)-SEQ(Write tfr) and SEQ(Write tfr)-SEQ(Write tfr) when hready is high.

Coverpoints:

  • cov_htrans_transition_type: Captures current transfer transition type when hready is high
trans_ahb_idle_to_nseq_hready_low
  • htrans_transistion:idle_nseq
Covergroup: trans_ahb_idle_to_nseq_hready_low

This covergroup will cover the transistion from IDLE to NSEQ when value of hready is low

Coverpoints:

  • cov_htrans_transistion: Captures only NSEQ after IDLE transaction
trans_cross_ahb_burst_incr_number_of_beats
  • xact_type:read_xact, write_xact
  • burst_incr_number_of_beats:burst_incr_1_beat, burst_incr_2_beat, burst_incr_3_beat, burst_incr_4_beat, burst_incr_5_beat, burst_incr_6_beat, burst_incr_7_beat, burst_incr_8_beat, burst_incr_9_beat, burst_incr_10_beat, burst_incr_11_beat, burst_incr_12_beat, burst_incr_13_beat, burst_incr_14_beat, burst_incr_15_beat, burst_incr_16_beat, burst_incr_17_beat, burst_incr_18_beat, burst_incr_19_beat, burst_incr_20_beat, burst_incr_21_beat, burst_incr_22_beat, burst_incr_23_beat, burst_incr_24_beat, burst_incr_25_beat, burst_incr_26_beat, burst_incr_27_beat, burst_incr_28_beat, burst_incr_29_beat, burst_incr_30_beat, burst_incr_31_beat, burst_incr_32_beat, burst_incr_bin_33_to_63_beats, burst_incr_bin_64_beats, burst_incr_bin_65_to_127_beats, burst_incr_bin_128_beats, burst_incr_bin_129_to_255_beats, burst_incr_bin_256_beats, burst_incr_bin_257_to_511_beats, burst_incr_bin_512_beats, burst_incr_bin_513_to_1023_beats, burst_incr_bin_1024_beats
Covergroup: trans_cross_ahb_burst_incr_number_of_beats

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type, Only INCR is included
  • burst_incr_number_of_beats: Captures transaction of length 1 - 32, 64, 128, 512, 1024 each and in the range from 33 - 1024 at different length intervals for INCR burst

Cross coverpoints:

  • ahb_burst_incr_number_of_beats: Crosses cover points xact_type, burst_type, burst_incr_number_of_beats
trans_cross_ahb_burst_incr_number_of_beats
  • xact_type:read_xact, write_xact
  • burst_incr_number_of_beats:burst_incr_1_beat, burst_incr_2_beat, burst_incr_3_beat, burst_incr_4_beat, burst_incr_5_beat, burst_incr_6_beat, burst_incr_7_beat, burst_incr_8_beat, burst_incr_9_beat, burst_incr_10_beat, burst_incr_11_beat, burst_incr_12_beat, burst_incr_13_beat, burst_incr_14_beat, burst_incr_15_beat, burst_incr_16_beat, burst_incr_17_beat, burst_incr_18_beat, burst_incr_19_beat, burst_incr_20_beat, burst_incr_21_beat, burst_incr_22_beat, burst_incr_23_beat, burst_incr_24_beat, burst_incr_25_beat, burst_incr_26_beat, burst_incr_27_beat, burst_incr_28_beat, burst_incr_29_beat, burst_incr_30_beat, burst_incr_31_beat, burst_incr_32_beat, burst_incr_bin_33_to_63_beats, burst_incr_bin_64_beats, burst_incr_bin_65_to_127_beats, burst_incr_bin_128_beats, burst_incr_bin_129_to_255_beats, burst_incr_bin_256_beats, burst_incr_bin_257_to_511_beats, burst_incr_bin_512_beats, burst_incr_bin_513_to_1023_beats, burst_incr_bin_1024_beats
Covergroup: trans_cross_ahb_burst_incr_number_of_beats

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type, Only INCR is included
  • burst_incr_number_of_beats: Captures transaction of length 1 - 32, 64, 128, 512, 1024 each and in the range from 33 - 1024 at different length intervals for INCR burst

Cross coverpoints:

  • ahb_burst_incr_number_of_beats: Crosses cover points xact_type, burst_type, burst_incr_number_of_beats
trans_cross_ahb_burst_with_busy
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • trans_type:idle, busy, nseq, seq
Covergroup: trans_cross_ahb_burst_with_busy This covergroup covers cross of all burst types(except single) with htrans BUSY.

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • trans_type: Captures transaction trans_type

Cross coverpoints:

  • ahb_burst_with_busy: Crosses cover points xact_type, burst_type, trans_type
trans_cross_ahb_burst_with_busy
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • trans_type:idle, busy, nseq, seq
Covergroup: trans_cross_ahb_burst_with_busy This covergroup covers cross of all burst types(except single) with htrans BUSY.

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • trans_type: Captures transaction trans_type

Cross coverpoints:

  • ahb_burst_with_busy: Crosses cover points xact_type, burst_type, trans_type
trans_cross_ahb_burst_wrapped_addr_boundary
  • xact_type:read_xact, write_xact
  • burst_wrapped_addr_boundary:burst_with_addr_wrap4, burst_with_addr_wrap8, burst_with_addr_wrap16
Covergroup: trans_cross_ahb_burst_wrapped_addr_boundary

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_wrapped_addr_boundary: Captures if address is wrapped at byte boundary for different WRAP burst types covers (End address < Start Address) with Wrap types

Cross coverpoints:

  • ahb_burst_wrapped_addr_boundary: Crosses cover points xact_type, burst_wrapped_addr_boundary
trans_cross_ahb_burst_wrapped_addr_boundary
  • xact_type:read_xact, write_xact
  • burst_wrapped_addr_boundary:burst_with_addr_wrap4, burst_with_addr_wrap8, burst_with_addr_wrap16
Covergroup: trans_cross_ahb_burst_wrapped_addr_boundary

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_wrapped_addr_boundary: Captures if address is wrapped at byte boundary for different WRAP burst types covers (End address < Start Address) with Wrap types

Cross coverpoints:

  • ahb_burst_wrapped_addr_boundary: Crosses cover points xact_type, burst_wrapped_addr_boundary
trans_cross_ahb_hburst
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
Covergroup: trans_cross_ahb_hburst

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type

Cross coverpoints:

  • ahb_hburst: Crosses cover points xact_type, burst_type
trans_cross_ahb_hburst
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
Covergroup: trans_cross_ahb_hburst

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type

Cross coverpoints:

  • ahb_hburst: Crosses cover points xact_type, burst_type
trans_cross_ahb_hburst_haddr
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • addr:addr_range_min, addr64_range_mid, addr64_range_max, addr32_range_mid, addr32_range_max, byte_aligned_addr, half_word_aligned_addr, word_aligned_addr, double_word_aligned_addr, quad_word_aligned_addr
Covergroup: trans_cross_ahb_hburst_haddr

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • addr: Captures min, mid and max range of transaction address

Cross coverpoints:

  • ahb_hburst_haddr: Crosses cover points xact_type, burst_type, addr
trans_cross_ahb_hburst_haddr
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • addr:addr_range_min, addr64_range_mid, addr64_range_max, addr32_range_mid, addr32_range_max, byte_aligned_addr, half_word_aligned_addr, word_aligned_addr, double_word_aligned_addr, quad_word_aligned_addr
Covergroup: trans_cross_ahb_hburst_haddr

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • addr: Captures min, mid and max range of transaction address

Cross coverpoints:

  • ahb_hburst_haddr: Crosses cover points xact_type, burst_type, addr
trans_cross_ahb_hburst_haddr_hsize
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • addr:addr_range_min, addr64_range_mid, addr64_range_max, addr32_range_mid, addr32_range_max, byte_aligned_addr, half_word_aligned_addr, word_aligned_addr, double_word_aligned_addr, quad_word_aligned_addr
  • burst_size:burst_size_8bit, burst_size_16bit, burst_size_32bit, burst_size_64bit, burst_size_128bit, burst_size_256bit, burst_size_512bit, burst_size_1024bit
Covergroup: trans_cross_ahb_hburst_haddr_hsize

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • addr: Captures min, mid and max range of transaction address
  • burst_size: Captures transaction burst size

Cross coverpoints:

  • ahb_hburst_haddr_hsize: Crosses cover points xact_type, burst_type, addr, burst_size
trans_cross_ahb_hburst_haddr_hsize
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • addr:addr_range_min, addr64_range_mid, addr64_range_max, addr32_range_mid, addr32_range_max, byte_aligned_addr, half_word_aligned_addr, word_aligned_addr, double_word_aligned_addr, quad_word_aligned_addr
  • burst_size:burst_size_8bit, burst_size_16bit, burst_size_32bit, burst_size_64bit, burst_size_128bit, burst_size_256bit, burst_size_512bit, burst_size_1024bit
Covergroup: trans_cross_ahb_hburst_haddr_hsize

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • addr: Captures min, mid and max range of transaction address
  • burst_size: Captures transaction burst size

Cross coverpoints:

  • ahb_hburst_haddr_hsize: Crosses cover points xact_type, burst_type, addr, burst_size
trans_cross_ahb_hburst_hlock
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • lock:lock_transfer
Covergroup: trans_cross_ahb_hburst_hlock

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • lock: Captures transaction lock for hlock

Cross coverpoints:

  • ahb_hburst_hlock: Crosses cover points xact_type, burst_type, lock
trans_cross_ahb_hburst_hlock
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • lock:lock_transfer
Covergroup: trans_cross_ahb_hburst_hlock

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • lock: Captures transaction lock for hlock

Cross coverpoints:

  • ahb_hburst_hlock: Crosses cover points xact_type, burst_type, lock
trans_cross_ahb_hburst_hlock_hsize
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • lock:lock_transfer
  • burst_size:burst_size_8bit, burst_size_16bit, burst_size_32bit, burst_size_64bit, burst_size_128bit, burst_size_256bit, burst_size_512bit, burst_size_1024bit
Covergroup: trans_cross_ahb_hburst_hlock_hsize

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • lock: Captures transaction lock for hlock
  • burst_size: Captures transaction burst size

Cross coverpoints:

  • ahb_hburst_hlock_hsize: Crosses cover points xact_type, burst_type, lock, burst_size
trans_cross_ahb_hburst_hlock_hsize
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • lock:lock_transfer
  • burst_size:burst_size_8bit, burst_size_16bit, burst_size_32bit, burst_size_64bit, burst_size_128bit, burst_size_256bit, burst_size_512bit, burst_size_1024bit
Covergroup: trans_cross_ahb_hburst_hlock_hsize

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • lock: Captures transaction lock for hlock
  • burst_size: Captures transaction burst size

Cross coverpoints:

  • ahb_hburst_hlock_hsize: Crosses cover points xact_type, burst_type, lock, burst_size
trans_cross_ahb_hburst_hnonsec
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • nonsec_trans:secure_transfer, nonsecure_transfer
Covergroup: trans_cross_ahb_hburst_hnonsec

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • nonsec_trans: Captures transaction protection type for hnonsec

Cross coverpoints:

  • ahb_hburst_hnonsec: Crosses cover points xact_type, burst_type, nonsec_trans
trans_cross_ahb_hburst_hnonsec
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • nonsec_trans:secure_transfer, nonsecure_transfer
Covergroup: trans_cross_ahb_hburst_hnonsec

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • nonsec_trans: Captures transaction protection type for hnonsec

Cross coverpoints:

  • ahb_hburst_hnonsec: Crosses cover points xact_type, burst_type, nonsec_trans
trans_cross_ahb_hburst_hprot0
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot0_type:opcode_fetch, data_access
Covergroup: trans_cross_ahb_hburst_hprot0

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot0_type: Captures transaction protection type for hprot[0]

Cross coverpoints:

  • ahb_hburst_hprot0: Crosses cover points xact_type, burst_type, prot0_type
trans_cross_ahb_hburst_hprot0
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot0_type:opcode_fetch, data_access
Covergroup: trans_cross_ahb_hburst_hprot0

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot0_type: Captures transaction protection type for hprot[0]

Cross coverpoints:

  • ahb_hburst_hprot0: Crosses cover points xact_type, burst_type, prot0_type
trans_cross_ahb_hburst_hprot1
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot1_type:user_access, privilidged_access
Covergroup: trans_cross_ahb_hburst_hprot1

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot1_type: Captures transaction protection type for hprot[1]

Cross coverpoints:

  • ahb_hburst_hprot1: Crosses cover points xact_type, burst_type, prot1_type
trans_cross_ahb_hburst_hprot1
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot1_type:user_access, privilidged_access
Covergroup: trans_cross_ahb_hburst_hprot1

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot1_type: Captures transaction protection type for hprot[1]

Cross coverpoints:

  • ahb_hburst_hprot1: Crosses cover points xact_type, burst_type, prot1_type
trans_cross_ahb_hburst_hprot2
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot2_type:non_bufferable, bufferable
Covergroup: trans_cross_ahb_hburst_hprot2

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot2_type: Captures transaction protection type for hprot[2]

Cross coverpoints:

  • ahb_hburst_hprot2: Crosses cover points xact_type, burst_type, prot2_type
trans_cross_ahb_hburst_hprot2
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot2_type:non_bufferable, bufferable
Covergroup: trans_cross_ahb_hburst_hprot2

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot2_type: Captures transaction protection type for hprot[2]

Cross coverpoints:

  • ahb_hburst_hprot2: Crosses cover points xact_type, burst_type, prot2_type
trans_cross_ahb_hburst_hprot3
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot3_type:non_cacheable, cacheable
Covergroup: trans_cross_ahb_hburst_hprot3

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot3_type: Captures transaction protection type for hprot[3]

Cross coverpoints:

  • ahb_hburst_hprot3: Crosses cover points xact_type, burst_type, prot3_type
trans_cross_ahb_hburst_hprot3
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot3_type:non_cacheable, cacheable
Covergroup: trans_cross_ahb_hburst_hprot3

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot3_type: Captures transaction protection type for hprot[3]

Cross coverpoints:

  • ahb_hburst_hprot3: Crosses cover points xact_type, burst_type, prot3_type
trans_cross_ahb_hburst_hprot3_ex
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot3_ex_type:non_modifiable, modifiable
Covergroup: trans_cross_ahb_hburst_hprot3_ex

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot3_ex_type: Captures transaction protection type for hprot[3] when extended memory type is enabled

Cross coverpoints:

  • ahb_hburst_hprot3_ex: Crosses cover points xact_type, burst_type, prot3_ex_type
trans_cross_ahb_hburst_hprot3_ex
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot3_ex_type:non_modifiable, modifiable
Covergroup: trans_cross_ahb_hburst_hprot3_ex

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot3_ex_type: Captures transaction protection type for hprot[3] when extended memory type is enabled

Cross coverpoints:

  • ahb_hburst_hprot3_ex: Crosses cover points xact_type, burst_type, prot3_ex_type
trans_cross_ahb_hburst_hprot4_ex
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot4_ex_type:no_lookup, lookup
Covergroup: trans_cross_ahb_hburst_hprot4_ex

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot4_ex_type: Captures transaction protection type for hprot[4] when extended memory type is enabled

Cross coverpoints:

  • ahb_hburst_hprot4_ex: Crosses cover points xact_type, burst_type, prot4_ex_type
trans_cross_ahb_hburst_hprot4_ex
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot4_ex_type:no_lookup, lookup
Covergroup: trans_cross_ahb_hburst_hprot4_ex

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot4_ex_type: Captures transaction protection type for hprot[4] when extended memory type is enabled

Cross coverpoints:

  • ahb_hburst_hprot4_ex: Crosses cover points xact_type, burst_type, prot4_ex_type
trans_cross_ahb_hburst_hprot5_ex
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot5_ex_type:no_allocate, allocate
Covergroup: trans_cross_ahb_hburst_hprot5_ex

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot5_ex_type: Captures transaction protection type for hprot[5] when extended memory type is enabled

Cross coverpoints:

  • ahb_hburst_hprot5_ex: Crosses cover points xact_type, burst_type, prot5_ex_type
trans_cross_ahb_hburst_hprot5_ex
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot5_ex_type:no_allocate, allocate
Covergroup: trans_cross_ahb_hburst_hprot5_ex

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot5_ex_type: Captures transaction protection type for hprot[5] when extended memory type is enabled

Cross coverpoints:

  • ahb_hburst_hprot5_ex: Crosses cover points xact_type, burst_type, prot5_ex_type
trans_cross_ahb_hburst_hprot6_ex
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot6_ex_type:non_shareable, shareable
Covergroup: trans_cross_ahb_hburst_hprot6_ex

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot6_ex_type: Captures transaction protection type for hprot[6] when extended memory type is enabled

Cross coverpoints:

  • ahb_hburst_hprot6_ex: Crosses cover points xact_type, burst_type, prot6_ex_type
trans_cross_ahb_hburst_hprot6_ex
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • prot6_ex_type:non_shareable, shareable
Covergroup: trans_cross_ahb_hburst_hprot6_ex

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • prot6_ex_type: Captures transaction protection type for hprot[6] when extended memory type is enabled

Cross coverpoints:

  • ahb_hburst_hprot6_ex: Crosses cover points xact_type, burst_type, prot6_ex_type
trans_cross_ahb_hburst_hresp
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • response_type:okay_resp, error_resp, retry_resp, split_resp
Covergroup: trans_cross_ahb_hburst_hresp

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • response_type: Captures transaction response

Cross coverpoints:

  • ahb_hburst_hresp: Crosses cover points xact_type, burst_type, response_type
trans_cross_ahb_hburst_hresp
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • response_type:okay_resp, error_resp, retry_resp, split_resp
Covergroup: trans_cross_ahb_hburst_hresp

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • response_type: Captures transaction response

Cross coverpoints:

  • ahb_hburst_hresp: Crosses cover points xact_type, burst_type, response_type
trans_cross_ahb_hburst_hsize
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • burst_size:burst_size_8bit, burst_size_16bit, burst_size_32bit, burst_size_64bit, burst_size_128bit, burst_size_256bit, burst_size_512bit, burst_size_1024bit
Covergroup: trans_cross_ahb_hburst_hsize

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • burst_size: Captures transaction burst size

Cross coverpoints:

  • ahb_hburst_hsize: Crosses cover points xact_type, burst_type, burst_size
trans_cross_ahb_hburst_hsize
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • burst_size:burst_size_8bit, burst_size_16bit, burst_size_32bit, burst_size_64bit, burst_size_128bit, burst_size_256bit, burst_size_512bit, burst_size_1024bit
Covergroup: trans_cross_ahb_hburst_hsize

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • burst_size: Captures transaction burst size

Cross coverpoints:

  • ahb_hburst_hsize: Crosses cover points xact_type, burst_type, burst_size
trans_cross_ahb_hburst_num_wait_cycles
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • num_wait_cycles_per_beat:num_wait_cycles_range_min, num_wait_cycles_range_mid, num_wait_cycles_range_max
Covergroup: trans_cross_ahb_hburst_num_wait_cycles

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • num_wait_cycles_per_beat: Captures number of wait cycles per beat in a transaction.

Cross coverpoints:

  • ahb_hburst_num_wait_cycles: Crosses cover points xact_type, burst_type and num_wait_cycles_per_beat
trans_cross_ahb_hburst_num_wait_cycles
  • xact_type:read_xact, write_xact
  • burst_type:single_burst, incr_burst, wrap4_burst, incr4_burst, wrap8_burst, incr8_burst, wrap16_burst, incr16_burst
  • num_wait_cycles_per_beat:num_wait_cycles_range_min, num_wait_cycles_range_mid, num_wait_cycles_range_max
Covergroup: trans_cross_ahb_hburst_num_wait_cycles

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_type: Captures transaction burst type
  • num_wait_cycles_per_beat: Captures number of wait cycles per beat in a transaction.

Cross coverpoints:

  • ahb_hburst_num_wait_cycles: Crosses cover points xact_type, burst_type and num_wait_cycles_per_beat
trans_cross_ahb_htrans_xact
  • trans_type:busy, nseq, seq
  • xact_type:read_xact, write_xact
Covergroup: trans_cross_ahb_htrans_xact

This covergroup covers all the transfer types for the AHB transactions.

Coverpoints:

  • trans_type: Captures current transfer type
  • xact_type: Captures transaction type (READ or WRITE)

Cross coverpoints:

  • ahb_trans_xact: Crosses cover points trans_type, xact_type
trans_cross_ahb_htrans_xact
  • trans_type:busy, nseq, seq
  • xact_type:read_xact, write_xact
Covergroup: trans_cross_ahb_htrans_xact

This covergroup covers all the transfer types for the AHB transactions.

Coverpoints:

  • trans_type: Captures current transfer type
  • xact_type: Captures transaction type (READ or WRITE)

Cross coverpoints:

  • ahb_trans_xact: Crosses cover points trans_type, xact_type
trans_cross_ahb_num_busy_cycles
  • xact_type:read_xact, write_xact
  • num_busy_cycles_per_beat:num_busy_cycles_range_min, num_busy_cycles_range_mid, num_busy_cycles_range_max
Covergroup: trans_cross_ahb_num_busy_cycles

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • num_busy_cycles_per_beat: Captures number of busy cycles per beat in a transaction.

    Cross coverpoints:

  • ahb_num_busy_cycles: Crosses cover points xact_type, num_busy_cycles_per_beat
trans_cross_ahb_num_busy_cycles
  • xact_type:read_xact, write_xact
  • num_busy_cycles_per_beat:num_busy_cycles_range_min, num_busy_cycles_range_mid, num_busy_cycles_range_max
Covergroup: trans_cross_ahb_num_busy_cycles

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • num_busy_cycles_per_beat: Captures number of busy cycles per beat in a transaction.

    Cross coverpoints:

  • ahb_num_busy_cycles: Crosses cover points xact_type, num_busy_cycles_per_beat
trans_cross_ahb_num_wait_cycles
  • xact_type:read_xact, write_xact
  • num_wait_cycles_per_beat:num_wait_cycles_range_min, num_wait_cycles_range_mid, num_wait_cycles_range_max
Covergroup: trans_cross_ahb_num_wait_cycles

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • num_wait_cycles_per_beat: Captures number of wait cycles per beat in a transaction.

    Cross coverpoints:

  • ahb_num_wait_cycles: Crosses cover points xact_type, num_wait_cycles_per_beat
trans_cross_ahb_num_wait_cycles
  • xact_type:read_xact, write_xact
  • num_wait_cycles_per_beat:num_wait_cycles_range_min, num_wait_cycles_range_mid, num_wait_cycles_range_max
Covergroup: trans_cross_ahb_num_wait_cycles

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • num_wait_cycles_per_beat: Captures number of wait cycles per beat in a transaction.

    Cross coverpoints:

  • ahb_num_wait_cycles: Crosses cover points xact_type, num_wait_cycles_per_beat
trans_cross_ahb_page_boundary_size
  • xact_type:read_xact, write_xact
  • burst_size:burst_size_8bit, burst_size_16bit, burst_size_32bit, burst_size_64bit, burst_size_128bit, burst_size_256bit, burst_size_512bit, burst_size_1024bit
  • addr_page_boundary:addr_page_boundary_start, addr_page_boundary_end
Covergroup: trans_cross_ahb_page_boundary_aligned_size

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_size: Captures transaction burst type
  • addr_page_boundary: Captures page boundary

Cross coverpoints:

  • ahb_page_boundary_size: Crosses cover points xact_type, addr_page_boundary, burst_size
trans_cross_ahb_page_boundary_size
  • xact_type:read_xact, write_xact
  • burst_size:burst_size_8bit, burst_size_16bit, burst_size_32bit, burst_size_64bit, burst_size_128bit, burst_size_256bit, burst_size_512bit, burst_size_1024bit
  • addr_page_boundary:addr_page_boundary_start, addr_page_boundary_end
Covergroup: trans_cross_ahb_page_boundary_aligned_size

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_size: Captures transaction burst type
  • addr_page_boundary: Captures page boundary

Cross coverpoints:

  • ahb_page_boundary_size: Crosses cover points xact_type, addr_page_boundary, burst_size
trans_cross_ahb_size_addr_align
  • xact_type:read_xact, write_xact
  • burst_size_addr_alignment:burst_size_8bit_byte_aligned_addr, burst_size_16bit_halfword_aligned_addr_0, burst_size_16bit_halfword_aligned_addr_2, burst_size_16bit_halfword_aligned_addr_4, burst_size_16bit_halfword_aligned_addr_6, burst_size_32bit_word_aligned_addr_0, burst_size_32bit_word_aligned_addr_4, burst_size_64bit_doubleword_aligned_addr_0
Covergroup: trans_cross_ahb_size_addr_align

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_size_addr_alignment: Captures address alignment for 8, 16, 32 and 64 bit Hsize

Cross coverpoints:

  • ahb_size_addr_align: Crosses cover points xact_type, burst_size_addr_alignment
trans_cross_ahb_size_addr_align
  • xact_type:read_xact, write_xact
  • burst_size_addr_alignment:burst_size_8bit_byte_aligned_addr, burst_size_16bit_halfword_aligned_addr_0, burst_size_16bit_halfword_aligned_addr_2, burst_size_16bit_halfword_aligned_addr_4, burst_size_16bit_halfword_aligned_addr_6, burst_size_32bit_word_aligned_addr_0, burst_size_32bit_word_aligned_addr_4, burst_size_64bit_doubleword_aligned_addr_0
Covergroup: trans_cross_ahb_size_addr_align

Coverpoints:

  • xact_type: Captures transaction type (READ or WRITE)
  • burst_size_addr_alignment: Captures address alignment for 8, 16, 32 and 64 bit Hsize

Cross coverpoints:

  • ahb_size_addr_align: Crosses cover points xact_type, burst_size_addr_alignment

Product: amba_svt - Other Coverage Details:

Covergroup Coverpoints Bins
signal_state_haddr
  • haddr_min_mid_max:haddr_range_min, haddr_range_mid, haddr_range_max
signal_state_haddr
  • haddr_min_mid_max:haddr_range_min, haddr_range_mid, haddr_range_max
signal_state_hburst
  • hburst:svt_ahb_transaction_burst_single, svt_ahb_transaction_burst_incr, svt_ahb_transaction_burst_wrap4, svt_ahb_transaction_burst_incr4, svt_ahb_transaction_burst_wrap8, svt_ahb_transaction_burst_incr8, svt_ahb_transaction_burst_wrap16, svt_ahb_transaction_burst_incr16
signal_state_hburst
  • hburst:svt_ahb_transaction_burst_single, svt_ahb_transaction_burst_incr, svt_ahb_transaction_burst_wrap4, svt_ahb_transaction_burst_incr4, svt_ahb_transaction_burst_wrap8, svt_ahb_transaction_burst_incr8, svt_ahb_transaction_burst_wrap16, svt_ahb_transaction_burst_incr16
signal_state_hmaster
  • hmaster_min_mid_max:hmaster_range_min, hmaster_range_mid, hmaster_range_max
signal_state_hprot
  • hprot:svt_ahb_opcode_fetch, svt_ahb_data_access, svt_ahb_user_access, svt_ahb_privilidged_access, svt_ahb_non_bufferable, svt_ahb_bufferable, svt_ahb_non_cacheable, svt_ahb_cacheable
signal_state_hprot
  • hprot:svt_ahb_opcode_fetch, svt_ahb_data_access, svt_ahb_user_access, svt_ahb_privilidged_access, svt_ahb_non_bufferable, svt_ahb_bufferable, svt_ahb_non_cacheable, svt_ahb_cacheable
signal_state_hrdata
  • hrdata_min_mid_max:hrdata_range_min, hrdata_range_mid, hrdata_range_max
signal_state_hrdata
  • hrdata_min_mid_max:hrdata_range_min, hrdata_range_mid, hrdata_range_max
signal_state_hresp
  • hresp:svt_ahb_okay_response, svt_ahb_error_response, svt_ahb_retry_response, svt_ahb_split_response
signal_state_hresp
  • hresp:svt_ahb_okay_response, svt_ahb_error_response, svt_ahb_retry_response, svt_ahb_split_response
signal_state_hsize
  • hsize:svt_ahb_transaction_burst_size_8, svt_ahb_transaction_burst_size_16, svt_ahb_transaction_burst_size_32, svt_ahb_transaction_burst_size_64, svt_ahb_transaction_burst_size_128, svt_ahb_transaction_burst_size_256, svt_ahb_transaction_burst_size_512, svt_ahb_transaction_burst_size_1024
signal_state_hsize
  • hsize:svt_ahb_transaction_burst_size_8, svt_ahb_transaction_burst_size_16, svt_ahb_transaction_burst_size_32, svt_ahb_transaction_burst_size_64, svt_ahb_transaction_burst_size_128, svt_ahb_transaction_burst_size_256, svt_ahb_transaction_burst_size_512, svt_ahb_transaction_burst_size_1024
signal_state_hsplit
  • hsplit_min_mid_max:hsplit_range_min, hsplit_range_mid, hsplit_range_max
signal_state_htrans
  • htrans:svt_ahb_transaction_trans_idle, svt_ahb_transaction_trans_busy, svt_ahb_transaction_trans_nseq, svt_ahb_transaction_trans_seq
signal_state_htrans
  • htrans:svt_ahb_transaction_trans_idle, svt_ahb_transaction_trans_busy, svt_ahb_transaction_trans_nseq, svt_ahb_transaction_trans_seq
signal_state_hwdata
  • hwdata_min_mid_max:hwdata_range_min, hwdata_range_mid, hwdata_range_max
signal_state_hwdata
  • hwdata_min_mid_max:hwdata_range_min, hwdata_range_mid, hwdata_range_max
toggle_cov
  • signal_index:toggle_bit_0to1, toggle_bit_1to0
toggle_cov
  • signal_index:toggle_bit_0to1, toggle_bit_1to0
13 August 2024, Copyright © 2024 Synopsys, Inc.