Configuration of example_rv64_with_overlay

Extensions

Name

Version

A

2.1.0

B

1.0.0

C

2.0.0

D

2.2.0

F

2.2.0

H

1.0.0

I

2.1.0

M

2.0.0

S

1.12.0

Sm

1.12.0

Smaia

1.0.0

Smcdeleg

1.0.0

Smcntrpmf

1.0.0

Smhpm

1.12.0

Smpmp

1.12.0

Ssaia

1.0.0

Ssccfg

1.0.0

Sscofpmf

1.0.0

Sstc

1.0.0

Sv39

1.12.0

Sv48

1.12.0

U

1.0.0

V

1.0.0

Zaamo

1.0.0

Zalrsc

1.0.0

Zba

1.0.0

Zbb

1.0.0

Zbs

1.0.0

Zca

1.0.0

Zcd

1.0.0

Zcf

1.0.0

Zicbom

1.0.0

Zicboz

1.0.0

Zicntr

2.0.0

Zicsr

2.0.0

Zihpm

2.0.0

Parameters

ARCH_ID

Value Description From Extension

1152921504606846976

Vendor-specific architecture ID in marchid

Sm

ASID_WIDTH

Value Description From Extension

12

Number of implemented ASID bits. Maximum is 16 for XLEN==64, and 9 for XLEN==32

S

CACHE_BLOCK_SIZE

Value Description From Extension

64

The observable size of a cache block, in bytes

Zicbom, Zicboz, Zicbop

CONFIG_PTR_ADDRESS

Value Description From Extension

4096

Physical address of the unified discovery configuration data structure. This address is reported in the mconfigptr CSR.

Sm

COUNTINHIBIT_EN

Value Description From Extension

[true, false, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false]

Indicates which hardware performance monitor counters can be disabled from mcountinhibit.

An unimplemented counter cannot be specified, i.e., if HPM_COUNTER_EN[3] is false, it would be illegal to set COUNTINHIBIT_EN[3] to true.

COUNTINHIBIT_EN[1] can never be true, since it corresponds to mcountinhibit, which is always read-only-0.

COUNTINHIBIT_EN[3:31] must all be false if Zihpm is not implemented.

Smhpm

FORCE_UPGRADE_CBO_INVAL_TO_FLUSH

Value Description From Extension

true

When true, an implementation prohibits setting menvcfg.CBIE == 11 such that all cbo.inval instructions either trap (when menvcfg.CBIE == '00') or flush (when menvcfg.CBIE == '01').

When false, an implementation allows a true INVAL operation for cbo.inval, and thus supports the setting menvcfg.CBIE == 11.

Zicbom

GSTAGE_MODE_BARE

Value Description From Extension

true

Whether or not writing mode=Bare is supported in the hgatp register.

H

HCOUNTENABLE_EN

Value Description From Extension

[true, false, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false]

Indicates which counters can delegated via hcounteren

An unimplemented counter cannot be specified, i.e., if HPM_COUNTER_EN[3] is false, it would be illegal to set HCOUNTENABLE_EN[3] to true.

HCOUNTENABLE_EN[0:2] must all be false if Zicntr is not implemented. HCOUNTENABLE_EN[3:31] must all be false if Zihpm is not implemented.

H

HPM_COUNTER_EN

Value Description From Extension

[false, false, false, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false]

List of HPM counters that are enabled. There is one entry for each hpmcounter.

The first three entries must be false (as they correspond to CY, IR, TM in, e.g. mhmpcountinhibit) Index 3 in HPM_COUNTER_EN corresponds to hpmcounter3. Index 31 in HPM_COUNTER_EN corresponds to hpmcounter31.

Smhpm

HPM_EVENTS

Value Description From Extension

[0, 3]

List of defined event numbers that can be written into hpmeventN

Smhpm

HSTATEEN_ENVCFG_TYPE

Value Description From Extension

rw

Behavior of the hstateen0.ENVCFG bit:

  • 'rw': read-write

  • 'read-only-0': read-only, fixed to 0

  • 'read-only-1': read-only, fixed to 1

S

HW_MSTATUS_FS_DIRTY_UPDATE

Value Description From Extension

precise

Indicates whether or not hardware will write to mstatus.FS

Values are:

never

Hardware never writes mstatus.FS

precise

Hardware writes mstatus.FS to the Dirty (3) state precisely when F registers are modified

imprecise

Hardware writes mstatus.FS imprecisely. This will result in a call to unpredictable() on any attempt to read mstatus or write FP state.

F

HW_MSTATUS_VS_DIRTY_UPDATE

Value Description From Extension

precise

Indicates whether or not hardware will write to mstatus.VS

Values are:

never

Hardware never writes mstatus.VS

precise

Hardware writes mstatus.VS to the Dirty (3) state precisely when V registers are modified

imprecise

Hardware writes mstatus.VS imprecisely. This will result in a call to unpredictable() on any attempt to read mstatus or write vector state.

V

IGNORE_INVALID_VSATP_MODE_WRITES_WHEN_V_EQ_ZERO

