Keil
Да, это оно.
Кроме того, есть
Coocox - набор удобных инструментов, но он будет Вам гораздо полезнее, если Вы уже хорошо "присели" на GCC
Еще, для полноты картины, напомню, что в последних либах Протеуса есть некоторые модели архитектуры CM3, но от TI и NXP.