model/riscv_vmem_types.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// Extensions for memory Accesstype.

type ext_access_type = unit

let Data  : ext_access_type = ()

let default_write_acc : ext_access_type = Data

val accessType_to_str : AccessType(ext_access_type) -> string
function accessType_to_str (a) =
  match (a) {
    Read(Data)      => "R",
    Write(Data)     => "W",
    ReadWrite(Data) => "RW",
    Execute()       => "X"
  }

overload to_str = {accessType_to_str}