The maximum clock frequency of the TM4C1233E6PMI7R is 80 MHz, but it can be overclocked to 120 MHz with some limitations.
The pin muxing on the TM4C1233E6PMI7R can be configured using the PinMux utility in the TI Resource Explorer or by writing to the appropriate registers in the System Control Module (SYSCTL).
The main difference between the TM4C1233E6PMI7R and the TM4C123GH6PMI7R is that the TM4C123GH6PMI7R has a larger flash memory (1MB vs 256KB) and more GPIO pins (43 vs 37).
The ADC on the TM4C1233E6PMI7R can be used by configuring the ADC module, selecting the input channel, and starting the conversion. The ADC result can be read from the ADC FIFO or by using the DMA.
The power consumption of the TM4C1233E6PMI7R depends on the clock frequency, voltage, and operating mode. In active mode, the power consumption is around 150mA at 80MHz and 3.3V. In sleep mode, the power consumption is around 10uA.