Value Description From Extension

true

Whether writes from M-mode, U-mode, or S-mode to vsatp with an illegal mode setting are ignored (as they are with satp), or if they are treated as WARL, leading to undpredictable behavior.

H

IMP_ID

Value Description From Extension

0

Vendor-specific implementation ID in mimpid

Sm

LRSC_FAIL_ON_NON_EXACT_LRSC

Value Description From Extension

false

Whether or not a Store Conditional fails if its physical address and size do not exactly match the physical address and size of the last Load Reserved in program order (independent of whether or not the SC is in the current reservation set)

A

LRSC_FAIL_ON_VA_SYNONYM

Value Description From Extension

false

Whether or not an sc.l/sc.d will fail if its VA does not match the VA of the prior lr.l/lr.d, even if the physical address of the SC and LR are the same

A

LRSC_MISALIGNED_BEHAVIOR

Value Description From Extension

always raise misaligned exception

What to do when an LR/SC address is misaligned and MISALIGNED_AMO == false.

  • 'always raise misaligned exception': self-explainitory

  • 'always raise access fault': self-explainitory

  • 'custom': Custom behavior; misaligned LR/SC may sometimes raise a misaligned exception and sometimes raise a access fault. Will lead to an 'unpredictable' call on any misaligned LR/SC access

A

LRSC_RESERVATION_STRATEGY

Value Description From Extension

reserve naturally-aligned 64-byte region

Strategy used to handle reservation sets.

  • "reserve naturally-aligned 64-byte region": Always reserve the 64-byte block containing the LR/SC address

  • "reserve naturally-aligned 128-byte region": Always reserve the 128-byte block containing the LR/SC address

  • "reserve exactly enough to cover the access": Always reserve exactly the LR/SC access, and no more

  • "custom": Custom behavior, leading to an 'unpredictable' call on any LR/SC

A

MCOUNTENABLE_EN

Value Description From Extension

[true, false, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false]

Indicates which counters can be delegated via mcounteren.

An unimplemented counter cannot be specified, i.e., if HPM_COUNTER_EN[3] is false, it would be illegal to set MCOUNTENABLE_EN[3] to true.

MCOUNTENABLE_EN[0:2] must all be false if Zicntr is not implemented. MCOUNTENABLE_EN[3:31] must all be false if Zihpm is not implemented.

Smhpm

MISALIGNED_AMO

Value Description From Extension

false

whether or not the implementation supports misaligned atomics in main memory

A

MISALIGNED_LDST

Value Description From Extension

true

Does the implementation perform non-atomic misaligned loads and stores to main memory (does not affect misaligned support to device memory)? If not, the implementation always throws a misaligned exception.

Sm

MISALIGNED_LDST_EXCEPTION_PRIORITY

Value Description From Extension

high

The relative priority of a load/store/AMO exception vs. load/store/AMO page-fault or access-fault exceptions.

May be one of:

low

Misaligned load/store/AMO exceptions are always lower priority than load/store/AMO page-fault and access-fault exceptions.

high

Misaligned load/store/AMO exceptions are always higher priority than load/store/AMO page-fault and access-fault exceptions.

MISALIGNED_LDST_EXCEPTION_PRIORITY cannot be "high" when MISALIGNED_MAX_ATOMICITY_GRANULE_SIZE is non-zero, since the atomicity of an access cannot be determined in that case until after address translation.

Sm

MISALIGNED_MAX_ATOMICITY_GRANULE_SIZE

Value Description From Extension

0

The maximum granule size, in bytes, that the hart can atomically perform a misaligned load/store/AMO without raising a Misaligned exception. When MISALIGNED_MAX_ATOMICITY_GRANULE_SIZE is 0, the hart cannot atomically perform a misaligned load/store/AMO. When a power of two, the hart can atomically load/store/AMO a misaligned access that is fully contained in a MISALIGNED_MAX_ATOMICITY_GRANULE_SIZE-aligned region.

Even if the hart is capable of performing a misaligned load/store/AMO atomically, a misaligned exception may still occur if the access does not have the appropriate Misaligned Atomicity Granule PMA set.

Sm

MISALIGNED_SPLIT_STRATEGY

Value Description From Extension

by_byte

When misaligned accesses are supported, this determines the order in the implementation appears to process the load/store, which determines how/which exceptions will be reported

Options:

  • by_byte: The load/store appears to be broken into byte-sized accesses that processed sequentially from smallest address to largest address

  • custom: Something else. Will result in a call to unpredictable() in the execution

Sm

MISA_CSR_IMPLEMENTED

Value Description From Extension

true

Whether or not the misa CSR returns zero or a non-zero value.

Possible values:

true

The misa CSR returns a non-zero value.

false

The misa CSR is read-only-0.

Sm

MSTATEEN_ENVCFG_TYPE

Value Description From Extension

rw

Behavior of the mstateen0.ENVCFG bit:

  • 'rw': read-write

  • 'read-only-0': read-only, fixed to 0

  • 'read-only-1': read-only, fixed to 1

