udb 0.1.0 → 0.1.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 9e3417aff756dc8df755509f12b105e5094f469841956bb3ff2713f550abf7c6
-  data.tar.gz: '0870315f611d84d85abe12374c1da87f3e3a4bcdb137723d2763db10b595705e'
+  metadata.gz: 030b2114165b983357479c5b9f5c278ddcb859f6b89a529b2c632eb7227749dc
+  data.tar.gz: e2be4d1bec8e2fc90c32b96f457b8ebb2cef0390d9a0b9f431ed34803d87f55f
 SHA512:
-  metadata.gz: cb45226f11771b8e061093aad2fad30409f73fa9c8217810a74d2f9bea414b7b3069f6c59b5fa0e7b3cdb1ab29fa17f0ed0423ebb19560de5ab3cd615eaf18d9
-  data.tar.gz: 4108df795658ab48fc4a8c3a077fc195178aac3865be3ceb29701447475e2308c6f23f00649c6665b6928ee9dc2964b02c9328fe0b1a9615be3ee70eccbee88f
+  metadata.gz: cadc118ddaa3396e17d89c5d3b89e754bed287c50285f7b6711ad63f5ecc305e00de02de3e5abf7b58e39b38989f2b24f94c022209c7f2b4185e9599fcde33e9
+  data.tar.gz: b1026028c8bd8a0c51fe497653b580fdc0af7c7e30878920a85aec71b6cc41c83e3b99bc84abbe63c6e7e8bb04371fe6cda49112245ce83de09ccca8a696f427

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.c.mienter.nest.yaml

@@ -32,29 +32,29 @@ operation(): |
   XReg qc_mcause_val = CSR[qc.mcause].sw_read();
   XReg reserved_val = 0;
   if (CSR[mnstatus].NMIE == 1'b1) {
-    write_memory<32>(virtual_address -  4, mepc_val, $encoding);
+    write_memory(32, virtual_address -  4, mepc_val, $encoding);
   } else {
-    write_memory<32>(virtual_address -  4, mnepc_val, $encoding);
+    write_memory(32, virtual_address -  4, mnepc_val, $encoding);
   }
-  write_memory<32>(virtual_address -  8, X[ 8][31:0], $encoding);
-  write_memory<32>(virtual_address - 12, qc_mcause_val, $encoding);
-  write_memory<32>(virtual_address - 16, X[ 1][31:0], $encoding);
-  write_memory<32>(virtual_address - 20, reserved_val, $encoding);
-  write_memory<32>(virtual_address - 24, X[ 5][31:0], $encoding);
-  write_memory<32>(virtual_address - 28, X[ 6][31:0], $encoding);
-  write_memory<32>(virtual_address - 32, X[ 7][31:0], $encoding);
-  write_memory<32>(virtual_address - 36, X[10][31:0], $encoding);
-  write_memory<32>(virtual_address - 40, X[11][31:0], $encoding);
-  write_memory<32>(virtual_address - 44, X[12][31:0], $encoding);
-  write_memory<32>(virtual_address - 48, X[13][31:0], $encoding);
-  write_memory<32>(virtual_address - 52, X[14][31:0], $encoding);
-  write_memory<32>(virtual_address - 56, X[15][31:0], $encoding);
-  write_memory<32>(virtual_address - 60, X[16][31:0], $encoding);
-  write_memory<32>(virtual_address - 64, X[17][31:0], $encoding);
-  write_memory<32>(virtual_address - 68, X[28][31:0], $encoding);
-  write_memory<32>(virtual_address - 72, X[29][31:0], $encoding);
-  write_memory<32>(virtual_address - 76, X[30][31:0], $encoding);
-  write_memory<32>(virtual_address - 80, X[31][31:0], $encoding);
+  write_memory(32, virtual_address -  8, X[ 8][31:0], $encoding);
+  write_memory(32, virtual_address - 12, qc_mcause_val, $encoding);
+  write_memory(32, virtual_address - 16, X[ 1][31:0], $encoding);
+  write_memory(32, virtual_address - 20, reserved_val, $encoding);
+  write_memory(32, virtual_address - 24, X[ 5][31:0], $encoding);
+  write_memory(32, virtual_address - 28, X[ 6][31:0], $encoding);
+  write_memory(32, virtual_address - 32, X[ 7][31:0], $encoding);
+  write_memory(32, virtual_address - 36, X[10][31:0], $encoding);
+  write_memory(32, virtual_address - 40, X[11][31:0], $encoding);
+  write_memory(32, virtual_address - 44, X[12][31:0], $encoding);
+  write_memory(32, virtual_address - 48, X[13][31:0], $encoding);
+  write_memory(32, virtual_address - 52, X[14][31:0], $encoding);
+  write_memory(32, virtual_address - 56, X[15][31:0], $encoding);
+  write_memory(32, virtual_address - 60, X[16][31:0], $encoding);
+  write_memory(32, virtual_address - 64, X[17][31:0], $encoding);
+  write_memory(32, virtual_address - 68, X[28][31:0], $encoding);
+  write_memory(32, virtual_address - 72, X[29][31:0], $encoding);
+  write_memory(32, virtual_address - 76, X[30][31:0], $encoding);
+  write_memory(32, virtual_address - 80, X[31][31:0], $encoding);
   X[8] = X[2];
   X[2] = X[2] - 96;
   CSR[mstatus].MIE = 1'b1;

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.c.mienter.yaml

