let si : bits( 8) = (X(rs2)[31..0] >> shamt)[7..0]; /* SBox Input */ let so : bits(32) = rev8(Fi); let E : bits(32) = aes_get_column(x,