Плотность кода на многобитной математике должна быть выше, а вот на логических операциях может быть меньше. А этого в программе большинство. Но если 16к в STM32 будут равны 16k в ATmega168, тогда я влезу. Да, для БП нужен восьмибитник. Неадекватный процессор выбрал по двум причинам: у меня он был в наличии, и изучение STM32 считаю более перспективным, чем изучение STM8.