Большое спасибо. Теперь моя картинка мира по управлению внешним DC-DC сложилась. Как я понимаю, PWM можно генерировать и через спец контроллеры PWM, которые для этого и сделаны. Например, PCA9685 управляемые по I2C. Или вообще через DAC, как указано в приложенном документе.