Andy Ray
Showing 1–2 of 2 transcripts.
- Jane Street59 min
Programmable Hardware with Andy Ray
Jane Street leverages FPGA and ASIC hardware to achieve deterministic, line-rate processing for high-frequency financial trading, overcoming the latency and scalability limitations inherent in general-purpose software. To modernize this engineering workflow, the firm utilizes HardCAML, an open-source domain-specific language built on OCaml that enables composable, test-driven hardware design comparable to modern software development. By releasing specialized libraries and realistic examples, Jane Street aims to lower the barrier to entry for complex hardware engineering and accelerate industry-wide adoption of rigorous, software-style verification practices in chip design.
- Jane Street1h 3m
OCaml All The Way Down
This presentation outlines a hardware design framework utilizing the OCaml-based HardCAML domain-specific language to generate FPGA logic for custom peripherals like LED drivers, SPI sensors, and CORDIC math cores. The implementation targets the MicroBlaze soft CPU architecture, executing OCaml bytecode via a ZINC interpreter while leveraging standard Xilinx place-and-route tools to manage complex FPGA resources such as LUTs and DSP blocks. Future roadmaps prioritize full native CPU development within HardCAML, expanded formal verification using the Z3 solver, and the open-sourcing of testing infrastructure to reduce reliance on vendor-provided software components.