cross-check (op / action)

[drom]

For every operation in nML we have (op / action) section. For eample:

action = {
  rd = sign_extend(XWORD, rs1<31..0> + sign_extend(WORD, imm));
}

https://github.com/ispras/RISC-V-nML/blob/main/model/riscv_rv64i.nml#L105-L107

Spike is the golden RISC-V simulator has set of similar descriptions in different format:

https://github.com/riscv-software-src/riscv-isa-sim/tree/master/riscv/insns

for example:

require_rv64;
WRITE_RD(sext32(insn.i_imm() + RS1));

https://github.com/riscv-software-src/riscv-isa-sim/blob/master/riscv/insns/addiw.h

It should be possible to cross-check this info.
Do you see that (op / action) section contains more information then in Spike?