S

MSTATUS_FS_LEGAL_VALUES

Value Description From Extension

[0, 1, 2, 3]

The set of values that mstatus.FS will accept from a software write.

F, S

MSTATUS_FS_WRITABLE

Value Description From Extension

true

When S is enabled but F is not, mstatus.FS is optionally writable.

S

MSTATUS_TVM_IMPLEMENTED

Value Description From Extension

true

Whether or not mstatus.TVM is implemented.

When not implemented mstatus.TVM will be read-only-zero.

S

MSTATUS_VS_LEGAL_VALUES

Value Description From Extension

[0, 1, 2, 3]

The set of values that mstatus.VS will accept from a software write.

S, V

MSTATUS_VS_WRITABLE

Value Description From Extension

true

When S is enabled but V is not, mstatus.VS is optionally writable.

S

MTVAL_WIDTH

Value Description From Extension

64

The number of implemented bits in the mtval CSR. This is the CSR that may be written when a trap is taken into M-mode with exception-specific information to assist software in handling the trap (e.g., address associated with exception).

Must be greater than or equal to max(PHYS_ADDR_WIDTH, VA_SIZE)

Sm

MTVEC_BASE_ALIGNMENT_DIRECT

Value Description From Extension

4

Byte alignment for mtvec.BASE when mtvec.MODE is Direct.

Cannot be less than 4-byte alignment.

Sm

MTVEC_BASE_ALIGNMENT_VECTORED

Value Description From Extension

4

Byte alignment for mtvec.BASE when mtvec.MODE is Vectored.

Cannot be less than 4-byte alignment.

Sm

MTVEC_MODES

Value Description From Extension

[0, 1]

Modes supported by mtvec.MODE. If only one, it is assumed to be read-only with that value.

Sm

MUTABLE_MISA_A

Value Description From Extension

false

When the A extensions is supported, indicates whether or not the extension can be disabled in the misa.A bit.

A

MUTABLE_MISA_B

Value Description From Extension

false

Indicates whether or not the B extension can be disabled with the misa.B bit.

B

MUTABLE_MISA_C

Value Description From Extension

false

Indicates whether or not the C extension can be disabled with the misa.C bit.

C

MUTABLE_MISA_D

Value Description From Extension

false

Indicates whether or not the D extension can be disabled with the misa.D bit.

D

MUTABLE_MISA_F

Value Description From Extension

false

Indicates whether or not the F extension can be disabled with the misa.F bit.

F

MUTABLE_MISA_H

Value Description From Extension

false

Indicates whether or not the H extension can be disabled with the misa.H bit.

H

MUTABLE_MISA_M

Value Description From Extension

false

Indicates whether or not the M extension can be disabled with the misa.M bit.

M

MUTABLE_MISA_S

Value Description From Extension

false

Indicates whether or not the S extension can be disabled with the misa.S bit.

S

MUTABLE_MISA_U

Value Description From Extension

false

Indicates whether or not the U extension can be disabled with the misa.U bit.

U

MUTABLE_MISA_V

Value Description From Extension

false

Indicates whether or not the V extension can be disabled with the misa.V bit.

V

MXLEN

Value Description From Extension

64

XLEN in M-mode

Sm

M_MODE_ENDIANNESS

Value Description From Extension

little

Endianness of data in M-mode. Can be one of:

little

M-mode data is always little endian

big

M-mode data is always big endian

dynamic

M-mode data can be either little or big endian, depending on the CSR field mstatus.MBE

Sm

NUM_EXTERNAL_GUEST_INTERRUPTS

Value Description From Extension

4

Number of supported virtualized guest interrupts

Corresponds to the GEILEN parameter in the RVI specs

H

NUM_PMP_ENTRIES

Value Description From Extension

14

Number of implemented PMP entries. Can be any value between 0-64, inclusive.

The architecture mandates that the number of implemented PMP registers must appear to be 0, 16, or 64.

Therefore, pmp registers will behave as follows according to NUN_PMP_ENTRIES:

NUM_PMP_ENTRIES

pmpaddr<0-15> / pmpcfg<0-3>

pmpaddr<16-63> / pmpcfg<4-15>

0

N

N

1-16

Y

N

17-64

Y

Y

  • N = Not implemented; access will cause IllegalInstruction if TRAP_ON_UNIMPLEMENTED_CSR is true

  • Y = Implemented; access will not cause an exception (from M-mode), but register may be read-only-zero if NUM_PMP_ENTRIES is less than the corresponding register

pmpcfgN for an odd N never exists when XLEN == 64

When NUM_PMP_ENTRIES is not exactly 0, 16, or 64, some extant pmp registers, and associated pmpNcfg, will be read-only zero (but will never cause an exception).

Smpmp

PHYS_ADDR_WIDTH

Value Description From Extension

56

Number of bits in the physical address space.

Sm

PMA_GRANULARITY

Value Description From Extension

12

log2 of the smallest supported PMA region.

