Проектирование ЦА на базе микроконтроллеров.

Есть задача спроектировать управляющий автомат, и если возможно сразу с блоком АЛУ (по сути простая КС, вырабатывающая определлные признака).
Поскольку практического опыта общения с МК не имел, хотелось узнать нескоторые подробности, к примеру: существуют ли САПР для недорогих МК PIC или AVR (ну тут аналогия с САПРом Xilinx, для одноименных FPGA, хотя не совсем корректное сравнение =) ) и методика праектирования отталкиваясь от графа состояний.
Заранее благодарен.

Форум разработчиков электроники ELECTRONIX.ru -> AVR