@@ -32,28 +32,28 @@ operation(): |
   XReg qc_mcause_val = CSR[qc.mcause].sw_read();
   XReg reserved_val = 0;
   if (CSR[mnstatus].NMIE == 1'b1) {
-    write_memory<32>(virtual_address -  4, mepc_val, $encoding);
+    write_memory(32, virtual_address -  4, mepc_val, $encoding);
   } else {
-    write_memory<32>(virtual_address -  4, mnepc_val, $encoding);
+    write_memory(32, virtual_address -  4, mnepc_val, $encoding);
   }
-  write_memory<32>(virtual_address -  8, X[ 8][31:0], $encoding);
-  write_memory<32>(virtual_address - 12, qc_mcause_val, $encoding);
-  write_memory<32>(virtual_address - 16, X[ 1][31:0], $encoding);
-  write_memory<32>(virtual_address - 20, reserved_val, $encoding);
-  write_memory<32>(virtual_address - 24, X[ 5][31:0], $encoding);
-  write_memory<32>(virtual_address - 28, X[ 6][31:0], $encoding);
-  write_memory<32>(virtual_address - 32, X[ 7][31:0], $encoding);
-  write_memory<32>(virtual_address - 36, X[10][31:0], $encoding);
-  write_memory<32>(virtual_address - 40, X[11][31:0], $encoding);
-  write_memory<32>(virtual_address - 44, X[12][31:0], $encoding);
-  write_memory<32>(virtual_address - 48, X[13][31:0], $encoding);
-  write_memory<32>(virtual_address - 52, X[14][31:0], $encoding);
-  write_memory<32>(virtual_address - 56, X[15][31:0], $encoding);
-  write_memory<32>(virtual_address - 60, X[16][31:0], $encoding);
-  write_memory<32>(virtual_address - 64, X[17][31:0], $encoding);
-  write_memory<32>(virtual_address - 68, X[28][31:0], $encoding);
-  write_memory<32>(virtual_address - 72, X[29][31:0], $encoding);
-  write_memory<32>(virtual_address - 76, X[30][31:0], $encoding);
-  write_memory<32>(virtual_address - 80, X[31][31:0], $encoding);
+  write_memory(32, virtual_address -  8, X[ 8][31:0], $encoding);
+  write_memory(32, virtual_address - 12, qc_mcause_val, $encoding);
+  write_memory(32, virtual_address - 16, X[ 1][31:0], $encoding);
+  write_memory(32, virtual_address - 20, reserved_val, $encoding);
+  write_memory(32, virtual_address - 24, X[ 5][31:0], $encoding);
+  write_memory(32, virtual_address - 28, X[ 6][31:0], $encoding);
+  write_memory(32, virtual_address - 32, X[ 7][31:0], $encoding);
+  write_memory(32, virtual_address - 36, X[10][31:0], $encoding);
+  write_memory(32, virtual_address - 40, X[11][31:0], $encoding);
+  write_memory(32, virtual_address - 44, X[12][31:0], $encoding);
+  write_memory(32, virtual_address - 48, X[13][31:0], $encoding);
+  write_memory(32, virtual_address - 52, X[14][31:0], $encoding);
+  write_memory(32, virtual_address - 56, X[15][31:0], $encoding);
+  write_memory(32, virtual_address - 60, X[16][31:0], $encoding);
+  write_memory(32, virtual_address - 64, X[17][31:0], $encoding);
+  write_memory(32, virtual_address - 68, X[28][31:0], $encoding);
+  write_memory(32, virtual_address - 72, X[29][31:0], $encoding);
+  write_memory(32, virtual_address - 76, X[30][31:0], $encoding);
+  write_memory(32, virtual_address - 80, X[31][31:0], $encoding);
   X[8] = X[2];
   X[2] = X[2] - 96;

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.c.mileaveret.yaml