Generally, for systems with an MMU, should not be smaller than 12, as that would preclude caching PMP results in the TLB along with virtual memory translations

Sm

PMP_GRANULARITY

Value Description From Extension

12

log2 of the smallest supported PMP region.

Generally, for systems with an MMU, should not be smaller than 12, as that would preclude caching PMP results in the TLB along with virtual memory translations

Note that PMP_GRANULARITY is equal to G+2 (not G) as described in the privileged architecture.

Smpmp

PRECISE_SYNCHRONOUS_EXCEPTIONS

Value Description From Extension

true

Whether or not all synchronous exceptions are precise.

If false, any exception not otherwise mandated to precise (e.g., PMP violation) will cause execution to enter an unpredictable state.

Sm

REPORT_ENCODING_IN_MTVAL_ON_ILLEGAL_INSTRUCTION

Value Description From Extension

true

When true, mtval is written with the encoding of an instruction that causes an IllegalInstruction exception.

When false mtval is written with 0 when an IllegalInstruction exception occurs.

Sm

REPORT_ENCODING_IN_STVAL_ON_ILLEGAL_INSTRUCTION

Value Description From Extension

true

When true, stval is written with the encoding of an instruction that causes an IllegalInstruction exception.

When false stval is written with 0 when an IllegalInstruction exception occurs.

S

REPORT_ENCODING_IN_VSTVAL_ON_ILLEGAL_INSTRUCTION

Value Description From Extension

true

When true, vstval is written with the encoding of an instruction that causes an IllegalInstruction exception.

When false vstval is written with 0 when an IllegalInstruction exception occurs.

H

REPORT_GPA_IN_HTVAL_ON_GUEST_PAGE_FAULT

Value Description From Extension

true

When true, htval is written with the Guest Physical Address, shifted right by 2, that caused a GuestPageFault exception.

When false, htval is written with0 when a GuestPageFault exception occurs.

H

REPORT_GPA_IN_TVAL_ON_INSTRUCTION_GUEST_PAGE_FAULT

Value Description From Extension

true

Whether or not GPA >> 2 is written into htval/mtval2 when an instruction guest page fault occurs.

If false, 0 will be written into htval/mtval2 on an instruction guest page fault.

H

REPORT_GPA_IN_TVAL_ON_INTERMEDIATE_GUEST_PAGE_FAULT

Value Description From Extension

true

Whether or not GPA >> 2 is written into htval/mtval2 when a guest page fault occurs while walking a VS-mode page table.

If false, 0 will be written into htval/mtval2 on an intermediate guest page fault.

H

REPORT_GPA_IN_TVAL_ON_LOAD_GUEST_PAGE_FAULT

Value Description From Extension

true

Whether or not GPA >> 2 is written into htval/mtval2 when a load guest page fault occurs.

If false, 0 will be written into htval/mtval2 on a load guest page fault.

H

REPORT_GPA_IN_TVAL_ON_STORE_AMO_GUEST_PAGE_FAULT

Value Description From Extension

true

Whether or not GPA >> 2 is written into htval/mtval2 when a store/amo guest page fault occurs.

If false, 0 will be written into htval/mtval2 on a store/amo guest page fault.

H

REPORT_VA_IN_MTVAL_ON_BREAKPOINT

Value Description From Extension

true

When true, mtval is written with the virtual PC of the EBREAK instruction (same information as mepc).

When false, mtval is written with 0 on an EBREAK instruction.

Regardless, mtval is always written with a virtual PC when an external breakpoint is generated

Sm

REPORT_VA_IN_MTVAL_ON_INSTRUCTION_ACCESS_FAULT

Value Description From Extension

true

When true, mtval is written with the virtual PC of an instructino when fetch causes an InstructionAccessFault.

WHen false, mtval is written with 0 when an instruction fetch causes an InstructionAccessFault.

Sm

REPORT_VA_IN_MTVAL_ON_INSTRUCTION_MISALIGNED

Value Description From Extension

true

When true, mtval is written with the virtual PC when an instruction fetch is misaligned.

When false, mtval is written with 0 when an instruction fetch is misaligned.

Note that when IALIGN=16 (i.e., when the C or one of the Zc* extensions are implemented), it is impossible to generate a misaligned fetch, and so this parameter has no effect.

Sm

REPORT_VA_IN_MTVAL_ON_INSTRUCTION_PAGE_FAULT

Value Description From Extension

true

When true, mtval is written with the virtual PC of an instructino when fetch causes an InstructionPageFault.

WHen false, mtval is written with 0 when an instruction fetch causes an InstructionPageFault.

S

REPORT_VA_IN_MTVAL_ON_LOAD_ACCESS_FAULT

Value Description From Extension

true

When true, mtval is written with the virtual address of a load when it causes a LoadAccessFault.

WHen false, mtval is written with 0 when a load causes a LoadAccessFault.

Sm

REPORT_VA_IN_MTVAL_ON_LOAD_MISALIGNED

Value Description From Extension

true

