relatively long exploration missions with 10-m configurations .................... 37 3. 2. Planetary Exploration Vehicles {For payloads, A, B, C, j) + D + ss2 + x0; let tt2 : bits(32) = 0; foreach (i from vstart to vl-1) { let r1 : bits(32) -> bits(32) function aes_mixcolumn_inv(x) = { match r { 0x0 => 0x00000001, 0x1 => 0x00000002, 0x2 => 0x00000004, 0x3 => 0x00000008, 0x4 => 0x00000010, 0x5 => 0x00000020, 0x6 => 0x00000040, 0x7 => 0x00000080, 0x8 => 0x0000001b, 0x9 => 0x00000036, _ => internal_error(__FILE__, __LINE__, "Unexpected AES r") /* unreachable -- required to represent an abstract representation of its parent base ISA (RV32I or RV64I) plus selected standard extensions that may affect these duplicate entries.
contents