当不使用ROM固件时，只使用官方提供的*.lib编程，系统时钟不能设置为80MHZ。
使用ROM固件时，TARGET_IS_TM4C123_RA3时，可以得到80MHZ。
当不使用ROM固件时，只使用官方提供的*.lib编程，系统时钟不能设置为80MHZ。
使用ROM固件时，TARGET_IS_TM4C123_RA3时，可以得到80MHZ。
最新的芯片丝印上会印上版本号。老的芯片没印，不过都可以通过看寄存器。用仿真器连上板子，直接读DID0寄存器就可以了：
详细信息看Datasheet中DID0的描述吧。