1 files changed, 63 insertions, 0 deletions
diff --git a/riscv/riscv_sys.sail b/riscv/riscv_sys.sail
index 803531bd..3e36ebc7 100644
--- a/riscv/riscv_sys.sail
+++ b/riscv/riscv_sys.sail
@@ -475,6 +475,69 @@ function csr_name(csr) = {
   }
 }
 
+mapping csr_name_map : csreg <-> string = {
+    /* user trap setup */
+    0x000  <-> "ustatus",
+    0x004  <-> "uie",
+    0x005  <-> "utvec",
+    /* user floating-point context */
+    0x001  <-> "fflags",
+    0x002  <-> "frm",
+    0x003  <-> "fcsr",
+    /* counter/timers */
+    0xC00  <-> "cycle",
+    0xC01  <-> "time",
+    0xC02  <-> "instret",
+    0xC80  <-> "cycleh",
+    0xC81  <-> "timeh",
+    0xC82  <-> "instreth",
+    /* TODO: other hpm counters */
+    /* supervisor trap setup */
+    0x100  <-> "sstatus",
+    0x102  <-> "sedeleg",
+    0x103  <-> "sideleg",
+    0x104  <-> "sie",
+    0x105  <-> "stvec",
+    0x106  <-> "scounteren",
+    /* supervisor trap handling */
+    0x140  <-> "sscratch",
+    0x141  <-> "sepc",
+    0x142  <-> "scause",
+    0x143  <-> "stval",
+    0x144  <-> "sip",
+    /* supervisor protection and translation */
+    0x180  <-> "satp",
+    /* machine information registers */
+    0xF11  <-> "mvendorid",
+    0xF12  <-> "marchid",
+    0xF13  <-> "mimpid",
+    0xF14  <-> "mhartid",
+    /* machine trap setup */
+    0x300  <-> "mstatus",
+    0x301  <-> "misa",
+    0x302  <-> "medeleg",
+    0x303  <-> "mideleg",
+    0x304  <-> "mie",
+    0x305  <-> "mtvec",
+    0x306  <-> "mcounteren",
+    /* machine trap handling */
+    0x340  <-> "mscratch",
+    0x341  <-> "mepc",
+    0x342  <-> "mcause",
+    0x343  <-> "mtval",
+    0x344  <-> "mip",
+    /* TODO: machine protection and translation */
+    /* machine counters/timers */
+    0xB00  <-> "mcycle",
+    0xB02  <-> "minstret",
+    0xB80  <-> "mcycleh",
+    0xB82  <-> "minstreth",
+    /* TODO: other hpm counters and events */
+    /* trigger/debug */
+    0x7a0  <-> "tselect"
+ }
+
+
 /* csr access control */
 
 function csrAccess(csr : csreg) -> csrRW = csr[11..10]