When true, mtval is written with the virtual address of a load instruction when the address is misaligned and MISALIGNED_LDST is false.

When false, mtval is written with 0 when a load address is misaligned and MISALIGNED_LDST is false.

Sm

REPORT_VA_IN_MTVAL_ON_LOAD_PAGE_FAULT

Value Description From Extension

true

When true, mtval is written with the virtual address of a load when it causes a LoadPageFault.

WHen false, mtval is written with 0 when a load causes a LoadPageFault.

S

REPORT_VA_IN_MTVAL_ON_STORE_AMO_ACCESS_FAULT

Value Description From Extension

true

When true, mtval is written with the virtual address of a store when it causes a StoreAmoAccessFault.

WHen false, mtval is written with 0 when a store causes a StoreAmoAccessFault.

Sm

REPORT_VA_IN_MTVAL_ON_STORE_AMO_MISALIGNED

Value Description From Extension

true

When true, mtval is written with the virtual address of a store instruction when the address is misaligned and MISALIGNED_LDST is false.

When false, mtval is written with 0 when a store address is misaligned and MISALIGNED_LDST is false.

Sm

REPORT_VA_IN_MTVAL_ON_STORE_AMO_PAGE_FAULT

Value Description From Extension

true

When true, mtval is written with the virtual address of a store when it causes a StoreAmoPageFault.

WHen false, mtval is written with 0 when a store causes a StoreAmoPageFault.

S

REPORT_VA_IN_STVAL_ON_BREAKPOINT

Value Description From Extension

true

When true, stval is written with the virtual PC of the EBREAK instruction (same information as mepc).

When false, stval is written with 0 on an EBREAK instruction.

Regardless, stval is always written with a virtual PC when an external breakpoint is generated

S

REPORT_VA_IN_STVAL_ON_INSTRUCTION_ACCESS_FAULT

Value Description From Extension

true

When true, stval is written with the virtual PC of an instructino when fetch causes an InstructionAccessFault.

WHen false, stval is written with 0 when an instruction fetch causes an InstructionAccessFault.

S

REPORT_VA_IN_STVAL_ON_INSTRUCTION_MISALIGNED

Value Description From Extension

true

When true, stval is written with the virtual PC when an instruction fetch is misaligned.

When false, stval is written with 0 when an instruction fetch is misaligned.

Note that when IALIGN=16 (i.e., when the C or one of the Zc* extensions are implemented), it is impossible to generate a misaligned fetch, and so this parameter has no effect.

S

REPORT_VA_IN_STVAL_ON_INSTRUCTION_PAGE_FAULT

Value Description From Extension

true

When true, stval is written with the virtual PC of an instructino when fetch causes an InstructionPageFault.

WHen false, stval is written with 0 when an instruction fetch causes an InstructionPageFault.

S

REPORT_VA_IN_STVAL_ON_LOAD_ACCESS_FAULT

Value Description From Extension

true

When true, stval is written with the virtual address of a load when it causes a LoadAccessFault.

WHen false, stval is written with 0 when a load causes a LoadAccessFault.

S

REPORT_VA_IN_STVAL_ON_LOAD_MISALIGNED

Value Description From Extension

true

When true, stval is written with the virtual address of a load instruction when the address is misaligned and MISALIGNED_LDST is false.

When false, stval is written with 0 when a load address is misaligned and MISALIGNED_LDST is false.

S

REPORT_VA_IN_STVAL_ON_LOAD_PAGE_FAULT

Value Description From Extension

true

When true, stval is written with the virtual address of a load when it causes a LoadPageFault.

WHen false, stval is written with 0 when a load causes a LoadPageFault.

S

REPORT_VA_IN_STVAL_ON_STORE_AMO_ACCESS_FAULT

Value Description From Extension

true

When true, stval is written with the virtual address of a store when it causes a StoreAmoAccessFault.

WHen false, stval is written with 0 when a store causes a StoreAmoAccessFault.

S

REPORT_VA_IN_STVAL_ON_STORE_AMO_MISALIGNED

Value Description From Extension

true

When true, stval is written with the virtual address of a store instruction when the address is misaligned and MISALIGNED_LDST is false.

When false, stval is written with 0 when a store address is misaligned and MISALIGNED_LDST is false.

S

REPORT_VA_IN_STVAL_ON_STORE_AMO_PAGE_FAULT

Value Description From Extension

true

When true, stval is written with the virtual address of a store when it causes a StoreAmoPageFault.

WHen false, stval is written with 0 when a store causes a StoreAmoPageFault.

S

REPORT_VA_IN_VSTVAL_ON_BREAKPOINT

Value Description From Extension

true

When true, vstval is written with the virtual PC of the EBREAK instruction (same information as mepc).

When false, vstval is written with 0 on an EBREAK instruction.

Regardless, vstval is always written with a virtual PC when an external breakpoint is generated

H

REPORT_VA_IN_VSTVAL_ON_INSTRUCTION_ACCESS_FAULT

Value Description From Extension

true

