!Feature
next_elt_id: 2
name: Illegal Instruction
id: 0
display_order: 0
subfeatures: !!omap
- 000_illegal_instr: !Subfeature
    name: 000_illegal_instr
    tag: VP_traps_F000_S000
    next_elt_id: 1
    display_order: 0
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_traps_F000_S000_I000
        description: The behavior upon decoding a reserved instruction is unspecified.
          Opcodes that do not decode to a valid, supported instruction for the CVA6
          core configuration shall raise an illegal instruction exception.
        reqt_doc: Unprivileged ISA Version 20191213, Chapter 2.2
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: Check that when executing any illegal instruction, an exception
          is raised with `mcause` set to 0x2.
        pfc: 3
        test_type: 3
        cov_method: 3
        cores: 56
        coverage_loc: ''
        comments: Covered by ISACOV tests, not yet in ISACOV DV plan
- 001_mtval: !Subfeature
    name: 001_mtval
    tag: VP_traps_F000_S001
    next_elt_id: 1
    display_order: 1
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_traps_F000_S001_I000
        description: When an illegal instruction exception is raised, the corresponding
          instruction is stored into `mtval` CSR.
        reqt_doc: Privileged Architecture Version 20211203, Chapter 3.1.16
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: Check that when any illegal instruction exception is raised,
          `mtval` CSR contains the faulting instruction.
        pfc: -1
        test_type: -1
        cov_method: -1
        cores: 56
        coverage_loc: ''
        comments: ZERO_TVAL parameter value?
vptool_gitrev: '$Id: b0efb3ae3f9057b71a577d43c2b77f1cfb2ef82f $'
io_fmt_gitrev: '$Id: 7ee5d68801f5498a957bcbe23fcad87817a364c5 $'
config_gitrev: '$Id: 0422e19126dae20ffc4d5a84e4ce3de0b6eb4eb5 $'
ymlcfg_gitrev: '$Id: 286c689bd48b7a58f9a37754267895cffef1270c $'
