@ e @ f} : bits(4*SEW) = get_velem(vs1, 256, i); // Byte Swap inputs from big-endian to little-endian let w15 = rev8(w[15]); let w14 = rev8(w[14]); let w13 = rev8(w[13]); let w12 = rev8(w[12]); let w11 = rev8(w[11]); let w10 = rev8(w[10]); let w9 = rev8(w[9]); let w8 = rev8(w[8]); let w7
brazened