Как программировать ПЛИС с помощью F #

Question

Я обычно использую F # для написания численных алгоритмов.Конструкции функционального программирования в F # помогают выразить алгоритмы очень естественным образом.Я часто получаю лаконичную и понятную реализацию и, возможно, смогу распараллелить ее достаточно быстро, если есть вероятность параллелизма.

Интересно, есть способ компилировать F # программы до FPGA .Таким образом, я все еще могу использовать F #, чтобы избежать шаблонных кодов в программировании ПЛИС и использовать высокопроизводительные вычисления в ПЛИС.Возможно ли это сделать?Если да, не могли бы вы дать мне несколько советов для начала?

Answer 1

Я читал (но никогда не использовал) Преобразование F # в FPGA Avalda , но их сайт в настоящее время возвращает полностью пустую страницу.Я не знаю, временно ли это означает, что они потеряли сознание.

Answer 2

F # должен быть идеальным для этой задачи, потому что он получен из семейства языков ML, созданных для метапрограммирования.Тем не менее, я не знаю ни о какой работе в этой области (хотя у меня была идея поработать над этим самостоятельно).

Я бы сосредоточился на написании компилятора на F #, который скомпилировал бы DSL для FPGA, скореечем пытаться скомпилировать общий код F #.

Answer 3

Вот список для инструментов HLS, использующих C. Мой опыт работы с одним из них в 2006 году не был благоприятным, но я ожидаю, что сегодня он будет намного лучше.

Что касается F #, я сомневаюсь, что это будет существовать в ближайшее время.