This project explores implementing a hardware description language using OCaml effects, suggesting new methods for FPGA programming.
A hardware description language using OCaml effects This is an idea proposed in 2025 as a Cambridge Computer Science Part III or MPhil project, and is available for being worked on. It may be co-supervised with KC Sivaramakrishnan and Andy Ray. Programming FPGAs using functional programming languages is a very good fit for the problem domain.
No takes yet. Share an insight, caveat, or question.
Anil Madhavapeddy (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: