Stage : Chaîne de compilation libre pour la programmation FPGA en OCaml

Chaîne de compilation libre pour la programmation FPGA en OCaml

O2B https://github.com/jserot/O2B est un portage de la VM OMicroB https://github.com/stevenvar/omicrob sur un processeur softcore pour faire tourner des programmes OCaml https://ocaml.org/ sur FPGA DE10-Lite d'Intel et de pouvoir appeler des circuits spécialisés écrits soit en VHDL, soit en utilisant des circuits définis dans le langage Macle https://github.com/lsylvestre/macle.

Le but de ce stage est en suivant cette méthode hybride (VM sur softcore et circuits spécialisés) de déterminer une chaîne de configuration de FPGA complètement libre quitte à changer de FPGA cible et de porter le couple O2B/Macle vers cette cible. Le stagiaire devra avoir des bases de programmation en C et OCaml. La connaissance de la programmation FPGA est un plus.

Le stagiaire devra être d'accord pour que ses contributions soient distribuées sous licence libre.

Contacts : Emmanuel Chailloux & Loïc Sylvestre & Jocelyn Sérot