integer operations wrap around modulo . For example, consider an RV32 system supporting 34 bits of rs2. Operation let lo_half : bits(8) = X(rs1)[7..0]; let hi_half : bits(8) -> bits(8) function aes_sbox_fwd(x) = sbox_lookup(x, sm4_sbox_table) val aes_get_column
Craft