Аннотация:
В докладе рассматриваются средства высокоуровневого синтеза, преобразующие последовательную программу на языке высокого уровня C в конфигурационные файлы программируемых логических интегральных схем реконфигурируемой вычислительной системы. В отличии от известных средств программный комплекс "Тесей" строит информационный граф последовательной программы и преобразует его в максимально-параллельную кадровую структуру, которая формальными методами в автоматическом режиме без участия пользователя адаптируется к заданной конфигурации реконфигурируемой вычислительной системы. Отличительной особенностью подхода является существенно меньшее по сравнению с распараллеливающими компиляторами число анализируемых вариантов, что позволяет сократить время преобразования (портации) последовательных программ. Разработанные средства синтеза применимы в том числе для прикладных задач управления, содержащих связанные информационной зависимостью подзадачи с разной степенью параллелизма. Для ряда прикладных задач представлены результаты синтеза решений на архитектуру различных реконфигурируемых вычислительных систем.