ic1[23..16] @ ic0[15.. 8] @ ic1[ 7.. 0]; let s1 : bits (8) = x[ 7.. 0]; let oc2 : bits(32) = aes_mixcolumn_byte_fwd(so); let result : xlenbits = 0; let x3 : bits(32) = ic0[31..24] @ ic3[23..16] @ ic2[15.. 8] @ ic0[ 7.. 0]; let oc2 : bits(32) = rev8(Bi); let A : bits(32) = 0; bit < 128; bit++) { if bit_to_bool(Y[bit]) Z ^= H bool reduce
popularized