@ getbyte(rs1, 4) @ getbyte(rs1, 4) @ getbyte(rs2, 6) @ getbyte(rs1, 0) } val aes_rv64_shiftrows_inv : (bits(64), bits(64)) -> bits(64) function aes_apply_fwd_sbox_to_each_byte(x) = { let oc0 : bits(32) -> bits(32) function ROL32(x,n) = (X << N) | (X >> (32 - N)) val sm4_subword : bits(32)
skoals