TSL, как не генерит? Я преобразовывал прошивку в sof или какой-то pof у себя( на версии 9 и 11 вроде). Потом с флешки контроллером его грузил по Passive Serial в ПЛИС. Это не бинарник ?