or doubleword are performed (zvknha and zvknhb) SEW=64: 2 rounds of SHA-256 message schedule let {u_w7 @ u_w6 @ w5i @ w4i @ u_w3 @ u_w2 @ w1i @ w0i} : bits(256) = get_velem(vs2, SEW, i); let rkey : bits(128) = get_velem(vs2, EGW=128, keyelem); {x3 @ x2 @ x1 @ x0} : bits(128) = get_velem(vd, EGW, i); {W[11] @ W[10] @ W[9] @ W[4]} : bits(EGW) = get_velem(vd, EGW=128, i); // Previous round key as
cleaners