When true, vstval is written with the virtual PC of an instructino when fetch causes an InstructionAccessFault.

WHen false, vstval is written with 0 when an instruction fetch causes an InstructionAccessFault.

H

REPORT_VA_IN_VSTVAL_ON_INSTRUCTION_MISALIGNED

Value Description From Extension

true

When true, vstval is written with the virtual PC when an instruction fetch is misaligned.

When false, vstval is written with 0 when an instruction fetch is misaligned.

Note that when IALIGN=16 (i.e., when the C or one of the Zc* extensions are implemented), it is impossible to generate a misaligned fetch, and so this parameter has no effect.

H

REPORT_VA_IN_VSTVAL_ON_INSTRUCTION_PAGE_FAULT

Value Description From Extension

true

When true, vstval is written with the virtual PC of an instructino when fetch causes an InstructionPageFault.

WHen false, vstval is written with 0 when an instruction fetch causes an InstructionPageFault.

H

REPORT_VA_IN_VSTVAL_ON_LOAD_ACCESS_FAULT

Value Description From Extension

true

When true, vstval is written with the virtual address of a load when it causes a LoadAccessFault.

WHen false, vstval is written with 0 when a load causes a LoadAccessFault.

H

REPORT_VA_IN_VSTVAL_ON_LOAD_MISALIGNED

Value Description From Extension

true

When true, vstval is written with the virtual address of a load instruction when the address is misaligned and MISALIGNED_LDST is false.

When false, vstval is written with 0 when a load address is misaligned and MISALIGNED_LDST is false.

H

REPORT_VA_IN_VSTVAL_ON_LOAD_PAGE_FAULT

Value Description From Extension

true

When true, vstval is written with the virtual address of a load when it causes a LoadPageFault.

WHen false, vstval is written with 0 when a load causes a LoadPageFault.

H

REPORT_VA_IN_VSTVAL_ON_STORE_AMO_ACCESS_FAULT

Value Description From Extension

true

When true, vstval is written with the virtual address of a store when it causes a StoreAmoAccessFault.

WHen false, vstval is written with 0 when a store causes a StoreAmoAccessFault.

H

REPORT_VA_IN_VSTVAL_ON_STORE_AMO_MISALIGNED

Value Description From Extension

true

When true, vstval is written with the virtual address of a store instruction when the address is misaligned and MISALIGNED_LDST is false.

When false, vstval is written with 0 when a store address is misaligned and MISALIGNED_LDST is false.

H

REPORT_VA_IN_VSTVAL_ON_STORE_AMO_PAGE_FAULT

Value Description From Extension

true

When true, vstval is written with the virtual address of a store when it causes a StoreAmoPageFault.

WHen false, vstval is written with 0 when a store causes a StoreAmoPageFault.

H

SATP_MODE_BARE

Value Description From Extension

true

Whether or not satp.MODE == Bare is supported.

S

SCOUNTENABLE_EN

Value Description From Extension

[true, false, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false]

Indicates which counters can delegated via scounteren

An unimplemented counter cannot be specified, i.e., if HPM_COUNTER_EN[3] is false, it would be illegal to set SCOUNTENABLE_EN[3] to true.

SCOUNTENABLE_EN[0:2] must all be false if Zicntr is not implemented. SCOUNTENABLE_EN[3:31] must all be false if Zihpm is not implemented.

S

STVAL_WIDTH

Value Description From Extension

64

The number of implemented bits in stval.

Must be greater than or equal to max(PHYS_ADDR_WIDTH, VA_SIZE)

S

STVEC_MODE_DIRECT

Value Description From Extension

true

Whether or not stvec.MODE supports Direct (0).

S

STVEC_MODE_VECTORED

Value Description From Extension

true

Whether or not stvec.MODE supports Vectored (1).

S

SV32X4_TRANSLATION

Value Description From Extension

false

Whether or not Sv32x4 translation mode is supported.

H

SV32_VSMODE_TRANSLATION

Value Description From Extension

false

Whether or not Sv32 translation is supported in first-stage (VS-stage) translation.

H

SV39X4_TRANSLATION

Value Description From Extension

true

Whether or not Sv39x4 translation mode is supported.

H

SV39_VSMODE_TRANSLATION

Value Description From Extension

true

Whether or not Sv39 translation is supported in first-stage (VS-stage) translation.

H

SV48X4_TRANSLATION

Value Description From Extension

true

Whether or not Sv48x4 translation mode is supported.

H

SV48_VSMODE_TRANSLATION

Value Description From Extension

true

Whether or not Sv48 translation is supported in first-stage (VS-stage) translation.

H

SV57X4_TRANSLATION

Value Description From Extension

false

Whether or not Sv57x4 translation mode is supported.

H

SV57_VSMODE_TRANSLATION

Value Description From Extension

true

Whether or not Sv57 translation is supported in first-stage (VS-stage) translation.

H

SXLEN

Value Description From Extension

64

Set of XLENs supported in S-mode. Can be one of:

  • 32: SXLEN is always 32

  • 64: SXLEN is always 64

  • 3264: SXLEN can be changed (via mstatus.SXL) between 32 and 64

