Оцените пожалуйста направление исследований, Генерация HDL кода из программ написанных на языках ВУ - С, С++ Опции

[SamuraY]

Здравствуйте, уважаемые коллеги
Собираюсь поступать в аспирантуру и думаю о направлении исследований. С одной стороны, по образованию я ембеддер - знания железа и языков программирования/алгоритмов, etc составляют 50/50. С другой стороны, научный руководитель предоставил мне свободу в выборе направления исследований. Хотелось бы этим воспользоваться. Моя идея состоит в исследовании алгоритмов синтеза/компиляции обычных программ написанных на языке высокого уровня в HDL код. Ведь не секрет, что цифровые логические схемы реализуют алгоритм быстрее, чем этот алгоритм выполняется на процессоре. Например существуют уже компиляторы преобразовывающие С код в HDL - Optimized generation of data-path from C codes for FPGAs Также нашел материал диссертации посвященной созданию ОС прозрачно генерирующей HDL описание из программного кода - BORPH: An Operating System for FPGA-Based Reconfigurable Computers
Я оцениваю это направление как интересное и актуальное. Но ввиду моей неопытности могу вводить себя в заблуждение. Хотелось бы услышать ваши отзывы

[MrYuran]

Си и вообще "классические" языки заточены под последовательную обработку данных
HDL - учитывает дополнительные возможности, которые предоставляет использование ПЛИС.
Как мне видится, из программы на си можно синтезировать некий конечный автомат.
Для каждой задачи - свой отдельный.
Некоторые задачи (применительно к эмбеду) вообще не требуют порцессорного ядра. Напрмер, планировщик задач в ОС или обработчики прерываний от периферии - в большинстве случаев тупые автоматы, которые на переключение контекста тратят больше времени, чем на непосредственную работу
Кстати, ещё обратите внимание на новое модное направление (опять же, применительно к ПЛИС) - асинхронные машины
Тема, безусловно, интересная, но в одиночку её не потянуть. (имхо)
Хотя, зачем все эти костыли, когда есть специализированные языки, как для описания аппаратуры (тот же VHDL или Verilog), так и для распределённых вычислений