Macle : un langage dédié à l'accélération de programmes OCaml sur circuits FPGA - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Macle : un langage dédié à l'accélération de programmes OCaml sur circuits FPGA

Loïc Sylvestre
  • Fonction : Auteur
  • PersonId : 1131400
Jocelyn Sérot

Résumé

Les circuits reprogrammables de types FPGA constituent un matériel de choix pour la réalisation d'accélérateurs de calculs. L'implémentation O2B de la machine virtuelle OCaml permet d'appeler des circuits externes réalisés sur FPGA depuis un langage de haut niveau (OCaml) compilé en bytecode. La conception de circuits s'appuie sur des langages de description de matériel (HDL) souvent fort éloignés des langages algorithmiques. C'est pourquoi l'on présente Macle, un langage applicatif dédié à la programmation de calculs séquentiels et parallèles synthétisables en circuits. On décrit la chaîne de compilation de Macle vers un HDL et son intégration à O2B.
Fichier principal
Vignette du fichier
jfla22_paper_18.pdf (923.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03626795 , version 1 (31-03-2022)

Identifiants

  • HAL Id : hal-03626795 , version 1

Citer

Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux. Macle : un langage dédié à l'accélération de programmes OCaml sur circuits FPGA. 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.93-109. ⟨hal-03626795⟩
147 Consultations
131 Téléchargements

Partager

Gmail Facebook X LinkedIn More