S

S_MODE_ENDIANNESS

Value Description From Extension

little

Endianness of data in S-mode. Can be one of:

  • little: S-mode data is always little endian

  • big: S-mode data is always big endian

  • dynamic: S-mode data can be either little or big endian, depending on the CSR field mstatus.SBE

S

TIME_CSR_IMPLEMENTED

Value Description From Extension

true

Whether or not a real hardware time CSR exists. Implementations can either provide a real CSR or emulate access at M-mode.

Possible values:

true

time/timeh exists, and accessing it will not cause an IllegalInstruction trap

false

time/timeh does not exist. Accessing the CSR will cause an IllegalInstruction trap or enter an unpredictable state, depending on TRAP_ON_UNIMPLEMENTED_CSR. Privileged software may emulate the time CSR, or may pass the exception to a lower level.

Zicntr

TINST_VALUE_ON_BREAKPOINT

Value Description From Extension

always zero

Value written into htinst/mtinst on a Breakpoint exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_FINAL_INSTRUCTION_GUEST_PAGE_FAULT

Value Description From Extension

always zero

Value to write into htval/mtval2 when there is a guest page fault on a final translation.

Possible values: * "always zero": Always write the value zero * "always pseudoinstruction": Always write the pseudoinstruction

H

TINST_VALUE_ON_FINAL_LOAD_GUEST_PAGE_FAULT

Value Description From Extension

always transformed standard instruction

Value to write into htval/mtval2 when there is a guest page fault on a final translation.

Possible values: * "always zero": Always write the value zero * "always pseudoinstruction": Always write the pseudoinstruction * "always transformed standard instruction": Always write the transformation of the standard instruction encoding * "custom": A custom value, which will cause an UNPREDICTABLE event.

H

TINST_VALUE_ON_FINAL_STORE_AMO_GUEST_PAGE_FAULT

Value Description From Extension

always transformed standard instruction

Value to write into htval/mtval2 when there is a guest page fault on a final translation.

Possible values: * "always zero": Always write the value zero * "always pseudoinstruction": Always write the pseudoinstruction * "always transformed standard instruction": Always write the transformation of the standard instruction encoding * "custom": A custom value, which will cause an UNPREDICTABLE event.

H

TINST_VALUE_ON_INSTRUCTION_ADDRESS_MISALIGNED

Value Description From Extension

always zero

Value written into htinst/mtinst when there is an instruction address misaligned exception.

Possible values: * "always zero": Always write the value zero * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_LOAD_ACCESS_FAULT

Value Description From Extension

always zero

Value written into htinst/mtinst on an AccessFault exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "always transformed standard instruction": Always write a transformed standard instruction as defined by H * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_LOAD_ADDRESS_MISALIGNED

Value Description From Extension

always zero

Value written into htinst/mtinst on a VirtualInstruction exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "always transformed standard instruction": Always write a transformed standard instruction as defined by H * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_LOAD_PAGE_FAULT

Value Description From Extension

always zero

Value written into htinst/mtinst on a LoadPageFault exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "always transformed standard instruction": Always write a transformed standard instruction as defined by H * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_MCALL

Value Description From Extension

always zero

Value written into htinst/mtinst on a MCall exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_SCALL

Value Description From Extension

always zero

Value written into htinst/mtinst on a SCall exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_STORE_AMO_ACCESS_FAULT

Value Description From Extension

always zero

Value written into htinst/mtinst on an AccessFault exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "always transformed standard instruction": Always write a transformed standard instruction as defined by H * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_STORE_AMO_ADDRESS_MISALIGNED

Value Description From Extension

always zero

Value written into htinst/mtinst on a VirtualInstruction exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "always transformed standard instruction": Always write a transformed standard instruction as defined by H * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_STORE_AMO_PAGE_FAULT

Value Description From Extension

always zero

Value written into htinst/mtinst on a StoreAmoPageFault exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "always transformed standard instruction": Always write a transformed standard instruction as defined by H * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_UCALL

Value Description From Extension

always zero

Value written into htinst/mtinst on a UCall exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_VIRTUAL_INSTRUCTION

Value Description From Extension

always zero

Value written into htinst/mtinst on a VirtualInstruction exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "custom": Write a custom value, which results in UNPREDICTABLE

H

TINST_VALUE_ON_VSCALL

Value Description From Extension

always zero

Value written into htinst/mtinst on a VSCall exception from VU/VS-mode.

Possible values: * "always zero": Always write the value zero * "custom": Write a custom value, which results in UNPREDICTABLE

H

TRAP_ON_EBREAK

Value Description From Extension

true

Whether or not an EBREAK causes a synchronous exception.

The spec states that implementations may handle EBREAKs transparently without raising a trap, in which case the EEI must provide a builtin.

Sm

TRAP_ON_ECALL_FROM_M

Value Description From Extension

true

Whether or not an ECALL-from-M-mode causes a synchronous exception.

The spec states that implementations may handle ECALLs transparently without raising a trap, in which case the EEI must provide a builtin.

Sm

TRAP_ON_ECALL_FROM_S

Value Description From Extension

true

Whether or not an ECALL-from-S-mode causes a synchronous exception.

The spec states that implementations may handle ECALLs transparently without raising a trap, in which case the EEI must provide a builtin.

S

TRAP_ON_ECALL_FROM_U

Value Description From Extension

true

Whether or not an ECALL-from-U-mode causes a synchronous exception.

The spec states that implementations may handle ECALLs transparently without raising a trap, in which case the EEI must provide a builtin.

U

TRAP_ON_ECALL_FROM_VS

Value Description From Extension

true

Whether or not an ECALL-from-VS-mode causes a synchronous exception.

The spec states that implementations may handle ECALLs transparently without raising a trap, in which case the EEI must provide a builtin.

H

TRAP_ON_ILLEGAL_WLRL

Value Description From Extension

true

When true, writing an illegal value to a WLRL CSR field raises an IllegalInstruction exception.

When false, writing an illegal value to a WLRL CSR field is unpredictable.

Sm

TRAP_ON_RESERVED_INSTRUCTION

Value Description From Extension

true

When true, fetching an unimplemented and/or undefined instruction from the standard/reserved encoding space will cause an IllegalInstruction exception.

When false, fetching such an instruction is UNPREDICTABLE.

Sm

TRAP_ON_SFENCE_VMA_WHEN_SATP_MODE_IS_READ_ONLY

Value Description From Extension

false

For implementations that make satp.MODE read-only zero (always Bare, i.e., no virtual translation is implemented), attempts to execute an SFENCE.VMA instruction might raise an illegal-instruction exception.

TRAP_ON_SFENCE_VMA_WHEN_SATP_MODE_IS_READ_ONLY indicates whether or not that exception occurs.

TRAP_ON_SFENCE_VMA_WHEN_SATP_MODE_IS_READ_ONLY has no effect when some virtual translation mode is supported.

S

TRAP_ON_UNIMPLEMENTED_CSR

Value Description From Extension

true

When true, accessing an unimplemented CSR (via a Zicsr instruction) will cause an IllegalInstruction exception.

When false, accessing an unimplemented CSR (via a Zicsr instruction) is unpredictable.

Sm

TRAP_ON_UNIMPLEMENTED_INSTRUCTION

Value Description From Extension

true

When true, fetching an unimplemented instruction from the custom encoding space will cause an IllegalInstruction exception.

When false, fetching an unimplemented instruction is UNPREDICTABLE.

Sm

UXLEN

Value Description From Extension

64

Set of XLENs supported in U-mode. Can be one of:

  • 32: SXLEN is always 32

  • 64: SXLEN is always 64

  • 3264: SXLEN can be changed (via mstatus.UXL) between 32 and 64

U

U_MODE_ENDIANNESS

Value Description From Extension

little

Endianness of data in U-mode. Can be one of:

  • little: U-mode data is always little endian

  • big: U-mode data is always big endian

  • dynamic: U-mode data can be either little or big endian, depending on the CSR field mstatus.UBE

U

VENDOR_ID_BANK

Value Description From Extension

0

JEDEC Vendor ID bank, for mvendorid

Sm

VENDOR_ID_OFFSET

Value Description From Extension

0

Vendor JEDEC code offset, for mvendorid

Sm

VMID_WIDTH

Value Description From Extension

8

Number of bits supported in hgatp.VMID (i.e., the supported width of a virtual machine ID).

H

VSTVEC_MODE_DIRECT

Value Description From Extension

true

Whether or not vstvec.MODE supports Direct (0).

H

VSTVEC_MODE_VECTORED

Value Description From Extension

true

Whether or not stvec.MODE supports Vectored (1).

H

VSXLEN

Value Description From Extension

64

Set of XLENs supported in VS-mode. Can be one of:

  • 32: VSXLEN is always 32

  • 64: VSXLEN is always 64

  • 3264: VSXLEN can be changed (via hstatus.VSXL) between 32 and 64

H

VS_MODE_ENDIANNESS

Value Description From Extension

little

Endianness of data in VS-mode. Can be one of:

  • little: VS-mode data is always little endian

  • big: VS-mode data is always big endian

  • dynamic: VS-mode data can be either little or big endian, depending on the CSR field hstatus.VSBE

H

VUXLEN

Value Description From Extension

64

Set of XLENs supported in VU-mode. Can be one of:

  • 32: VUXLEN is always 32

  • 64: VUXLEN is always 64

  • 3264: VUXLEN can be changed (via vsstatus.UXL) between 32 and 64

H

VU_MODE_ENDIANNESS

Value Description From Extension

little

Endianness of data in VU-mode. Can be one of:

  • little: VU-mode data is always little endian

  • big: VU-mode data is always big endian

  • dynamic: VU-mode data can be either little or big endian, depending on the CSR field vsstatus.UBE

H