Hardware Implementation of OCaml Using a Synchronous Functional Language - Sorbonne Université Access content directly
Conference Papers Year : 2024

Hardware Implementation of OCaml Using a Synchronous Functional Language

Loïc Sylvestre
Jocelyn Sérot

Abstract

We present a hardware implementation of the high-level multi-paradigm language OCaml using a declarative language called Eclat. Eclat is tailored for programming reactive hardware applications mixing interaction with physical devices and long-running computations. It is compiled to synthesizable hardware descriptions for configuring Field Programmable Gate Arrays (FPGAs). We have implemented the OCaml Virtual Machine as an Eclat function to execute complex computations (programmed in OCaml) in reactive applications (programmed in Eclat). This implementation comprises a bytecode interpreter and a runtime system with automatic memory management. The OCaml programmers can customize this runtime by defining external Eclat functions, i.e., hardware accelerators.
No file

Dates and versions

hal-04401618 , version 1 (17-01-2024)

Identifiers

Cite

Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux. Hardware Implementation of OCaml Using a Synchronous Functional Language. PADL 2024: The 26th International Symposium on Practical Aspects of Declarative Languages, Jan 2024, Londres, United Kingdom. pp.151-168, ⟨10.1007/978-3-031-52038-9_10⟩. ⟨hal-04401618⟩
41 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More