!Feature
next_elt_id: 2
name: Burst
id: 5
display_order: 5
subfeatures: !!omap
- 000_Control_Signals: !Subfeature
    name: 000_Control_Signals
    tag: VP_IP005_P000
    next_elt_id: 16
    display_order: 0
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_1_F005_S000_I000
        description: All transaction performed by CVA6 are of type INCR. AxBURST =
          0b01
        reqt_doc: AXI Design doc - Address structure
        ref_mode: ''
        ref_page: ''
        ref_section: ''
        ref_viewer: ''
        verif_goals: Ensure that AxBURST == 0b01 is always true while AxVALID is asserted.
        pfc: 4
        test_type: 3
        cov_method: 1
        cores: 56
        coverage_loc: ''
        comments: ''
    - '001': !VerifItem
        name: '001'
        tag: VP_1_F005_S000_I001
        description: All Read transaction performed by CVA6 are of burst length less
          or equal to ICACHE_LINE_WIDTH/64. ARLEN = 0b01 or 0b00
        reqt_doc: AXI Design doc - Address structure
        ref_mode: ''
        ref_page: ''
        ref_section: ''
        ref_viewer: ''
        verif_goals: Ensure that ARLEN == 0b01 || ARLEN == 0b00 is always true while
          ARVALID is asserted.
        pfc: 4
        test_type: 3
        cov_method: 1
        cores: 56
        coverage_loc: ''
        comments: ''
    - '002': !VerifItem
        name: '002'
        tag: VP_1_F005_S000_I002
        description: All write transaction performed by CVA6 are of burst lenght equal
          to 1. AWLEN = 0b00
        reqt_doc: AXI Design doc - Address structure
        ref_mode: ''
        ref_page: ''
        ref_section: ''
        ref_viewer: ''
        verif_goals: Ensure that AWLEN == 0b00 is always true while AWVALID is asserted.
        pfc: 4
        test_type: 3
        cov_method: 1
        cores: 56
        coverage_loc: ''
        comments: ''
    - '003': !VerifItem
        name: '003'
        tag: VP_1_F005_S000_I003
        description: The size of a read transfer does not exceed the width of the
          data interface. The maximum value can be taking by AxSIZE is 3.
        reqt_doc: https://developer.arm.com/documentation/ihi0022/hc - (Section A3.4.1)
        ref_mode: ''
        ref_page: ''
        ref_section: ''
        ref_viewer: ''
        verif_goals: Ensure that AxSIZE <= log2(AXI_DATA_WIDTH/8) is always true while
          ARVALID is asserted.
        pfc: 4
        test_type: 3
        cov_method: 2
        cores: 56
        coverage_loc: ''
        comments: ''
    - '013': !VerifItem
        name: '013'
        tag: VP_AXI_F005_S000_I013
        description: The maximum value can be taken by AxSIZE is XLEN/8
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: Ensure that AxSIZE <= clog2(XLEN/8)
        pfc: -1
        test_type: 1
        cov_method: 1
        cores: 56
        coverage_loc: ''
        comments: ''
    - '014': !VerifItem
        name: '014'
        tag: VP_AXI_F005_S000_I014
        description: "if(RV32) ARSIZE != 3 && ARLEN = 0 && ARID = 1, the maximum load
          instruction size is 4 bytes\nARSIZE can not be equal to 0, 1 or 2 if ARLOCK
          = 1"
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "Ensure that ARSIZE != 3 when ARID = 1 and ARLEN = 0\nEnsure
          that ARSIZE != 0, 1 or 2 when ARID = 0\nEnsure that ARSIZE != 0, 1 or 2
          when ARLOCK = 1"
        pfc: -1
        test_type: -1
        cov_method: -1
        cores: 56
        coverage_loc: ''
        comments: ''
    - '015': !VerifItem
        name: '015'
        tag: VP_AXI_F005_S000_I015
        description: if(RVA) AxLOCK = 1 => AxSIZE > 1, CVA6 doesn't perform exclusive
          transaction with size lower than 4 bytes
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: Ensure that AWSIZE > 1 when AWLOCK = 1
        pfc: -1
        test_type: -1
        cov_method: -1
        cores: 56
        coverage_loc: ''
        comments: ''
vptool_gitrev: '$Id: b0efb3ae3f9057b71a577d43c2b77f1cfb2ef82f $'
io_fmt_gitrev: '$Id: 7ee5d68801f5498a957bcbe23fcad87817a364c5 $'
config_gitrev: '$Id: 0422e19126dae20ffc4d5a84e4ce3de0b6eb4eb5 $'
ymlcfg_gitrev: '$Id: 286c689bd48b7a58f9a37754267895cffef1270c $'
