[TUHS] Encoding an ISA: Random Logic vs. Control Stores