@@ -27,30 +27,30 @@ encoding:
 operation(): |
   XReg virtual_address_sp = get_and_validate_stack_pointer(X[2], $encoding);
   XReg virtual_address = virtual_address_sp + 96;
-  XReg prev_retpc = read_memory<32>(virtual_address -  4, $encoding);
-  XReg qc_mcause_val = read_memory<32>(virtual_address - 12, $encoding);
+  XReg prev_retpc = read_memory(32, virtual_address -  4, $encoding);
+  XReg qc_mcause_val = read_memory(32, virtual_address - 12, $encoding);
   Bits<1> nmie_val = CSR[mnstatus].NMIE;
   XReg qc_mcause_prev_val = CSR[qc.mcause].sw_read();
   XReg qc_mcause_nmip_excp_mask = (32'b1 << 24) | (32'b1 << 25);
   XReg qc_mcause_new_val = (qc_mcause_val & ~qc_mcause_nmip_excp_mask) | (qc_mcause_prev_val & qc_mcause_nmip_excp_mask);
   CSR[qc.mcause].sw_write(qc_mcause_new_val);
-  X[ 8] = read_memory<32>(virtual_address -  8, $encoding);
-  X[ 1] = read_memory<32>(virtual_address - 16, $encoding);
-  X[ 5] = read_memory<32>(virtual_address - 24, $encoding);
-  X[ 6] = read_memory<32>(virtual_address - 28, $encoding);
-  X[ 7] = read_memory<32>(virtual_address - 32, $encoding);
-  X[10] = read_memory<32>(virtual_address - 36, $encoding);
-  X[11] = read_memory<32>(virtual_address - 40, $encoding);
-  X[12] = read_memory<32>(virtual_address - 44, $encoding);
-  X[13] = read_memory<32>(virtual_address - 48, $encoding);
-  X[14] = read_memory<32>(virtual_address - 52, $encoding);
-  X[15] = read_memory<32>(virtual_address - 56, $encoding);
-  X[16] = read_memory<32>(virtual_address - 60, $encoding);
-  X[17] = read_memory<32>(virtual_address - 64, $encoding);
-  X[28] = read_memory<32>(virtual_address - 68, $encoding);
-  X[29] = read_memory<32>(virtual_address - 72, $encoding);
-  X[30] = read_memory<32>(virtual_address - 76, $encoding);
-  X[31] = read_memory<32>(virtual_address - 80, $encoding);
+  X[ 8] = read_memory(32, virtual_address -  8, $encoding);
+  X[ 1] = read_memory(32, virtual_address - 16, $encoding);
+  X[ 5] = read_memory(32, virtual_address - 24, $encoding);
+  X[ 6] = read_memory(32, virtual_address - 28, $encoding);
+  X[ 7] = read_memory(32, virtual_address - 32, $encoding);
+  X[10] = read_memory(32, virtual_address - 36, $encoding);
+  X[11] = read_memory(32, virtual_address - 40, $encoding);
+  X[12] = read_memory(32, virtual_address - 44, $encoding);
+  X[13] = read_memory(32, virtual_address - 48, $encoding);
+  X[14] = read_memory(32, virtual_address - 52, $encoding);
+  X[15] = read_memory(32, virtual_address - 56, $encoding);
+  X[16] = read_memory(32, virtual_address - 60, $encoding);
+  X[17] = read_memory(32, virtual_address - 64, $encoding);
+  X[28] = read_memory(32, virtual_address - 68, $encoding);
+  X[29] = read_memory(32, virtual_address - 72, $encoding);
+  X[30] = read_memory(32, virtual_address - 76, $encoding);
+  X[31] = read_memory(32, virtual_address - 80, $encoding);
   X[2] = X[2] + 96;
   if (nmie_val == 1'b1) {
     XReg qc_mcause_val_masked = qc_mcause_new_val & ~(32'b1<<26) & ~(32'b1<<27) & ~(32'b1<<29) & ~(32'hFF<<12);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.e.lb.yaml

@@ -34,4 +34,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + $signed(imm);
-  X[rd] = sext(read_memory<8>(virtual_address, $encoding), 8);
+  X[rd] = sext(read_memory(8, virtual_address, $encoding), 8);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.e.lbu.yaml

@@ -34,4 +34,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + $signed(imm);
-  X[rd] = read_memory<8>(virtual_address, $encoding);
+  X[rd] = read_memory(8, virtual_address, $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.e.lh.yaml

@@ -34,4 +34,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + $signed(imm);
-  X[rd] = sext(read_memory<16>(virtual_address, $encoding), 16);
+  X[rd] = sext(read_memory(16, virtual_address, $encoding), 16);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.e.lhu.yaml

@@ -34,4 +34,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + $signed(imm);
-  X[rd] = read_memory<16>(virtual_address, $encoding);
+  X[rd] = read_memory(16, virtual_address, $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.e.lw.yaml

@@ -34,4 +34,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + $signed(imm);
-  X[rd] = read_memory<32>(virtual_address, $encoding);
+  X[rd] = read_memory(32, virtual_address, $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.e.sb.yaml

@@ -33,4 +33,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + $signed(imm);
-  write_memory<8>(virtual_address, X[rs2][7:0], $encoding);
+  write_memory(8, virtual_address, X[rs2][7:0], $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.e.sh.yaml

@@ -33,4 +33,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + $signed(imm);
-  write_memory<16>(virtual_address, X[rs2][15:0], $encoding);
+  write_memory(16, virtual_address, X[rs2][15:0], $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.e.sw.yaml

@@ -33,4 +33,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + $signed(imm);
-  write_memory<32>(virtual_address, X[rs2][31:0], $encoding);
+  write_memory(32, virtual_address, X[rs2][31:0], $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.lrb.yaml

@@ -37,4 +37,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + (X[rs2] << shamt);
-  X[rd] = sext(read_memory<8>(virtual_address, $encoding), 8);
+  X[rd] = sext(read_memory(8, virtual_address, $encoding), 8);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.lrbu.yaml

@@ -36,4 +36,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + (X[rs2] << shamt);
-  X[rd] = read_memory<8>(virtual_address, $encoding);
+  X[rd] = read_memory(8, virtual_address, $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.lrh.yaml

@@ -37,4 +37,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + (X[rs2] << shamt);
-  X[rd] = sext(read_memory<16>(virtual_address, $encoding), 16);
+  X[rd] = sext(read_memory(16, virtual_address, $encoding), 16);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.lrhu.yaml

@@ -36,4 +36,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + (X[rs2] << shamt);
-  X[rd] = read_memory<16>(virtual_address, $encoding);
+  X[rd] = read_memory(16, virtual_address, $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.lrw.yaml

@@ -36,4 +36,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + (X[rs2] << shamt);
-  X[rd] = read_memory<32>(virtual_address, $encoding);
+  X[rd] = read_memory(32, virtual_address, $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.lwm.yaml

@@ -41,6 +41,6 @@ operation(): |
   XReg num_words = X[rs2][4:0];
   raise (ExceptionCode::IllegalInstruction, effective_ldst_mode(), $encoding) if ((rd + num_words) > 32);
   for (U32 i = 0; i < num_words; i++) {
-    X[rd + i] = read_memory<32>(vaddr, $encoding);
+    X[rd + i] = read_memory(32, vaddr, $encoding);
     vaddr = vaddr + 4;
   }

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.lwmi.yaml

@@ -40,6 +40,6 @@ operation(): |
   XReg vaddr = X[rs1] + imm;
   raise (ExceptionCode::IllegalInstruction, effective_ldst_mode(), $encoding) if ((rd + length) > 32);
   for (U32 i = 0; i < length; i++) {
-    X[rd + i] = read_memory<32>(vaddr, $encoding);
+    X[rd + i] = read_memory(32, vaddr, $encoding);
     vaddr = vaddr + 4;
   }

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.setwm.yaml

@@ -40,6 +40,6 @@ operation(): |
   Bits<32> write_value = X[rs3][31:0];
   XReg num_words = X[rs2][4:0];
   for (U32 i = 0; i < num_words; i++) {
-    write_memory<32>(vaddr, write_value, $encoding);
+    write_memory(32, vaddr, write_value, $encoding);
     vaddr = vaddr + 4;
   }

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.setwmi.yaml

@@ -39,6 +39,6 @@ operation(): |
   XReg vaddr = X[rs1] + imm;
   Bits<32> write_value = X[rs3][31:0];
   for (U32 i = 0; i < length; i++) {
-    write_memory<32>(vaddr, write_value, $encoding);
+    write_memory(32, vaddr, write_value, $encoding);
     vaddr = vaddr + 4;
   }

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.srb.yaml

@@ -36,4 +36,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + (X[rs2] << shamt);
-  write_memory<8>(virtual_address, X[rs3][7:0], $encoding);
+  write_memory(8, virtual_address, X[rs3][7:0], $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.srh.yaml

@@ -36,4 +36,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + (X[rs2] << shamt);
-  write_memory<16>(virtual_address, X[rs3][15:0], $encoding);
+  write_memory(16, virtual_address, X[rs3][15:0], $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.srw.yaml

@@ -36,4 +36,4 @@ access:
   vu: always
 operation(): |
   XReg virtual_address = X[rs1] + (X[rs2] << shamt);
-  write_memory<32>(virtual_address, X[rs3][31:0], $encoding);
+  write_memory(32, virtual_address, X[rs3][31:0], $encoding);

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.swm.yaml

@@ -41,6 +41,6 @@ operation(): |
   XReg num_words = X[rs2][4:0];
   raise (ExceptionCode::IllegalInstruction, effective_ldst_mode(), $encoding) if ((rs3 + num_words) > 32);
   for (U32 i = 0; i < num_words; i++) {
-    write_memory<32>(vaddr, X[rs3 + i], $encoding);
+    write_memory(32, vaddr, X[rs3 + i], $encoding);
     vaddr = vaddr + 4;
   }

data/.data/spec/custom/isa/qc_iu/inst/Xqci/qc.swmi.yaml

@@ -40,6 +40,6 @@ operation(): |
   XReg vaddr = X[rs1] + imm;
   raise (ExceptionCode::IllegalInstruction, effective_ldst_mode(), $encoding) if ((rs3 + length) > 32);
   for (U32 i = 0; i < length; i++) {
-    write_memory<32>(vaddr, X[rs3 + i], $encoding);
+    write_memory(32, vaddr, X[rs3 + i], $encoding);
     vaddr = vaddr + 4;
   }

data/.data/spec/schemas/README.adoc

@@ -33,8 +33,11 @@ published as GitHub releases under the tag `schemas/<schema_name>/<version>`.
 |===
 | Version | Published URL
 
-| 0.1 (current)
-| https://riscv.github.io/riscv-unified-db/schemas/csr_schema.json/v0.1/csr_schema.json (example)
+| 0.1 (current for all schemas except csr_schema.json)
+| https://riscv.github.io/riscv-unified-db/schemas/ext_schema.json/v0.1/ext_schema.json (example)
+
+| 0.2 (current for csr_schema.json)
+| https://riscv.github.io/riscv-unified-db/schemas/csr_schema.json/v0.2/csr_schema.json
 |===
 
 == Schema Identification (`$id`)
@@ -43,7 +46,7 @@ Every schema file contains a top-level `$id` key whose value is the version
 string (e.g. `v0.1`).  Source data files reference schemas using the bare
 filename (e.g. `csr_schema.json#`).  When data files are resolved, the
 `$schema` field is rewritten to include the version prefix
-(e.g. `v0.1/csr_schema.json#`) so that the resolved file records the exact
+(e.g. `v0.2/csr_schema.json#`) so that the resolved file records the exact
 schema version used.
 
 [source,json]

data/.data/spec/schemas/csr_schema.json

@@ -1,6 +1,6 @@
 {
   "$schema": "http://json-schema.org/draft-07/schema#",
-  "$id": "v0.1",
+  "$id": "v0.2",
   "title": "CSR description",
   "description": "A CSR register specification",
   "$defs": {
@@ -57,10 +57,6 @@
         "sw_write_ast": {
           "type": "object"
         },
-        "legal?(csr_value)": {
-          "type": "string",
-          "description": "Function that returns whether or not an attempted value for the field is legal. The csr_value parameter is the *entire* attempted CSR write value. Fields within the attempted write value can be accessed with a dot operator (e.g., csr_value.SXL, csr_value.VGEIN, ...)"
-        },
         "description": {
           "$ref": "schema_defs.json#/$defs/spec_text",
           "description": "Function of the field"

data/.data/spec/std/isa/csr/Smrnmi/mnstatus.yaml

@@ -50,17 +50,6 @@ fields:
       } else {
         return csr_value.MNPP;
       }
-    legal?(csr_value): |
-      if (csr_value.MNPP == 2'b01 && !implemented?(ExtensionName::S)) {
-        return false;
-      } else if (csr_value.MNPP == 2'b00 && !implemented?(ExtensionName::U)) {
-        return false;
-      } else if (csr_value.MNPP == 2'b10) {
-        # never a valid value
-        return false;
-      } else {
-        return true;
-      }
   MNPELP:
     location: 9
     description: |

data/.data/spec/std/isa/csr/hstatus.yaml

@@ -145,8 +145,6 @@ fields:
         return CsrFieldType::RWR;
       }
     reset_value: UNDEFINED_LEGAL
-    legal?(csr_value): |
-      return csr_value.VGEIN <= NUM_EXTERNAL_GUEST_INTERRUPTS;
     sw_write(csr_value): |
       if (csr_value.VGEIN <= NUM_EXTERNAL_GUEST_INTERRUPTS) {
         return csr_value.VGEIN;

data/.data/spec/std/isa/csr/mconfigptr.yaml

@@ -56,6 +56,3 @@ fields:
     type: RO
     reset_value(): |
       return CONFIG_PTR_ADDRESS;
-    legal?(csr_value): |
-      # pointer must be naturally aligned to MXLEN
-      return ((MXLEN-1) | csr_value.ADDRESS) == 0;

data/.data/spec/std/isa/csr/misa.yaml

@@ -109,8 +109,6 @@ fields:
 
       # fall-through; write the intended value
       return csr_value.F;
-    legal?(csr_value): |
-      return !(csr_value.F == 0 && csr_value.D == 1);
   G:
     location: 6
     description: |
@@ -195,8 +193,6 @@ fields:
 
       # fall-through; write the intended value
       return csr_value.Q;
-    legal?(csr_value): |
-      return !(csr_value.Q == 1 && csr_value.D == 0);
   S:
     location: 18
     description: |

data/.data/spec/std/isa/csr/mstatus.yaml

@@ -433,17 +433,6 @@ fields:
       } else {
         return csr_value.MPP;
       }
-    legal?(csr_value): |
-      if (csr_value.MPP == 2'b01 && !implemented?(ExtensionName::S)) {
-        return false;
-      } else if (csr_value.MPP == 2'b00 && !implemented?(ExtensionName::U)) {
-        return false;
-      } else if (csr_value.MPP == 2'b10) {
-        # never a valid value
-        return false;
-      } else {
-        return true;
-      }
   VS:
     location: 10-9
     long_name: Vector context Status
@@ -524,8 +513,6 @@ fields:
       } else {
         return csr_value.SPP;
       }
-    legal?(csr_value): |
-      return csr_value.SPP != 2'b10;
   MPIE:
     location: 7
     long_name: M-mode Previous Interrupt Enable

data/.data/spec/std/isa/csr/schema.adoc

@@ -212,12 +212,6 @@ Custom Write Function::
 | *description* | Function implementing custom write behavior for the CSR. The csr_value parameter is the *entire* attempted CSR write value. Fields within the attempted write value can be accessed with a dot operator (e.g., csr_value.SXL, csr_value.VGEIN, ...)
 |===
 
-|===
-| *key*         | legal?(csr_value)
-| *value type*  | String of IDL code that returns whether or not an attempted write is legal
-| *description* | Function that returns whether or not an attempted value for the field is legal. The csr_value parameter is the *entire* attempted CSR write value. Fields within the attempted write value can be accessed with a dot operator (e.g., csr_value.SXL, csr_value.VGEIN, ...)
-|===
-
 Alias::
 
 Some fields are aliases for another field, often in a different CSR. THe `alias` key is used to indicate that this field just points somewhere else.

data/.data/spec/std/isa/inst/C/c.ld.yaml

@@ -56,7 +56,7 @@ operation(): |
 
   if (xlen() == 32) {
     if (implemented?(ExtensionName::Zclsd)) {
-      Bits<64> val = read_memory<64>(X[creg2reg(xs1)] + imm, $encoding);
+      Bits<64> val = read_memory(64, X[creg2reg(xs1)] + imm, $encoding);
       X[creg2reg(xd)] = val[31:0];
       X[creg2reg(xd + 1)] = val[63:32];
     } else {
@@ -64,7 +64,7 @@ operation(): |
     }
   } else {
     XReg virtual_address = X[creg2reg(xs1)] + imm;
-    X[creg2reg(xd)] = sext(read_memory<64>(virtual_address, $encoding), 64);
+    X[creg2reg(xd)] = sext(read_memory(64, virtual_address, $encoding), 64);
   }
 
 # SPDX-SnippetBegin

data/.data/spec/std/isa/inst/C/c.ldsp.yaml

@@ -54,7 +54,7 @@ operation(): |
   }
 
   XReg virtual_address = X[2] + imm;
-  Bits<64> value = read_memory<64>(virtual_address, $encoding);
+  Bits<64> value = read_memory(64, virtual_address, $encoding);
 
   if (xlen()== 64) {
     X[creg2reg(xd)] = value;

data/.data/spec/std/isa/inst/C/c.lw.yaml

@@ -38,7 +38,7 @@ operation(): |
 
   XReg virtual_address = X[creg2reg(xs1)] + imm;
 
-  X[creg2reg(xd)] = sext(read_memory<32>(virtual_address, $encoding), 32);
+  X[creg2reg(xd)] = sext(read_memory(32, virtual_address, $encoding), 32);
 
 # SPDX-SnippetBegin
 # SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>

data/.data/spec/std/isa/inst/C/c.lwsp.yaml

@@ -38,4 +38,4 @@ operation(): |
 
   XReg virtual_address = X[2] + imm;
 
-  X[xd] = sext(read_memory<32>(virtual_address, $encoding), 32);
+  X[xd] = sext(read_memory(32, virtual_address, $encoding), 32);

data/.data/spec/std/isa/inst/C/c.sd.yaml

@@ -58,10 +58,10 @@ operation(): |
   if (xlen() == 32) {
     if (implemented?(ExtensionName::Zclsd)) {
       Bits<64> data = {X[creg2reg(xs2) + 1], X[creg2reg(xs2)]};
-      write_memory<64>(virtual_address, data, $encoding);
+      write_memory(64, virtual_address, data, $encoding);
     } else {
       raise(ExceptionCode::IllegalInstruction, mode(), $encoding);
     }
   } else {
-    write_memory<64>(virtual_address, X[creg2reg(xs2)], $encoding);
+    write_memory(64, virtual_address, X[creg2reg(xs2)], $encoding);
   }

data/.data/spec/std/isa/inst/C/c.sdsp.yaml

@@ -54,10 +54,10 @@ operation(): |
   if (xlen() == 32) {
     if (implemented?(ExtensionName::Zclsd)) {
       Bits<64> data = {X[creg2reg(xs2) + 1], X[creg2reg(xs2)]};
-      write_memory<64>(virtual_address, data, $encoding);
+      write_memory(64, virtual_address, data, $encoding);
     } else {
       raise(ExceptionCode::IllegalInstruction, mode(), $encoding);
     }
   } else {
-    write_memory<64>(virtual_address, X[creg2reg(xs2)], $encoding);
+    write_memory(64, virtual_address, X[creg2reg(xs2)], $encoding);
   }

data/.data/spec/std/isa/inst/C/c.sw.yaml

@@ -38,4 +38,4 @@ operation(): |
 
   XReg virtual_address = X[creg2reg(xs1)] + imm;
 
-  write_memory<32>(virtual_address, X[creg2reg(xs2)][31:0], $encoding);
+  write_memory(32, virtual_address, X[creg2reg(xs2)][31:0], $encoding);

data/.data/spec/std/isa/inst/C/c.swsp.yaml

@@ -36,4 +36,4 @@ operation(): |
 
   XReg virtual_address = X[2] + imm;
 
-  write_memory<32>(virtual_address, X[xs2][31:0], $encoding);
+  write_memory(32, virtual_address, X[xs2][31:0], $encoding);

data/.data/spec/std/isa/inst/F/flw.yaml

@@ -35,10 +35,10 @@ operation(): |
 
   XReg virtual_address = X[xs1] + $signed(imm);
 
-  Bits<32> sp_value = read_memory<32>(virtual_address, $encoding);
+  Bits<32> sp_value = read_memory(32, virtual_address, $encoding);
 
   if (implemented?(ExtensionName::D)) {
-    f[fd] = nan_box<32, 64>(sp_value);
+    f[fd] = nan_box(32, 64, sp_value);
   } else {
     f[fd] = sp_value;
   }

data/.data/spec/std/isa/inst/F/fmv.w.x.yaml

@@ -34,7 +34,7 @@ operation(): |
   Bits<32> sp_value = X[xs1][31:0];
 
   if (implemented?(ExtensionName::D)) {
-    f[fd] = nan_box<32, 64>(sp_value);
+    f[fd] = nan_box(32, 64, sp_value);
   } else {
     f[fd] = sp_value;
   }

data/.data/spec/std/isa/inst/F/fsgnj.s.yaml

@@ -42,7 +42,7 @@ operation(): |
   Bits<32> sp_value = {f[fs2][31], f[fs1][30:0]};
 
   if (implemented?(ExtensionName::D)) {
-    f[fd] = nan_box<32, 64>(sp_value);
+    f[fd] = nan_box(32, 64, sp_value);
   } else {
     f[fd] = sp_value;
   }

data/.data/spec/std/isa/inst/F/fsgnjn.s.yaml

@@ -41,7 +41,7 @@ operation(): |
   Bits<32> sp_value = {~f[fs2][31], f[fs1][30:0]};
 
   if (implemented?(ExtensionName::D)) {
-    f[fd] = nan_box<32, 64>(sp_value);
+    f[fd] = nan_box(32, 64, sp_value);
   } else {
     f[fd] = sp_value;
   }

data/.data/spec/std/isa/inst/F/fsgnjx.s.yaml

@@ -40,7 +40,7 @@ operation(): |
   Bits<32> sp_value = {f[fs1][31] ^ f[fs2][31], f[fs1][30:0]};
 
   if (implemented?(ExtensionName::D)) {
-    f[fd] = nan_box<32, 64>(sp_value);
+    f[fd] = nan_box(32, 64, sp_value);
   } else {
     f[fd] = sp_value;
   }