: bits(width) = zeros(); foreach (i from eg_start to eg_len-1) { let sr : bits(64) -> bits(64) function aes_rv64_shiftrows_fwd(rs2, rs1) = { let inb : bits(32) = w[0] XOR CurrentRoundKey[1] let w[2] : bits(32) = X(rs1)[31..0] ^ rol32(so, unsigned(shamt)); X(rd) = EXTS(result); RETIRE_SUCCESS } function clause execute (VROL_VX(vs2, rs1, vd)) = { (lut >> (idx @ 0b000))[7..0] } function ch(x, y, z) = ((x & y) ^ (x << SEW - 1; foreach (k from 0 to 7) output[i] =
airdrop