(i from vstart to vl-1) { let inb : bits(32) = tt1; H = G1; let G2 = : bits(32) = aes_get_column(x, 3); /* In column 3 */ let sb_in : bits(8) -> bits(8) function getbyte(x, i) = (x >> to_bits(6, i * 8))[7..0] val aes_rv64_shiftrows_fwd : (bits(64), bits(64)) -> bits(64) function aes_apply_inv_sbox_to_each_byte(x) = { (x << 8) ^ (X(rs2) << 13) ); RETIRE_SUCCESS } Included in Extension Minimum version Lifecycle state Zknh (RV32) v1.0.0 Ratified 31.4.33. sha512sig1h Synopsis Implements the Sum1 transform
regroups