Freescale Semiconductor создала кодогенератор для всей линейки
разных МК под названием ProcessorExpert. В двух проектах я
использовал эту штуку и мне понравилось :-). У них неплохая
документация, она даёт представление об необходимом уровне
абстракции. Выкладываю здесь.